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

* m4/buddy.m4: Check for bdd_implies.

parent 484ea488
......@@ -2,7 +2,7 @@ AC_DEFUN([AX_CHECK_BUDDY], [
AC_ARG_WITH([included-buddy],
[AC_HELP_STRING([--with-included-buddy],
[use the BuDDy library included here])])
AC_CHECK_LIB([bdd], [bdd_setxor],
AC_CHECK_LIB([bdd], [bdd_implies],
[need_included_buddy=no],
[need_included_buddy=yes])
......
Supports Markdown
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