]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/Makefile.in
ocaml 3.09 transition
[helm.git] / helm / DEVEL / lablgtkmathview / Makefile.in
index 82e3608e4d84a8916fb4bcd856643a46573ed265..26532c4a8f30ad04cbff1bf73d34b7cd91bfd79d 100644 (file)
@@ -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: