5 rm -rf .configure* .install* build .compile .build*
7 sources := $(shell find src -name \*.java)
10 @echo -e "\033[1mfetching repository org.ibex.$*\033[0m"
11 @mkdir -p upstream; cd upstream; rm -rf org.ibex.$*; rm -rf org.ibex.$*_*
12 @cd upstream; darcs get --verbose --partial --repo-name=org.ibex.$* http://$*.ibex.org
16 @echo -e "\033[1mbuilding repository org.ibex.$*\033[0m"
17 @cd upstream/org.ibex.$*; make compile
21 @make .download_org.ibex.crypto .build_org.ibex.core
23 @javac -d build/class -sourcepath upstream/org.ibex.crypto/src/ -classpath upstream/org.ibex.core/build/class $^