-cp = lib/soot.jar:bin
-sootcp = ${cp}:/System/Library/Frameworks/JavaVM.framework/Versions/1.4.2/Classes/classes.jar
-mainclass = edu.berkeley.cs.megacz.Test
+sootjars := jar/sootclasses-2.2.1.jar jar/jasminclasses-2.2.1.jar jar/polyglotclasses-1.3.jar
+java := java -Djava.ext.dirs=jar
+arenaj := ${java} -jar jar/org.ibex.arenaj.jar
-go:
- javac -classpath lib/soot.jar -d bin `find src/ -name \*.java`
- java -cp ${cp} edu.berkeley.cs.megacz.Transformer -outjar -cp ${sootcp} -process-dir bin -main-class ${mainclass}
+jar: ; mkdir -p jar
+jar/sootclasses-2.2.1.jar: jar; cd jar; curl -C - -O http://www.sable.mcgill.ca/software/sootclasses-2.2.1.jar
+jar/jasminclasses-2.2.1.jar: jar; cd jar; curl -C - -O http://www.sable.mcgill.ca/software/jasminclasses-2.2.1.jar
+jar/polyglotclasses-1.3.jar: jar; cd jar; curl -C - -O http://www.sable.mcgill.ca/software/polyglotclasses-1.3.jar
+
+prepare: ${sootjars}
+
+jar/org.ibex.arenaj.jar: ${sootjars} jar/org.ibex.tool.jar
+ ${java} -jar jar/org.ibex.tool.jar -v -w -j jar/org.ibex.arenaj.jar -m org.ibex.arenaj.Main src
+
+demo: jar/org.ibex.arenaj.jar
+ ${arenaj} \
+ -app -i org.ibex.graphics \
+ -d out \
+ org.ibex.arenaj.Test