-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
-OCAMLDEP = $(OCAMLFIND) ocamldep $(CAMLP) -native $(INCLUDES)
-OCAMLOPT = $(OCAMLFIND) opt $(CAMLP) $(OCAMLOPTIONS) -linkpkg -package "$(REQUIRES)" $(INCLUDES)
+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))))