* m4/buddy.m4: New file.

* Makefile.am (EXTRA_DIST): Add m4/buddy.m4.
* configure.ac: Call AX_CHECK_BUDDY.

ChangeLog

+2003-05-05  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
+
+	* m4/buddy.m4: New file.
+	* Makefile.am (EXTRA_DIST): Add m4/buddy.m4.
+	* configure.ac: Call AX_CHECK_BUDDY.
+
 2003-04-30  Alexandre DURET-LUTZ  <aduret@src.lip6.fr>
 
 	* src/ltlvisit/Makefile.am (lib_LTLIBRARIES): Rename as ...

Makefile.am

 SUBDIRS = doc src wrap
 ACLOCAL_AMFLAGS = -I m4
-EXTRA_DIST = m4/gccwarn.m4 m4/pypath.m4
+EXTRA_DIST = m4/gccwarn.m4 m4/pypath.m4 m4/buddy.m4

configure.ac

@@ -10,10 +10,12 @@ AC_PROG_CXX
 AM_PROG_LEX
 AC_PROG_YACC
 
-AC_PROG_LIBTOOL
-
 AC_LANG(C++)
 
+AX_CHECK_BUDDY
+
+AC_PROG_LIBTOOL
+
 CF_GXX_WARNINGS
 
 AC_CHECK_PROG([DOT], [dot], [dot])

m4/buddy.m4

+AC_DEFUN([AX_CHECK_BUDDY], [
+  AC_CHECK_LIB([bdd], [bdd_init],, 
+    [AC_MSG_ERROR([Could not link with BuDDy.  Please install BuDDy first 
+                   or set CPPFLAGS/LDFLAGS appropriately.])])])