X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fconfigure.ac;h=04b7da8bdaf2fd1da221d42bca31b30539fe4bcb;hb=784f0d4d7cff3700363affe647f7b8b218726fcb;hp=bc655aae3e5c67995d371b7bf16fd5f9ad78c39e;hpb=a22f5e32e698c3874ded926bd7dabc19719098f3;p=helm.git

diff --git a/matita/configure.ac b/matita/configure.ac
index bc655aae3..04b7da8bd 100644
--- a/matita/configure.ac
+++ b/matita/configure.ac
@@ -5,8 +5,8 @@ AC_INIT(matita/matitaTypes.ml)
 DEBUG_DEFAULT="true"
 DEFAULT_DBHOST="mysql://mowgli.cs.unibo.it"
 RT_BASE_DIR_DEFAULT="`pwd`/matita"
-MATITA_VERSION="0.5.8"
-DISTRIBUTED="no"  # "yes" for distributed tarballs
+MATITA_VERSION="0.99.4"
+DISTRIBUTED="yes"  # "yes" for distributed tarballs
 # End of distribution settings
 
 SRCROOT=`pwd`
@@ -24,11 +24,11 @@ if test $HAVE_OCAMLFIND = "yes"; then
 else
   AC_MSG_ERROR(could not find ocamlfind)
 fi
-AC_CHECK_PROG(HAVE_LABLGLADECC, lablgladecc2, yes, no)
+AC_CHECK_PROG(HAVE_LABLGLADECC, lablgladecc3, yes, no)
 if test $HAVE_LABLGLADECC = "yes"; then
-  LABLGLADECC="lablgladecc2"
+  LABLGLADECC="lablgladecc3"
 else
-  AC_MSG_ERROR(could not find lablgladecc2)
+  AC_MSG_ERROR(could not find lablgladecc3)
 fi
 AC_CHECK_PROG(HAVE_CAMLP5O, camlp5o, yes, no)
 if test $HAVE_CAMLP5O = "yes"; then
@@ -40,16 +40,17 @@ fi
 # look for METAS dir
 
 LIBSPATH="`pwd`/components"
-OCAMLPATH="$LIBSPATH/METAS"
+OCAMLPATHL="$LIBSPATH/METAS"
+OCAMLPATH="$OCAMLPATHL:$OCAMLPATH"
 
 # creating META.*
 
 echo -n "creating METAs ... "
-for f in $OCAMLPATH/meta.*.src; do
+for f in $OCAMLPATHL/meta.*.src; do
   basename=`basename $f`
   metaname=`echo $basename | sed 's/meta\.\(.*\)\.src/\1/'`
   dirname=`echo $metaname | sed 's/^helm-//'`
-  metafile="$OCAMLPATH/META.$metaname"
+  metafile="$OCAMLPATHL/META.$metaname"
   cp $f $metafile
   echo "directory=\"$LIBSPATH/$dirname\"" >> $metafile
 done
@@ -57,46 +58,43 @@ echo "done"
 
 # (libs) findlib requisites
 
+#gdome2 \
+#mysql \
 FINDLIB_LIBSREQUIRES="\
 expat \
-gdome2 \
 http \
-lablgtk2 \
-lablgtksourceview2.gtksourceview2 \
-mysql \
+pcre \
+str \
+unix \
+lablgtk3 \
+lablgtk3-sourceview3 \
 netstring \
-ulex08 \
+ulex-camlp5 \
 zip \
 "
 
 # (Matita) findlib requisites
 
+#lablgtk3.glade \
 FINDLIB_COMREQUIRES="\
 helm-disambiguation \
-helm-cic_disambiguation \
 helm-grafite \
 helm-grafite_engine \
-helm-tptp_grafite \
 helm-ng_disambiguation \
 helm-ng_cic_content \
 helm-grafite_parser \
-helm-acic_procedural \
 helm-content_pres \
-helm-hgdome \
-helm-tactics \
 helm-ng_paramodulation \
 helm-ng_tactics \
-helm-cic_exportation \
 "
 FINDLIB_CREQUIRES=" \
 $FINDLIB_COMREQUIRES \
 "
 FINDLIB_REQUIRES="\
 $FINDLIB_CREQUIRES \
-lablgtk2.glade \
-lablgtksourceview2.gtksourceview2 \
-helm-xmldiff \
+lablgtk3-sourceview3 \
 "
+
 for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES
 do
   AC_MSG_CHECKING(for $r ocaml library)
@@ -211,7 +209,6 @@ AC_OUTPUT([
   components/extlib/componentsConf.ml
   matita/matita.conf.xml
   matita/buildTimeConf.ml
-  matita/gtkmathview.matita.conf.xml
   matita/help/C/version.txt
   Makefile.defs
 ])