40 lines
885 B
Bash
40 lines
885 B
Bash
source $stdenv/setup
|
|
|
|
tar zxvf $src || fail
|
|
|
|
cd abc-* || fail
|
|
|
|
for p in $patches; do
|
|
echo "applying patch $p"
|
|
patch -p1 < $p || fail
|
|
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
|