X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FMakefile.in;h=26532c4a8f30ad04cbff1bf73d34b7cd91bfd79d;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=82e3608e4d84a8916fb4bcd856643a46573ed265;hpb=cc4a7a8433adcd1d76c124b8843bc707b446254b;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/Makefile.in b/helm/DEVEL/lablgtkmathview/Makefile.in
index 82e3608e4..26532c4a8 100644
--- a/helm/DEVEL/lablgtkmathview/Makefile.in
+++ b/helm/DEVEL/lablgtkmathview/Makefile.in
@@ -106,15 +106,15 @@ $(TESTDIR)/test.opt: $(OBJECTS_C) $(ARCHIVE).a $(ARCHIVE).cmxa $(TESTDIR)/test.m
 	rm -r $(TMPDIR)
 
 install:
-	test ! -f $(ARCHIVE).cmxa || extra="$(ARCHIVE).a $(ARCHIVE).cmxa" ; \
-	if [ "$(PREFIX)" = "" ]; then \
-		$(OCAMLFIND) install	\
-			$(PACKAGE) $(ARCHIVE).cma lib$(ARCHIVE).a	\
-			$(DLL) $(INST) $$extra;	\
-	else \
-		$(OCAMLFIND) install -destdir $(PREFIX)	\
-			$(PACKAGE) $(ARCHIVE).cma lib$(ARCHIVE).a	\
-			$(DLL) $(INST) $$extra; \
+	test ! -f $(ARCHIVE).cmxa || extra="$(ARCHIVE).a $(ARCHIVE).cmxa" ; 	\
+	if [ "$(PREFIX)" = "" ]; then 						\
+		$(OCAMLFIND) install						\
+			$(PACKAGE) $(ARCHIVE).cma lib$(ARCHIVE).a		\
+			$(DLL) $(INST) $$extra;					\
+	else 									\
+		$(OCAMLFIND) install -ldconf /def/null -destdir $(PREFIX)	\
+			$(PACKAGE) $(ARCHIVE).cma lib$(ARCHIVE).a		\
+			$(DLL) $(INST) $$extra;					\
 	fi
 
 uninstall: