Enable "dune build -p matita" + version bumped to 0.99.5

[helm.git] / matita / configure.ac

diff --git a/matita/configure.ac b/matita/configure.ac
index 04b7da8bdaf2fd1da221d42bca31b30539fe4bcb..cf8a8e4ee8985c816c78f13b5e55b39fc432a2c1 100644 (file)
--- a/matita/configure.ac
+++ b/matita/configure.ac
@@ -1,11 +1,12 @@
-AC_INIT(matita/matitaTypes.ml)
+AC_INIT
+AC_CONFIG_SRCDIR([matita/matitaTypes.ml])
 
 # Distribution settings
 # (i.e. settings (automatically) manipulated before a release)
 DEBUG_DEFAULT="true"
 DEFAULT_DBHOST="mysql://mowgli.cs.unibo.it"
 RT_BASE_DIR_DEFAULT="`pwd`/matita"
-MATITA_VERSION="0.99.4"
+MATITA_VERSION="0.99.5"
 DISTRIBUTED="yes"  # "yes" for distributed tarballs
 # End of distribution settings
 
@@ -63,6 +64,7 @@ echo "done"
 FINDLIB_LIBSREQUIRES="\
 expat \
 http \
+camlp-streams \
 pcre \
 str \
 unix \
@@ -205,11 +207,12 @@ AC_SUBST(RT_BASE_DIR)
 AC_SUBST(SRCROOT)
 AC_SUBST(TRANSFORMER_MODULE)
 
-AC_OUTPUT([
+AC_CONFIG_FILES([
   components/extlib/componentsConf.ml
   matita/matita.conf.xml
   matita/buildTimeConf.ml
   matita/help/C/version.txt
   Makefile.defs
 ])
+AC_OUTPUT