X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fconfigure.ac;h=e3bb73990a6153222c7a9549b495a4267459f85e;hb=25742360ab2c748d6023e130d62a2fb16d2013ad;hp=36f787c66b7e7e3ccb096dd46532ba1f8dfb0634;hpb=adc35b2abd4f832f4a879e87f6fc3d0a05f78071;p=helm.git

diff --git a/matita/configure.ac b/matita/configure.ac
index 36f787c66..e3bb73990 100644
--- a/matita/configure.ac
+++ b/matita/configure.ac
@@ -24,11 +24,11 @@ if test $HAVE_OCAMLFIND = "yes"; then
 else
   AC_MSG_ERROR(could not find ocamlfind)
 fi
-AC_CHECK_PROG(HAVE_LABLGLADECC, lablgladecc, yes, no)
+AC_CHECK_PROG(HAVE_LABLGLADECC, lablgladecc3, yes, no)
 if test $HAVE_LABLGLADECC = "yes"; then
-  LABLGLADECC="lablgladecc"
+  LABLGLADECC="lablgladecc3"
 else
-  AC_MSG_ERROR(could not find lablgladecc)
+  AC_MSG_ERROR(could not find lablgladecc3)
 fi
 AC_CHECK_PROG(HAVE_CAMLP5O, camlp5o, yes, no)
 if test $HAVE_CAMLP5O = "yes"; then