matita/components/binaries/Makefile.common

   1 H=@
   2
   3 include ../../../Makefile.defs
   4
   5 DIST=$(EXEC)---$(VERSION)
   6 DATE=$(shell date +%y%m%d)
   7
   8 OCAMLOPTIONS = -linkpkg -thread -rectypes -package \"$(REQUIRES)\"
   9 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
  10 OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS)
  11
  12 opt:
  13         @echo "  OCAMLBUILD $(EXEC).native"
  14         $(H)ocamlbuild -ocamlc "$(OCAMLC)" -ocamlopt "$(OCAMLOPT)" $(EXEC).native
  15
  16 clean:
  17         ocamlbuild -clean
  18         rm -rf $(DIST) $(DIST).tgz
  19
  20 dist:
  21         mkdir -p $(DIST)/Sources
  22         cp ReadMe $(DIST)
  23         cp *.ml *.mli *.mll *.mly Makefile _tags $(DIST)/Sources
  24         cd $(DIST); ln -s Sources/$(EXEC).native $(EXEC)
  25         tar -cvzf $(DIST).tgz $(DIST)