From 4af201e562f657c9758a008ed4221128d070b2a6 Mon Sep 17 00:00:00 2001
From: Ludovic Jacomme <alliance-cvs@asim.lip6.fr>
Date: Thu, 4 Apr 2002 14:55:17 +0000
Subject: [PATCH] hi

---
 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 ec7e0aff..52b7a3fa 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.14 2002/04/03 13:15:21 ludo Exp $
+dnl $Id: configure.in,v 1.15 2002/04/04 14:55:17 ludo Exp $
 dnl
 dnl
 AC_INIT(./configure.in)
@@ -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 \<rds abl bdd log btr vex abe abt abv fsm fks fvh ftl rtn rtd scl vbh vbl vpn vpd vvh vtl pat ppt phl gcp druc"
+libraries="\<mbk aut \<rds abl bdd log btr vex abe abt abv fsm fks fvh ftl rtn rtd scl vbh vbl vpn vpd vvh vtl pat ppt phl gcp druc beh bhl"
 dirs=`\ls -l $srcdir | grep '^d' | awk '{print $NF}'`
 for l in $libraries ; do
    for i in $dirs ; do