OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS)
OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
# objects for matita (GTK GUI)
CMOS = \
buildTimeConf.cmo \
OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS)
OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
# objects for matita (GTK GUI)
CMOS = \
buildTimeConf.cmo \