From 25742360ab2c748d6023e130d62a2fb16d2013ad Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 26 Dec 2018 13:38:12 +0100 Subject: [PATCH] lablgladecc => lablgladecc3 It now compiles with lablgtk3 opam package --- matita/configure.ac | 6 +++--- matita/matita/.depend.opt | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) 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 diff --git a/matita/matita/.depend.opt b/matita/matita/.depend.opt index 6de02fb28..1487a6514 100644 --- a/matita/matita/.depend.opt +++ b/matita/matita/.depend.opt @@ -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 \ -- 2.39.2