X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2FMakefile.in;h=0418faba28b2397e013c1ac1a65a1ef76ca0683c;hb=5868bef6637af919fbb48a83c24268bb85bdef6a;hp=47c48f678ed985dcd397f44055272c9f3af321aa;hpb=72d10af122469d52dcc45b70fb3580519f4d038a;p=helm.git

diff --git a/helm/DEVEL/mlminidom/Makefile.in b/helm/DEVEL/mlminidom/Makefile.in
index 47c48f678..0418faba2 100644
--- a/helm/DEVEL/mlminidom/Makefile.in
+++ b/helm/DEVEL/mlminidom/Makefile.in
@@ -2,10 +2,12 @@ PACKAGE = @PACKAGE@
 VERSION = @VERSION@
 INCLUDEDIR = @OCAML_INCLUDE_DIR@
 LIBDIR = @OCAML_LIB_DIR@
-INSTALLDIR = $(LIBDIR)/mlminidom
+PREFIX = 
+INSTALLDIR = $(PREFIX)$(LIBDIR)/mlminidom
 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 ml_minidom.h
+INST = ml_minidom.h minidom.mli ml_minidom.h
+INST_OPT = minidom.o ominidom.o
 DIST_FILES = Makefile.in configure.in configure *.ml *.mli test.xml ml_minidom.c ml_minidom.h
 DOC_FILES = AUTHORS COPYING ChangeLog NEWS README
 
@@ -57,7 +59,8 @@ test.opt: test.cmx minidom.cmx ml_minidom.o
 
 install:
 	if test -d $(INSTALLDIR); then : ; else mkdir -p $(INSTALLDIR); fi
-	cp $(OBJECTS) $(OBJECTS_OPT) $(INST) $(INSTALLDIR)
+	cp $(OBJECTS) $(INST) $(INSTALLDIR)
+	-test -x /usr/bin/ocamlopt && cp $(OBJECTS_OPT) $(INST_OPT) $(INSTALLDIR)
 
 uninstall:
 	rm -rf $(INSTALLDIR)
@@ -66,5 +69,5 @@ clean:
 	rm -f *.o *.cm? test test.opt
 
 distclean: clean
-	rm -f configure config.log config.cache config.status Makefile
+	rm -f config.log config.cache config.status Makefile