-.download_org.ibex.nestedvm:
- mkdir -p upstream/org.ibex.nestedvm
- cd upstream/org.ibex.nestedvm; wget -l 999 -nH -r http://nestedvm.ibex.org/
- find upstream/org.ibex.nestedvm -name index.html -exec rm -f {} \;
- touch $@
-
-.build_nestedvm: .vendor .download_nestedvm
- cd upstream/nestedvm; make usr=$(shell pwd)/upstream/install
+.download_org.ibex.%:
+ @echo -e "\033[1mfetching repository org.ibex.$*\033[0m"
+ @mkdir -p upstream; cd upstream; rm -rf org.ibex.$*; rm -rf org.ibex.$*_*
+ @cd upstream; darcs get --verbose --partial --repo-name=org.ibex.$* http://$*.ibex.org
+ @touch $@
+
+.build_org.ibex.nestedvm: .vendor .download_org.ibex.nestedvm
+ cd upstream/org.ibex.nestedvm; make usr=$(shell pwd)/upstream/install all env.sh