X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2FMakefile.common;fp=helm%2Fwww%2Flambdadelta%2Fbin%2FMakefile.common;h=bf944971b2884bfd72ab2c7e53acb1e808e046b2;hb=54a4872ce3e05e56ca36747df014aa506bd9c71d;hp=0000000000000000000000000000000000000000;hpb=90ee1e85245752414b93826aabe388409571187a;p=helm.git

diff --git a/helm/www/lambdadelta/bin/Makefile.common b/helm/www/lambdadelta/bin/Makefile.common
new file mode 100644
index 000000000..bf944971b
--- /dev/null
+++ b/helm/www/lambdadelta/bin/Makefile.common
@@ -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)