]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathita/Makefile
snapshot
[helm.git] / helm / mathita / Makefile
index 02b52eab3c18802f2145cfc20ceaa2d08ffa392e..59cbbea6feecd9db0669aa7b9d71917f07eb229e 100644 (file)
@@ -1,6 +1,6 @@
 
 OCAMLFIND = ocamlfind
-REQUIRES = lablgtk2.glade
+REQUIRES = lablgtk2.glade helm-registry
 OCAML_FLAGS = -package "$(REQUIRES)" -pp camlp4o
 OCAML_THREADS_FLAGS = -thread
 OCAML_DEBUG_FLAGS =
@@ -9,6 +9,8 @@ OCAMLOPT = $(OCAMLFIND) opt $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS) $(OCAML_DEBUG_
 OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
 LABLGLADECC = lablgladecc2
 CMOS = \
+        mathitaGeneratedGui.cmo \
+       mathitaGtkMisc.cmo \
        mathitaGui.cmo
 
 all: mathita
@@ -16,9 +18,9 @@ all: mathita
 mathita: $(CMOS) mathita.ml
        $(OCAMLC) -linkpkg -o $@ $^
 
-mathitaGui.ml mathitaGui.mli: mathita.glade
+mathitaGeneratedGui.ml mathitaGeneratedGui.mli: mathita.glade
        $(LABLGLADECC) $< > $@
-       $(OCAMLC) -i mathitaGui.ml > mathitaGui.mli
+       $(OCAMLC) -i mathitaGeneratedGui.ml > mathitaGeneratedGui.mli
 
 %.cmi: %.mli
        $(OCAMLC) -c $<
@@ -32,9 +34,9 @@ mathitaGui.ml mathitaGui.mli: mathita.glade
 clean:
        rm -rf *.cm[aoix] *.cmxa *.[ao] mathita
 distclean: clean
-       rm -f mathitaGui.ml
+       rm -f mathitaGeneratedGui.ml
 
-depend: mathitaGui.ml
+depend: mathitaGeneratedGui.ml
        $(OCAMLDEP) *.ml *.mli > .depend
 
 include .depend