tasks/extract_darcs_%:
mkdir -p build
if [ -z "$(darcs_$*)" ]; then echo "No darcs url for $*" >&2; false; fi
- cd build && darcs get --verbose "$(darcs_$*)"
+ if [ -d "$(root)/_darcs" ]; then \
+ cd build && darcs get --repo-name="$*" --verbose "$(darcs_$*)"; \
+ else \
+ mkdir -p "build/$*" && cd "build/$*"; \
+ wget -nH -rl 16 -N -X _darcs $(darcs_$*); \
+ fi
touch $@
update_darcs_%: tasks/extract_darcs_%
- cd "build/$*" && darcs pull
+ if [ -d "build/$*/_darcs" ]; then \
+ cd "build/$*" && darcs pull; \
+ else \
+ cd "build/$*" && wget -np -nH --cut-dirs=1 -rl 16 -N -X _darcs $(darcs_$*); \
+ fi
rm "tasks/build_darcs_$*" # to force a rebuild
tasks/build_darcs_%: tasks/extract_darcs_%
- cd "build/$*" && make
+ cd "build/$*" && $(MAKE)
touch $@
tasks/build_extraheaders: $(upstream)/misc/extraheaders.sh tasks/build_newlib