pcre \
mysql \
helm-registry \
-helm-cic_textual_parser2 \
+helm-extlib \
+helm-hmysql \
+helm-cic_disambiguation \
+helm-paramodulation \
"
FINDLIB_CLEANREQUIRES="$FINDLIB_DEPREQUIRES"
FINDLIB_CREQUIRES="\
fi
RT_BASE_DIR=`pwd`
+USER_HOME=`pwd` #should be `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
+ gtkmathview.matita.conf.xml
])