]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/bin/Makefile.common
update in basic_2
[helm.git] / helm / www / lambdadelta / bin / Makefile.common
1 H=@
2
3 include ../../etc/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: $(EXEC).native
13
14 $(EXEC).native: $(wildcard *.ml) $(wildcard *.mli) $(wildcard *.mly) $(wildcard *.mll)
15         @echo "  OCAMLBUILD $(EXEC).native" 
16         $(H)ocamlbuild -ocamlc "$(OCAMLC)" -ocamlopt "$(OCAMLOPT)" -yaccflags "$(YACCFLAGS)" $(EXEC).native 
17
18 clean:
19         ocamlbuild -clean
20         rm -rf $(DIST) $(DIST).tgz
21
22 dist:
23         mkdir -p $(DIST)/Sources
24         cp ReadMe $(DIST)
25         cp *.ml *.mli *.mll *.mly Makefile _tags $(DIST)/Sources
26         cd $(DIST); ln -s Sources/$(EXEC).native $(EXEC)
27         tar -cvzf $(DIST).tgz $(DIST)