Porting to ocaml 5

[helm.git] / matita / configure.ac

diff --git a/matita/configure.ac b/matita/configure.ac
index c5094d4c69e69740b24e2d3438b8e08a6220328b..ba25fab4df555843fd60d3b4cb820bded94c27d6 100644 (file)
--- a/matita/configure.ac
+++ b/matita/configure.ac
@@ -1,4 +1,5 @@
-AC_INIT(matita/matitaTypes.ml)
+AC_INIT
+AC_CONFIG_SRCDIR([matita/matitaTypes.ml])
 
 # Distribution settings
 # (i.e. settings (automatically) manipulated before a release)
@@ -63,8 +64,12 @@ echo "done"
 FINDLIB_LIBSREQUIRES="\
 expat \
 http \
+camlp-streams \
+pcre \
+str \
+unix \
 lablgtk3 \
-lablgtk3.sourceview3 \
+lablgtk3-sourceview3 \
 netstring \
 ulex-camlp5 \
 zip \
@@ -89,7 +94,7 @@ $FINDLIB_COMREQUIRES \
 "
 FINDLIB_REQUIRES="\
 $FINDLIB_CREQUIRES \
-lablgtk3.sourceview3 \
+lablgtk3-sourceview3 \
 "
 
 for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES
@@ -202,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