TOOL=mint
VERSION=0.4

all:
	cabal build
	cp `cabal list-bin $(TOOL)` .
#	ghc -o arixml ARIXML
#	ghc -o dominating Dominating

clean:
	cabal clean
	rm -f *.hi *.o $(TOOL) arixml dominating

archive:
	git archive --format=tar --prefix=$(TOOL)/ HEAD | gzip > $(TOOL)-$(VERSION).tgz
