UNAME := $(shell uname | tr "A-Z" "a-z")
ifeq ($(UNAME), darwin)
WGET_COMMAND := curl -O
else
ifeq ($(UNAME), mingw32_nt-6.1)
ifeq ($(shell which wget), which: wget: unkown command)
mingw-get install msys-wget-bin
endif
endif
WGET_COMMAND := wget
endif
all:
@if [[ "$(UNAME)"=="mingw32_nt-6.1" && -z "$(shell which wget)" ]] ; then \
mingw-get install msys-wget-bin; \
fi
@if test ! -f "alloy4.jar"; then \
echo "[WARNING] Missing alloy4.jar. Downloading..."; \
$(WGET_COMMAND) http://alloy.mit.edu/alloy/downloads/alloy4.jar; \
fi
@if test ! -f "alloy4.2.jar"; then \
echo "[WARNING] Missing alloy4.2.jar. Downloading..."; \
$(WGET_COMMAND) http://alloy.mit.edu/alloy/downloads/alloy4.2.jar; \
fi
javac -source 1.6 -target 1.6 XsdCheck.java
clean:
find . -type f -name '*.class' -print0 | xargs -0 rm -f