H=@
-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
RELISE = $(MAIN:%=%_$(shell cat MakeVersion))
OCAMLYACC = ocamlyacc -v
TAR = tar -czf etc/$(MAIN:%=%.tgz)
+CALLMAKE = $(MAKE) --no-print-directory
+
define DIR_TEMPLATE
MODULES += $$(addprefix $(1)/,$$(shell cat $(1)/Make))
endef
CLEAN += $(MAIN).opt
-all opt: .depend.opt
- @$(MAKE) --no-print-directory $(MAIN).opt
-
-byte: .depend.byte
- @$(MAKE) --no-print-directory $(MAIN).byte
-
$(MAIN).opt: $(O_OBJECTS)
@echo " OCAMLOPT -o $(MAIN).opt"
$(H)$(OCAMLOPT) -o $(MAIN).opt $(CMXS)
$(MAIN).byte: $(B_OBJECTS)
- @echo " OCAMC -o $(MAIN).byte"
+ @echo " OCAMLC -o $(MAIN).byte"
$(H)$(OCAMLC) -o $(MAIN).byte $(CMOS)
.depend.opt: $(SOURCES)
@echo " OCAMLC $<"
$(H)$(OCAMLC) -c $<
-O_TAGS += all opt $(MAIN).opt
+O_TAGS += opt $(MAIN).opt
B_TAGS += byte $(MAIN).byte