-ifeq ($(origin OCAMLPATH), undefined)
- OCAMLFIND = OCAMLPATH=$(HOME)/svn/claudio/components/METAS ocamlfind
-else
- OCAMLFIND = ocamlfind
-endif
+OCAMLPATH ?= /home/fguidi/svn/matita_patched/components/METAS
+OCAMLFIND = OCAMLPATH=$(OCAMLPATH) ocamlfind
DIRECTORIES = $(addprefix $(SRC)/,$(shell cat $(SRC)/Make))
INCLUDES = $(DIRECTORIES:%=-I %)
DIRECTORIES = $(addprefix $(SRC)/,$(shell cat $(SRC)/Make))
INCLUDES = $(DIRECTORIES:%=-I %)
-OCAMLDEP = $(OCAMLFIND) ocamldep -native $(INCLUDES)
-OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS) -linkpkg -package "$(REQUIRES)" $(INCLUDES)
+CAMLP = -pp "camlp5o pa_macro.cmo $(CAMLPOPTIONS)"
+
+CAMLPOPTIONS = $(F:%=-D%)
+
+OCAMLDEP = $(OCAMLFIND) ocamldep $(CAMLP) $(INCLUDES)
+OCAMLOPT = $(OCAMLFIND) ocamlopt $(CAMLP) $(OCAMLOPTIONS) -linkpkg -package "$(REQUIRES)" $(INCLUDES)
+OCAMLC = $(OCAMLFIND) ocamlc $(CAMLP) $(OCAMLOPTIONS) -linkpkg -package "$(REQUIRES)" $(INCLUDES)
CLEAN += $$(if $$(wildcard $(1).ml[ly]),$(1).ml,)
CLEAN += $$(if $$(wildcard $(1).mly),$(1).mli $(1).output,)
KEEP += $$(if $$(wildcard $(1).mly),$(1).mly,\
CLEAN += $$(if $$(wildcard $(1).ml[ly]),$(1).ml,)
CLEAN += $$(if $$(wildcard $(1).mly),$(1).mli $(1).output,)
KEEP += $$(if $$(wildcard $(1).mly),$(1).mly,\
endif
endef
$(foreach DIR, $(DIRECTORIES), $(eval $(call DIR_TEMPLATE, $(DIR))))
$(foreach MOD, $(MODULES), $(eval $(call MOD_TEMPLATE, $(MOD))))
endif
endef
$(foreach DIR, $(DIRECTORIES), $(eval $(call DIR_TEMPLATE, $(DIR))))
$(foreach MOD, $(MODULES), $(eval $(call MOD_TEMPLATE, $(MOD))))
- $(H)$(OCAMLDEP) $^ > .depend.opt
+ $(H)$(OCAMLDEP) -native $^ > .depend.opt
+
+.depend.byte: $(SOURCES)
+ @echo " OCAMLDEP -byte"
+ $(H)$(OCAMLDEP) $^ > .depend.byte
-$(foreach TAG, $(TAGS), $(eval $(call INCLUDE_TEMPLATE, $(TAG))))
+$(foreach TAG, $(B_TAGS), $(eval $(call INCLUDE_B_TEMPLATE, $(TAG))))