]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/configure.ac
ocaml 3.09 transition
[helm.git] / helm / ocaml / configure.ac
index 0651685f151b9089604c0e2ec9c671946ca961ae..36bd36194277d16f2f408ab04a37a78799405b93 100644 (file)
@@ -38,15 +38,12 @@ 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)
 AC_SUBST(OCAMLFIND_DEST_DIR)
 AC_SUBST(OCAMLFIND_META_DIR)
-AC_SUBST(CHOSEN_TERM_EDITOR)
-AC_SUBST(CHOSEN_TERM_PARSER)
-AC_SUBST(CHOSEN_TRANSFORMER)
 
 AC_OUTPUT([
   Makefile