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=0000000000000000000000000000000000000000;hb=d2545ffd201b1aa49887313791386add78fa8603;hp=7f95f4a23d144998904cd28bda902748bc7f5514;hpb=57ae1762497a5f3ea75740e2908e04adb8642cc2;p=helm.git

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