From deff1a5ca7624b403bf03d1a84f83e0a05efc865 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 26 Nov 2009 16:47:16 +0100 Subject: [PATCH] * m4/buddy.m4 (AX_CHECK_BUDDY): Check for bdd_satprefix, the latest function added to BuDDy. --- ChangeLog | 5 +++++ m4/buddy.m4 | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 4053af0f6..b70bc1aa8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2009-11-26 Alexandre Duret-Lutz + + * m4/buddy.m4 (AX_CHECK_BUDDY): Check for bdd_satprefix, the + latest function added to BuDDy. + 2009-11-25 Alexandre Duret-Lutz * src/tgbatest/ltl2tgba.cc (main): Stop the SCC timer. I mean diff --git a/m4/buddy.m4 b/m4/buddy.m4 index 23c43c489..7a57b44d9 100644 --- a/m4/buddy.m4 +++ b/m4/buddy.m4 @@ -2,7 +2,7 @@ AC_DEFUN([AX_CHECK_BUDDY], [ AC_ARG_WITH([included-buddy], [AC_HELP_STRING([--with-included-buddy], [use the BuDDy library inclued here])]) - AC_CHECK_LIB([bdd], [bdd_mergepairs], + AC_CHECK_LIB([bdd], [bdd_satprefix], [need_included_buddy=no], [need_included_buddy=yes])