]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
Initial revision
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.2.1 / minidom / Makefile
index 9b50d8333aa79bc11375cacbe8fd0207198d0231..6fe73af6a3a311569826b4349e1c1ec01b529177 100644 (file)
@@ -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