X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fconfigure.ac;h=b3a90abc63fd60e86a400fa45dbfd72f5bd044a1;hb=90c02d72e5bb0ee0a9f98b12c540cca1b0c9c411;hp=17ceabba1a24a9ec201c39c2e34cbbb2bf64537d;hpb=c0a1f64fb4ccb4199892939520fe9e63681f1ded;p=helm.git

diff --git a/matitaB/configure.ac b/matitaB/configure.ac
index 17ceabba1..b3a90abc6 100644
--- a/matitaB/configure.ac
+++ b/matitaB/configure.ac
@@ -92,16 +92,14 @@ $FINDLIB_CREQUIRES \
 lablgtk2.glade \
 lablgtksourceview2.gtksourceview2 \
 "
-# FIXME: we currently depend from some GTK libraries
-# this should be fixed!!!
 FINDLIB_WREQUIRES="\
 $FINDLIB_CREQUIRES \
 netcgi2 \
 nethttpd \
-lablgtk2.glade \
-lablgtksourceview2.gtksourceview2 \
+uuidm \
+cryptokit \
 "
-for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES
+for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES $FINDLIB_WREQUIRES
 do
   AC_MSG_CHECKING(for $r ocaml library)
   if OCAMLPATH=$OCAMLPATH $OCAMLFIND query $r &> /dev/null; then