OCAMLFIND = @OCAMLFIND@
CAMLP4O = @CAMLP4O@
LABLGLADECC = @LABLGLADECC@
REQUIRES = @FINDLIB_REQUIRES@
HAVE_OCAMLOPT = @HAVE_OCAMLOPT@

OCAML_FLAGS = -package "$(REQUIRES)" -pp $(CAMLP4O)
OCAML_THREADS_FLAGS = -thread
OCAML_DEBUG_FLAGS =
OCAMLC = $(OCAMLFIND) ocamlc $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS) $(OCAML_DEBUG_FLAGS)
OCAMLOPT = $(OCAMLFIND) opt $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS) $(OCAML_DEBUG_FLAGS)
OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
CMOS =				\
	buildTimeConf.cmo	\
	matitaGeneratedGui.cmo	\
	matitaTypes.cmo		\
	matitaGtkMisc.cmo	\
	matitaGui.cmo		\
	matitaProof.cmo		\
	matitaDisambiguator.cmo
CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))

all: matita

ifeq ($(HAVE_OCAMLOPT),yes)
opt: matita.opt
else
opt:
	@echo "Native code compilation is disabled"
endif

matita: $(CMOS) matita.ml
	$(OCAMLC) -linkpkg -o $@ $^
matita.opt: $(CMXS) matita.ml
	$(OCAMLOPT) -linkpkg -o $@ $^

matitaGeneratedGui.ml matitaGeneratedGui.mli: matita.glade
	$(LABLGLADECC) $< > matitaGeneratedGui.ml
	$(OCAMLC) -i matitaGeneratedGui.ml > matitaGeneratedGui.mli

%.cmi: %.mli
	$(OCAMLC) -c $<
%.cmo %.cmi: %.ml
	$(OCAMLC) -c $<
%.cmx: %.ml
	$(OCAMLOPT) -c $<

clean:
	rm -rf *.cma *.cmo *.cmi *.cmx *.cmxa *.a *.o matita matita.opt
distclean: clean
	rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
	rm -f config.log config.status Makefile buildTimeConf.ml
	rm -f matita.glade.bak matita.gladep.bak
	rm -rf autom4te.cache/

depend: matitaGeneratedGui.ml matitaGeneratedGui.mli
	$(OCAMLDEP) *.ml *.mli > .depend

include .depend

.PHONY: all opt clean distclean depend