]> matita.cs.unibo.it Git - helm.git/commitdiff
lablgladecc => lablgladecc3
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 Dec 2018 12:38:12 +0000 (13:38 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 Dec 2018 12:38:12 +0000 (13:38 +0100)
It now compiles with lablgtk3 opam package

matita/configure.ac
matita/matita/.depend.opt

index 36f787c66b7e7e3ccb096dd46532ba1f8dfb0634..e3bb73990a6153222c7a9549b495a4267459f85e 100644 (file)
@@ -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
index 6de02fb28dab99aba2381388f0d91cd8a86b39f1..1487a6514c43334c94516c127c03ba868799525f 100644 (file)
@@ -14,7 +14,7 @@ matitaEngine.cmi : applyTransformation.cmi
 matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi
 matitaExcPp.cmi :
 matitaGeneratedGui.cmx :
-matitaGtkMisc.cmx : matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
+matitaGtkMisc.cmx : matitaGeneratedGui.cmx buildTimeConf.cmx \
     matitaGtkMisc.cmi
 matitaGtkMisc.cmi : matitaGeneratedGui.cmx
 matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \