From: Stefano Zacchiroli Date: Thu, 12 Jan 2006 13:41:37 +0000 (+0000) Subject: !$%!%@$@$#@ X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=refs%2Fheads%2Ftests;p=helm.git !$%!%@$@$#@ --- diff --git a/helm/matita/configure.ac b/helm/matita/configure.ac index fc4322e8d..9fe0ac1df 100644 --- a/helm/matita/configure.ac +++ b/helm/matita/configure.ac @@ -51,8 +51,6 @@ helm-paramodulation \ " FINDLIB_REQUIRES="\ $FINDLIB_CREQUIRES \ -lablgtk2.glade \ -lablgtkmathview \ helm-paramodulation \ " for r in $FINDLIB_REQUIRES @@ -120,7 +118,6 @@ AC_SUBST(FINDLIB_DEPREQUIRES) AC_SUBST(FINDLIB_CLEANREQUIRES) AC_SUBST(FINDLIB_MAKEREQUIRES) AC_SUBST(HAVE_OCAMLOPT) -AC_SUBST(LABLGLADECC) AC_SUBST(OCAMLFIND) AC_SUBST(RT_BASE_DIR) AC_SUBST(MATITA_VERSION)