From 5428201d21c750b1adb1f6cc95fe77a5c42c495e Mon Sep 17 00:00:00 2001
From: Ludovic Jacomme <alliance-cvs@asim.lip6.fr>
Date: Mon, 18 Mar 2002 11:32:56 +0000
Subject: [PATCH] +BDD

---
 alliance/src/configure.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/alliance/src/configure.in b/alliance/src/configure.in
index 21c954d4..7b1f77a3 100644
--- a/alliance/src/configure.in
+++ b/alliance/src/configure.in
@@ -25,7 +25,7 @@ dnl           Almost ten years since I wrote this stuff, I just can't
 dnl           believe it
 dnl Date    : 01/02/2002
 dnl Author  : Frederic Petrot <Frederic.Petrot@lip6.fr>
-dnl $Id: configure.in,v 1.3 2002/03/18 11:13:59 ludo Exp $
+dnl $Id: configure.in,v 1.4 2002/03/18 11:32:56 ludo Exp $
 dnl
 dnl
 AC_INIT(./mbk)
@@ -38,7 +38,7 @@ changequote(,)dnl
 # compiled and installed prior to the tools
 # Add in the following variable the library name (or part of it, as a
 # match is performed) that you what to compile prior to anything
-libraries="\<mbk aut abl \<rds"
+libraries="\<mbk aut abl bdd \<rds"
 dirs=`\ls -l $srcdir | grep '^d' | awk '{print $NF}'`
 for l in $libraries ; do
    for i in $dirs ; do