3 REQUIRES = lablgtk2.glade helm-registry
4 OCAML_FLAGS = -package "$(REQUIRES)" -pp camlp4o
5 OCAML_THREADS_FLAGS = -thread
7 OCAMLC = $(OCAMLFIND) ocamlc $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS) $(OCAML_DEBUG_FLAGS)
8 OCAMLOPT = $(OCAMLFIND) opt $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS) $(OCAML_DEBUG_FLAGS)
9 OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
10 LABLGLADECC = lablgladecc2
12 mathitaGeneratedGui.cmo \
18 mathita: $(CMOS) mathita.ml
19 $(OCAMLC) -linkpkg -o $@ $^
21 mathitaGeneratedGui.ml mathitaGeneratedGui.mli: mathita.glade
22 $(LABLGLADECC) $< > $@
23 $(OCAMLC) -i mathitaGeneratedGui.ml > mathitaGeneratedGui.mli
35 rm -rf *.cm[aoix] *.cmxa *.[ao] mathita
37 rm -f mathitaGeneratedGui.ml
39 depend: mathitaGeneratedGui.ml
40 $(OCAMLDEP) *.ml *.mli > .depend