1 DATE=$(shell date +%y%m%d)
3 DIST=matitaprover---$(VERSION)
6 ocamlbuild matitaprover.native
10 rm -rf $(DIST) $(DIST).tgz
13 mkdir -p $(DIST)/Sources
14 cp *.ml *.mli *.mll *.mly Makefile _tags $(DIST)/Sources
15 cd $(DIST); ln -s Sources/matitaprover.native matitaprover
16 tar -cvzf $(DIST).tgz $(DIST)