2 ifeq ($(origin OCAMLPATH), undefined)
3 OCAMLFIND = OCAMLPATH=$(HOME)/svn/claudio/components/METAS ocamlfind
8 RELISE = $(MAIN:%=%_$(shell cat MakeVersion))
10 DOWNDIR = ../../www/lambdadelta/download
12 DIRECTORIES = $(addprefix $(SRC)/,$(shell cat $(SRC)/Make))
14 INCLUDES = $(DIRECTORIES:%=-I %)
16 CAMLP = -pp "camlp5o pa_macro.cmo $(CAMLPOPTIONS)"
18 CAMLPOPTIONS = $(F:%=-D%)
20 OCAMLDEP = $(OCAMLFIND) ocamldep $(CAMLP) -native $(INCLUDES)
21 OCAMLOPT = $(OCAMLFIND) opt $(CAMLP) $(OCAMLOPTIONS) -linkpkg -package "$(REQUIRES)" $(INCLUDES)
22 OCAMLLEX = ocamllex.opt
23 OCAMLYACC = ocamlyacc -v
24 TAR = tar -czf etc/$(MAIN:%=%.tgz)
27 MODULES += $$(addprefix $(1)/,$$(shell cat $(1)/Make))
31 SOURCES += $$(if $$(wildcard $(1).ml[yi]),$(1).mli $(1).ml,$(1).ml)
33 CLEAN += $(1).cmi $(1).cmx $(1).o
34 CLEAN += $$(if $$(wildcard $(1).ml[ly]),$(1).ml,)
35 CLEAN += $$(if $$(wildcard $(1).mly),$(1).mli $(1).output,)
36 KEEP += $$(if $$(wildcard $(1).mly),$(1).mly,\
37 $$(if $$(wildcard $(1).mll),$(1).mll,\
38 $$(if $$(wildcard $(1).mli),$(1).mli $(1).ml,$(1).ml)\
43 define INCLUDE_TEMPLATE
44 ifeq ($(MAKECMDGOALS), $(1))
49 $(foreach DIR, $(DIRECTORIES), $(eval $(call DIR_TEMPLATE, $(DIR))))
50 $(foreach MOD, $(MODULES), $(eval $(call MOD_TEMPLATE, $(MOD))))
52 OBJECTS = $(patsubst %.ml,%.cmx,$(SOURCES:%.mli=%.cmi))
56 @$(MAKE) --no-print-directory $(MAIN).opt
58 $(MAIN).opt: $(OBJECTS)
59 @echo " OCAMLOPT -o $(MAIN).opt"
60 $(H)$(OCAMLOPT) -o $(MAIN).opt $(CMXS)
62 .depend.opt: $(SOURCES)
63 @echo " OCAMLDEP -native"
64 $(H)$(OCAMLDEP) $^ > .depend.opt
67 @echo " CLEAN . $(SRC)"
68 $(H)find -name "*~" | xargs $(RM) $(CLEAN)
71 @echo " RELISE $(RELISE)"
72 $(H)mkdir -p $(RELISE)
73 $(H)$(foreach FILE, $(shell cat Make), cp --parents $(FILE) $(RELISE);)
74 $(H)tar -czf etc/$(RELISE).tar.gz $(RELISE)
75 $(H)scp etc/$(RELISE).tar.gz $(DOWNDIR)
78 @echo " TAR -czf $(MAIN:%=%.tgz) . $(DIRECTORIES)"
79 $(H)find -name "Make*" | xargs $(TAR) $(KEEP)
98 TAGS += all opt $(MAIN).opt
100 $(foreach TAG, $(TAGS), $(eval $(call INCLUDE_TEMPLATE, $(TAG))))