helm/software/components/binaries/matitaprover/Makefile

   1 DATE=$(shell date +%y%m%d)
   2 VERSION=1.0.0-rc1
   3 DIST=matitaprover---$(VERSION)
   4
   5 all:
   6         ocamlbuild matitaprover.native
   7
   8 clean:
   9         ocamlbuild -clean
  10         rm -rf $(DIST) $(DIST).tgz
  11
  12 dist:
  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)