X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2FMakefile.common;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2FMakefile.common;h=7f95f4a23d144998904cd28bda902748bc7f5514;hb=d2545ffd201b1aa49887313791386add78fa8603;hp=0000000000000000000000000000000000000000;hpb=57ae1762497a5f3ea75740e2908e04adb8642cc2;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/Makefile.common b/matita/matita/contribs/lambdadelta/bin/Makefile.common
new file mode 100644
index 000000000..7f95f4a23
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/bin/Makefile.common
@@ -0,0 +1,36 @@
+H=@
+
+OCAMLOPTIONS = -linkpkg -package \"$(REQUIRES)\" $(CAMLOPTIONS)
+OCAMLFIND = OCAMLPATH=$(OCAMLPATH) ocamlfind
+OCAMLC = $(OCAMLFIND) ocamlc -g $(OCAMLOPTIONS)
+OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS)
+
+CAMLP_FEATURES = $(F:%=-D%)
+
+AMLS = $(wildcard *.aml)
+
+define BUILD_TEMPLATE
+$(1).all:
+	@echo "  OCAMLBUILD $(1)"
+	$(H)ocamlbuild $$(BUILDOPTIONS) -ocamlc "$$(OCAMLC)" -ocamlopt "$$(OCAMLOPT)" -yaccflags "-v" -pp "$$(CAMLP)" $(1)
+
+.PHONY: $(1).all
+endef
+
+all:: $(AMLS:%.aml=%.ml) $(EXECS:%=%.native.all)
+
+byte:: $(AMLS:%.aml=%.ml) $(EXECS:%=%.byte.all)
+
+$(foreach EXEC, $(EXECS), $(eval $(call BUILD_TEMPLATE,$(EXEC:%=%.native))))
+
+$(foreach EXEC, $(EXECS), $(eval $(call BUILD_TEMPLATE,$(EXEC:%=%.byte))))
+
+clean::
+	@echo "  OCAMLBUILD -clean"
+	$(H)ocamlbuild -clean
+	$(H)$(RM) $(AMLS:%.aml=%.ml) *~
+
+.PHONY: all clean
+
+%.ml: %.aml
+	$(H)$(ALPHA) < $< > $@