]> matita.cs.unibo.it Git - helm.git/blob - matita/components/binaries/Makefile.common
sem_exec_move completed
[helm.git] / 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 all:
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)