]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/Makefile.common
update in basic_2 and apps_2
[helm.git] / helm / www / lambdadelta / bin / Makefile.common
diff --git a/helm/www/lambdadelta/bin/Makefile.common b/helm/www/lambdadelta/bin/Makefile.common
new file mode 100644 (file)
index 0000000..bf94497
--- /dev/null
@@ -0,0 +1,27 @@
+H=@
+
+include ../../etc/Makefile.defs
+
+DIST=$(EXEC)---$(VERSION)
+DATE=$(shell date +%y%m%d)
+
+OCAMLOPTIONS = -linkpkg -thread -rectypes -package \"$(REQUIRES)\" 
+OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS) 
+OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS)
+
+all: $(EXEC).native
+
+$(EXEC).native: $(wildcard *.ml) $(wildcard *.mli) $(wildcard *.mly) $(wildcard *.mll)
+       @echo "  OCAMLBUILD $(EXEC).native" 
+       $(H)ocamlbuild -ocamlc "$(OCAMLC)" -ocamlopt "$(OCAMLOPT)" -yaccflags "$(YACCFLAGS)" $(EXEC).native 
+
+clean:
+       ocamlbuild -clean
+       rm -rf $(DIST) $(DIST).tgz
+
+dist:
+       mkdir -p $(DIST)/Sources
+       cp ReadMe $(DIST)
+       cp *.ml *.mli *.mll *.mly Makefile _tags $(DIST)/Sources
+       cd $(DIST); ln -s Sources/$(EXEC).native $(EXEC)
+       tar -cvzf $(DIST).tgz $(DIST)