From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 2 Feb 2006 10:37:52 +0000 (+0000)
Subject: removed obsolete library installation dir setting
X-Git-Tag: make_still_working~7689
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f3773eb1aa9de29abcc9ec9726171d57be88c25a;hp=782253ebe87375f52c07899c1501db5a665a457f;p=helm.git

removed obsolete library installation dir setting
---

diff --git a/helm/ocaml/configure.ac b/helm/ocaml/configure.ac
index 357d1018f..ec6498a7b 100644
--- a/helm/ocaml/configure.ac
+++ b/helm/ocaml/configure.ac
@@ -41,16 +41,11 @@ if test "$OCAMLFIND_COMMANDS" != ""; then
   OCAMLFIND="OCAMLFIND_COMMANDS='$OCAMLFIND_COMMANDS' $OCAMLFIND"
 fi
 
-AC_MSG_CHECKING("where to install the library")
-OCAMLFIND_DEST_DIR="/public/sacerdot/prova"
-AC_MSG_RESULT($OCAMLFIND_DEST_DIR)
-
 AC_MSG_CHECKING("where to install the META files")
 OCAMLFIND_META_DIR=`pwd`/METAS
 AC_MSG_RESULT($OCAMLFIND_META_DIR)
 
 AC_SUBST(OCAMLFIND)
-AC_SUBST(OCAMLFIND_DEST_DIR)
 AC_SUBST(OCAMLFIND_META_DIR)
 
 AC_OUTPUT([