X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fconfigure.ac;h=5eb678a7080dcc4c86fb424596ca579878c9457a;hb=90f66e9412865f99e8fda2fd121456772b3e5b98;hp=db13cac927232819111c9cccd16c638bfeef86be;hpb=7adeb2882d9841c0ab5b357f1652bd42800e77fc;p=helm.git diff --git a/matita/configure.ac b/matita/configure.ac index db13cac92..5eb678a70 100644 --- a/matita/configure.ac +++ b/matita/configure.ac @@ -62,7 +62,7 @@ expat \ gdome2 \ http \ lablgtk2 \ -lablgtksourceview2.gtksourceview2 \ +lablgtk2.sourceview2 \ mysql \ netstring \ ulex08 \ @@ -88,7 +88,7 @@ $FINDLIB_COMREQUIRES \ FINDLIB_REQUIRES="\ $FINDLIB_CREQUIRES \ lablgtk2.glade \ -lablgtksourceview2.gtksourceview2 \ +lablgtk2.sourceview2 \ " for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES do