pyrox.dev
1source $stdenv/setup
2
3tar zxvf $src
4
5cd abc-*
6
7for p in $patches; do
8 echo "applying patch $p"
9 patch -p1 < $p
10done
11
12cat > ant.settings <<EOF
13polyglot.loc=$polyglot/jars/polyglot.jar
14polyglot.cupclasses.loc=$polyglot/jars/java_cup.jar
15jflex.loc=
16soot.loc=$soot/jars/soot.jar
17jasmin.loc=$jasmin/jars/jasmin.jar
18xact.loc=$xact/jars/xact.jar
19paddle.loc=$paddle/jars/paddle.jar
20jedd.runtime.jar=$jedd/jars/jedd.runtime.jar
21javabdd.jar=$javabdd/jars/javabdd.jar
22EOF
23
24$apacheAnt/bin/ant jars
25
26mkdir -p $out/jars
27
28cp lib/abc.jar $out/jars
29cp lib/abc-runtime.jar $out/jars
30cp lib/abc-testing.jar $out/jars
31cp lib/abc-complete.jar $out/jars
32
33# Create the executable abc script
34mkdir -p $out/bin
35cat > $out/bin/abc <<EOF
36#! $SHELL -e
37
38exec $jre/bin/java -classpath $out/jars/abc-complete.jar -Xmx256M -Dabc.home=$out/jars abc.main.Main \$@
39EOF
40chmod +x $out/bin/abc