]> matita.cs.unibo.it Git - helm.git/commitdiff
Makefile.in that support some new architectures.
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 17 Oct 2001 13:02:20 +0000 (13:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 17 Oct 2001 13:02:20 +0000 (13:02 +0000)
helm/DEVEL/mlminidom/Makefile.in

index 47c48f678ed985dcd397f44055272c9f3af321aa..0418faba28b2397e013c1ac1a65a1ef76ca0683c 100644 (file)
@@ -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