From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 12 Apr 2002 13:38:54 +0000 (+0000)
Subject: - added -fPIC when creating .so
X-Git-Tag: V_0_3_0_debian_8~164
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d4f4ce0a295aabd6a4b52620035447169effe23d;p=helm.git

- added -fPIC when creating .so
- added PREFIX variable support
---

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.in b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.in
index fa719897e..eafebde9e 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.in
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.in
@@ -40,7 +40,7 @@ dist:
 	rm -rf $(PACKAGE)-$(VERSION)
 
 ml_gdome_xslt.o: ml_gdome_xslt.c
-	gcc -c -I$(INCLUDEDIR) `gdome-config --cflags` `ocamlfind query -i-format gdome2` -I$(CGDOMEXSLTPATH) $<
+	gcc -c -I$(INCLUDEDIR) -fPIC `gdome-config --cflags` `ocamlfind query -i-format gdome2` -I$(CGDOMEXSLTPATH) $<
 
 .SUFFIXES: .cmo .cmi .cmx .ml .mli
 
@@ -76,7 +76,11 @@ $(ARCHIVE_SO): $(OBJECTS_C)
 
 install:
 	test ! -f $(ARCHIVE_OPT) || extra="$(ARCHIVE_A) $(ARCHIVE_OPT) $(INSTOPT)" ; \
-	ocamlfind install $(PACKAGE) $(ARCHIVE) $(ARCHIVE_SO) $(INST) $$extra
+	if [ "$(PREFIX)" = "" ]; then \
+		ocamlfind install $(PACKAGE) $(ARCHIVE) $(ARCHIVE_SO) $(INST) $$extra; \
+	else \
+		ocamlfind install -destdir $(PREFIX) $(PACKAGE) $(ARCHIVE) $(ARCHIVE_SO) $(INST) $$extra; \
+	fi
 
 uninstall:
 	ocamlfind remove $(PACKAGE)