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=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=9b50d8333aa79bc11375cacbe8fd0207198d0231;hpb=48251720121a3eeaa444a5488e2f7b0db82cb380;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 9b50d8333..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 @@ -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