]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/matita/configure.ac
echo "debugging enabled"
fi
-RT_BASE_DIR="."
+RT_BASE_DIR=`pwd`
+USER_HOME=`echo $HOME`
+USER_NAME=`echo $USER`
AC_SUBST(CAMLP4O)
AC_SUBST(DEBUG)
AC_SUBST(LABLGLADECC)
AC_SUBST(OCAMLFIND)
AC_SUBST(RT_BASE_DIR)
+AC_SUBST(USER_HOME)
+AC_SUBST(USER_NAME)
AC_OUTPUT([
+ matita.conf.xml.sample
buildTimeConf.ml
Makefile
])