X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathita%2FMakefile;fp=helm%2Fmathita%2FMakefile;h=59cbbea6feecd9db0669aa7b9d71917f07eb229e;hb=ca8cb7b6303e56a91823b2a14891d7de0b0d4130;hp=02b52eab3c18802f2145cfc20ceaa2d08ffa392e;hpb=9c015f8aeb17a9c2dc893208be09ac74b72b59c1;p=helm.git

diff --git a/helm/mathita/Makefile b/helm/mathita/Makefile
index 02b52eab3..59cbbea6f 100644
--- a/helm/mathita/Makefile
+++ b/helm/mathita/Makefile
@@ -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