]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/Makefile.common
update in lambdadelta
[helm.git] / helm / www / lambdadelta / bin / Makefile.common
diff --git a/helm/www/lambdadelta/bin/Makefile.common b/helm/www/lambdadelta/bin/Makefile.common
deleted file mode 100644 (file)
index 7f95f4a..0000000
+++ /dev/null
@@ -1,36 +0,0 @@
-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) < $< > $@