Commit deff1a5c authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* m4/buddy.m4 (AX_CHECK_BUDDY): Check for bdd_satprefix, the

latest function added to BuDDy.
parent 3cbd681c
2009-11-26 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* m4/buddy.m4 (AX_CHECK_BUDDY): Check for bdd_satprefix, the
latest function added to BuDDy.
2009-11-25 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgbatest/ltl2tgba.cc (main): Stop the SCC timer. I mean
......
......@@ -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])
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment