X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fconfigure.ac;h=36bd36194277d16f2f408ab04a37a78799405b93;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=7c7d393a56a650812ed1251b56e77fab6aa649e0;hpb=2af94b81b952606ff67804dbe2410d9b90080e1f;p=helm.git

diff --git a/helm/ocaml/configure.ac b/helm/ocaml/configure.ac
index 7c7d393a5..36bd36194 100644
--- a/helm/ocaml/configure.ac
+++ b/helm/ocaml/configure.ac
@@ -38,7 +38,7 @@ OCAMLFIND_DEST_DIR="/public/sacerdot/prova"
 AC_MSG_RESULT($OCAMLFIND_DEST_DIR)
 
 AC_MSG_CHECKING("where to install the META files")
-OCAMLFIND_META_DIR="/public/sacerdot/prova/META"
+OCAMLFIND_META_DIR=`pwd`/METAS
 AC_MSG_RESULT($OCAMLFIND_META_DIR)
 
 AC_SUBST(OCAMLFIND)