X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fconfigure.ac;h=b3a90abc63fd60e86a400fa45dbfd72f5bd044a1;hb=15212e44902f25536f6e2de4bec4cedcd9a9804d;hp=97d8c66736722056fc68ed56365b0fe635da8f2d;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/configure.ac b/matitaB/configure.ac
index 97d8c6673..b3a90abc6 100644
--- a/matitaB/configure.ac
+++ b/matitaB/configure.ac
@@ -64,6 +64,8 @@ http \
 lablgtk2 \
 lablgtksourceview2.gtksourceview2 \
 mysql \
+netcgi2 \
+nethttpd \
 netstring \
 ulex08 \
 zip \
@@ -90,7 +92,14 @@ $FINDLIB_CREQUIRES \
 lablgtk2.glade \
 lablgtksourceview2.gtksourceview2 \
 "
-for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES
+FINDLIB_WREQUIRES="\
+$FINDLIB_CREQUIRES \
+netcgi2 \
+nethttpd \
+uuidm \
+cryptokit \
+"
+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
@@ -191,6 +200,7 @@ AC_SUBST(ANNOT)
 AC_SUBST(DISTRIBUTED)
 AC_SUBST(FINDLIB_CREQUIRES)
 AC_SUBST(FINDLIB_REQUIRES)
+AC_SUBST(FINDLIB_WREQUIRES)
 AC_SUBST(HAVE_OCAMLOPT)
 AC_SUBST(LABLGLADECC)
 AC_SUBST(MATITA_VERSION)