H=@
CALLMAKE = $(MAKE) --no-print-directory

OCAMLPATH ?= `readlink -f -n ./matita/components/METAS`
OCAMLFIND = OCAMLPATH=$(OCAMLPATH) ocamlfind

CAMLP = -pp \"camlp5o pa_macro.cmo $(CAMLPOPTIONS)\"

OCAMLDEP  = $(OCAMLFIND) ocamldep $(CAMLP)
OCAMLOPT  = $(OCAMLFIND) ocamlopt $(CAMLP) $(OCAMLOPTIONS) -linkpkg -package \"$(REQUIRES)\"
OCAMLC    = $(OCAMLFIND) ocamlc $(CAMLP) $(OCAMLOPTIONS) -linkpkg -package \"$(REQUIRES)\"
OCAMLYACC = ocamlyacc -v
OCAMLLEX  = ocamllex.opt

BUILDCMDS = -ocamldep "$(OCAMLDEP)" \
            -ocamlc "$(OCAMLC)" \
            -ocamlopt "$(OCAMLOPT)" \
            -ocamlyacc "$(OCAMLYACC)" \
            -ocamllex "$(OCAMLLEX)"

all: opt byte

opt:
	@echo "  OCAMLBUILD $(EXEC).native"
	$(H)ocamlbuild $(BUILDCMDS) $(BUILDOPTIONS) $(EXEC).native 

byte:
	@echo "  OCAMLBUILD $(EXEC).byte"
	$(H)ocamlbuild $(BUILDCMDS) $(BUILDOPTIONS) $(EXEC).byte 

clean:
	@echo "  OCAMLBUILD -clean"
#	$(H)ocamlbuild -clean
	$(H)$(RM) -r _build $(EXEC).native $(EXEC).byte
	$(H)find -name "*~" | xargs $(RM) $(CLEAN)

.PHONY: all opt byte clean $(TARGETS)

#RELISE = $(EXEC:%=%_$(shell cat MakeVersion))
#
#DOWNDIR = ../../www/lambdadelta/download
#
#TAR       = tar -czf etc/$(EXEC:%=%.tgz)
#
#relise: clean
#	@echo "  RELISE $(RELISE)"
#	$(H)mkdir -p $(RELISE)
#	$(H)$(foreach FILE, $(shell cat Make), cp --parents $(FILE) $(RELISE);)
#	$(H)tar -czf etc/$(RELISE).tar.gz $(RELISE)
#	$(H)scp etc/$(RELISE).tar.gz $(DOWNDIR)
#
#tgz: clean
#	@echo "  TAR -czf $(EXEC:%=%.tgz) . $(DIRECTORIES)" 
#	$(H)find -name "Make*" | xargs $(TAR) $(KEEP)
#
#etc:
#	@echo "  MKDIR etc"
#	$(H)mkdir -p etc