From f3773eb1aa9de29abcc9ec9726171d57be88c25a Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 2 Feb 2006 10:37:52 +0000 Subject: [PATCH] removed obsolete library installation dir setting --- helm/ocaml/configure.ac | 5 ----- 1 file changed, 5 deletions(-) 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([ -- 2.39.2