X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2FMakefile.common;h=7f95f4a23d144998904cd28bda902748bc7f5514;hp=bf944971b2884bfd72ab2c7e53acb1e808e046b2;hb=528f8ea107f689d07d060e1d31ba32bf65b4e6ba;hpb=9b1b59a049935f5382ed7def91b807bbf9453894

diff --git a/helm/www/lambdadelta/bin/Makefile.common b/helm/www/lambdadelta/bin/Makefile.common
index bf944971b..7f95f4a23 100644
--- a/helm/www/lambdadelta/bin/Makefile.common
+++ b/helm/www/lambdadelta/bin/Makefile.common
@@ -1,27 +1,36 @@
 H=@
 
-include ../../etc/Makefile.defs
+OCAMLOPTIONS = -linkpkg -package \"$(REQUIRES)\" $(CAMLOPTIONS)
+OCAMLFIND = OCAMLPATH=$(OCAMLPATH) ocamlfind
+OCAMLC = $(OCAMLFIND) ocamlc -g $(OCAMLOPTIONS)
+OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS)
 
-DIST=$(EXEC)---$(VERSION)
-DATE=$(shell date +%y%m%d)
+CAMLP_FEATURES = $(F:%=-D%)
 
-OCAMLOPTIONS = -linkpkg -thread -rectypes -package \"$(REQUIRES)\" 
-OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS) 
-OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS)
+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))))
 
-all: $(EXEC).native
+$(foreach EXEC, $(EXECS), $(eval $(call BUILD_TEMPLATE,$(EXEC:%=%.byte))))
 
-$(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::
+	@echo "  OCAMLBUILD -clean"
+	$(H)ocamlbuild -clean
+	$(H)$(RM) $(AMLS:%.aml=%.ml) *~
 
-clean:
-	ocamlbuild -clean
-	rm -rf $(DIST) $(DIST).tgz
+.PHONY: all clean
 
-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)
+%.ml: %.aml
+	$(H)$(ALPHA) < $< > $@