]> matita.cs.unibo.it Git - helm.git/blobdiff - matitaB/configure.ac
Matitaweb: changes to file selection dialog box.
[helm.git] / matitaB / configure.ac
index e11e011a0b8304990792a2876e9c7f761576dc0b..39822d14e17c03d96cc31e4e9453e77153007028 100644 (file)
@@ -92,14 +92,13 @@ $FINDLIB_CREQUIRES \
 lablgtk2.glade \
 lablgtksourceview2.gtksourceview2 \
 "
-# FIXME: we currently depend from some GTK libraries
-# this should be fixed!!!
 FINDLIB_WREQUIRES="\
 $FINDLIB_CREQUIRES \
 netcgi2 \
 nethttpd \
+uuidm \
 "
-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