From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 17 Oct 2001 13:02:20 +0000 (+0000)
Subject: Makefile.in that support some new architectures.
X-Git-Tag: v0_1_3~62
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0c3724fe58a01cce5317d7d50ab6fce8740b9b91;p=helm.git

Makefile.in that support some new architectures.
---

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