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