X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.1%2Fminidom%2FMakefile;h=6fe73af6a3a311569826b4349e1c1ec01b529177;hb=30cbad3167cf714a8edc2dbc05c1fe8908e2542b;hp=15f84731adf8cf1f2676e201dfc2a5d4badabaee;hpb=378d6138523fcbfdb2d6b3ef0acad648ca17ff26;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
index 15f84731a..6fe73af6a 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
@@ -1,6 +1,6 @@
 LIBDIR = /usr/lib/ocaml
 INSTALLDIR = $(LIBDIR)/minidom
-OBJECTS = minidom.cmi minidom.cmo ml_minidom.o ominidom.cmo
+OBJECTS = minidom.cmi minidom.cmo ml_minidom.o ominidom.cmi ominidom.cmo
 OBJECTS_OPT = minidom.cmx ominidom.cmx
 INST = minidom.o ominidom.o ml_minidom.h minidom.mli
 
@@ -20,6 +20,9 @@ minidom.cmo: minidom.ml minidom.cmi
 minidom.cmx: minidom.ml minidom.cmi
 	ocamlopt -c $<
 
+ominidom.cmi: ominidom.mli
+	ocamlc -c $<
+
 ominidom.cmo: ominidom.ml
 	ocamlc -c $<
 
@@ -42,7 +45,7 @@ test.opt: test.cmx minidom.cmx ml_minidom.o
 
 install:
 	if test -d $(INSTALLDIR); then : ; else mkdir -p $(INSTALLDIR); fi
-	cp $(OBJECTS) $(OBJECTS_OPT) $(INSTALLDIR)
+	cp $(OBJECTS) $(OBJECTS_OPT) $(INST) $(INSTALLDIR)
 
 clean:
 	rm -f *.o *.cm? test test.opt