DATE=$(shell date +%y%m%d)
+VERSION=1.0.0
+DIST=matitaprover---$(VERSION)
all:
ocamlbuild matitaprover.native
clean:
ocamlbuild -clean
+ rm -rf $(DIST) $(DIST).tgz
-test: all
- for X in `cat casc_2008`; do echo $$X; echo $$X>>log.$(DATE); ./matitaprover.native --tptppath TPTP-v3.7.0 $$X.p >> log.$(DATE) 2>&1; done
+dist:
+ mkdir -p $(DIST)/Sources
+ cp ReadMe $(DIST)
+ cp *.ml *.mli *.mll *.mly Makefile _tags $(DIST)/Sources
+ cd $(DIST); ln -s Sources/matitaprover.native matitaprover
+ tar -cvzf $(DIST).tgz $(DIST)