TOOL_DIR = tools ifeq ($(OS),Windows_NT) LIB := x86-windows/minisatprover* else UNAME := $(shell uname -s) ifeq ($(UNAME), Linux) ifeq ($(MNAME), i686) LIB := x86-linux/libminisatprover* endif ifeq ($(MNAME), x86_64) # amd64 is a nickname for x86_64 LIB := amd64-linux/libminisatprover* endif endif ifeq ($(UNAME),Darwin) WGET_COMMAND := curl -O LIB := x86-mac/libminisatprover* endif endif # Calling `make` should only build all: alloyIG.jar lib build # Calling `make install to=` should only install install: mkdir -p $(to) mkdir -p $(to)/lib mkdir -p $(to)/tools cp -f lib/*minisatprover* $(to)/lib cp -f tools/alloy4.2.jar $(to)/tools cp -f alloyIG.jar $(to) cp -f LICENSE $(to)/ cp -f CHANGES.md $(to)/claferIG-CHANGES.md cp -f README.md $(to)/claferIG-README.mds cabal install --bindir=$(to) --ghc-option="-O" # Removes current build and makes a clean new one (Don't use if starting from scratch!) cleanEnv: make clean ghc-pkg unregister claferIG rm `which claferIG` make # this takes the version from the .cabal file. Need to run install first to produce Paths_claferIG.hs newVersion: ghc -isrc src/dateVer.hs dist/build/autogen/Paths_claferIG.hs -outputdir dist/build --make -o dateVer ./dateVer > src/Language/Clafer/IG/Version.hs init: cabal sandbox init --sandbox=../.clafertools-cabal-sandbox cabal install --only-dependencies --enable-tests # Build takes less time. For ease of development. build: alloyIG.jar cabal configure cabal build alloyIG.jar: src/manifest src/org/clafer/ig/AlloyIG.java src/manifest src/org/clafer/ig/Util.java src/org/clafer/ig/AlloyIGException.java src/edu/mit/csail/sdg/alloy4compiler/parser/AlloyCompiler.java $(MAKE) -C $(TOOL_DIR) mkdir -p dist/javabuild javac -cp "tools/alloy4.2.jar" -d dist/javabuild src/org/clafer/ig/AlloyIG.java src/org/clafer/ig/Util.java src/org/clafer/ig/AlloyIGException.java src/edu/mit/csail/sdg/alloy4compiler/parser/AlloyCompiler.java jar cfm alloyIG.jar src/manifest -C dist/javabuild org/clafer/ig/ -C dist/javabuild edu lib: @if test -z $(LIB); then \ echo "[WARNING] Did not find a minisat prover binary suitable for your system. You may need to build the binary yourself."; \ else \ unzip tools/alloy4.2.jar $(LIB) -d lib; \ chmod +x lib/$(LIB); \ cp lib/$(LIB) lib; \ fi test: # Only test a subset of the suite. The other cases do not work yet. cabal configure --enable-tests cabal build # Install what's needed for running the tests cp alloyIG.jar dist/build/test-suite/ cp alloyIG.jar dist/build/claferIG/ cp -r tools/ dist/build/test-suite/ cp -r tools/ dist/build/claferIG/ cp -r lib/ dist/build/test-suite/ cp -r lib/ dist/build/claferIG/ cabal test clean: rm -rf dist rm -f alloyIG.jar rm -f claferIG rm -rf tools/x86-linux rm -rf tools/amd64-linux rm -rf tools/x86-windows rm -rf tools/x86-mac