removed obsolete library installation dir setting

diff --git a/helm/ocaml/configure.ac b/helm/ocaml/configure.ac
index 357d1018f1c89a31b77aa1f6247eca72727d4a1e..ec6498a7b1756ac0c5604894b5a30ef8c73274f3 100644 (file)
--- 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([