From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Tue, 7 Jun 2011 14:52:54 +0000 (+0000)
Subject: Some changes in the Makefile for matitaweb.
X-Git-Tag: make_still_working~2454
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c0a1f64fb4ccb4199892939520fe9e63681f1ded;p=helm.git

Some changes in the Makefile for matitaweb.
---

diff --git a/matitaB/Makefile.defs.in b/matitaB/Makefile.defs.in
index d7a7620d5..d81753ac3 100644
--- a/matitaB/Makefile.defs.in
+++ b/matitaB/Makefile.defs.in
@@ -11,6 +11,7 @@ ANNOT = @ANNOT@
 
 MATITA_REQUIRES = @FINDLIB_REQUIRES@
 MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
+MATITA_WREQUIRES = @FINDLIB_WREQUIRES@
 
 MATITA_VERSION = @MATITA_VERSION@
 
diff --git a/matitaB/configure.ac b/matitaB/configure.ac
index 97d8c6673..17ceabba1 100644
--- a/matitaB/configure.ac
+++ b/matitaB/configure.ac
@@ -64,6 +64,8 @@ http \
 lablgtk2 \
 lablgtksourceview2.gtksourceview2 \
 mysql \
+netcgi2 \
+nethttpd \
 netstring \
 ulex08 \
 zip \
@@ -90,6 +92,15 @@ $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 \
+"
 for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES
 do
   AC_MSG_CHECKING(for $r ocaml library)
@@ -191,6 +202,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)