X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fconfigure.ac;h=04b7da8bdaf2fd1da221d42bca31b30539fe4bcb;hb=2cdad3c9cad0558fda99c48c226670a8a7c11b3f;hp=10725e662e4823f6ce684b949557a25d2f60732f;hpb=4407db5bba0f96916a85648a337648da047fd03d;p=helm.git diff --git a/matita/configure.ac b/matita/configure.ac index 10725e662..04b7da8bd 100644 --- a/matita/configure.ac +++ b/matita/configure.ac @@ -67,7 +67,7 @@ pcre \ str \ unix \ lablgtk3 \ -lablgtk3.sourceview3 \ +lablgtk3-sourceview3 \ netstring \ ulex-camlp5 \ zip \ @@ -92,7 +92,7 @@ $FINDLIB_COMREQUIRES \ " FINDLIB_REQUIRES="\ $FINDLIB_CREQUIRES \ -lablgtk3.sourceview3 \ +lablgtk3-sourceview3 \ " for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES