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
15 cp *.ml *.mli *.mll *.mly Makefile _tags $(DIST)/Sources
16 cd $(DIST); ln -s Sources/matitaprover.native matitaprover
17 tar -cvzf $(DIST).tgz $(DIST)