diff --git a/alliance/src/abv/configure.in b/alliance/src/abv/configure.in
index ef7de979..f63deac3 100644
--- a/alliance/src/abv/configure.in
+++ b/alliance/src/abv/configure.in
@@ -26,13 +26,15 @@ 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.1 2002/03/20 13:46:44 ludo Exp $
+dnl $Id: configure.in,v 1.2 2002/03/20 13:49:47 ludo Exp $
 dnl
 dnl
 AC_INIT(src/abv.h)
 AM_INIT_AUTOMAKE(abv, 2.1)
 AC_PROG_INSTALL
 AC_PROG_CC
+AC_PROG_YACC
+AM_PROG_LEX
 AC_HEADER_STDC
 AC_C_CONST
 AC_PROG_RANLIB
diff --git a/alliance/src/configure.in b/alliance/src/configure.in
index 93e20cb7..2433946a 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.7 2002/03/20 13:22:13 ludo Exp $
+dnl $Id: configure.in,v 1.8 2002/03/20 13:47:54 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 bdd btr vex abe \<rds"
+libraries="\<mbk aut abl bdd btr vex abe abt abv \<rds"
 dirs=`\ls -l $srcdir | grep '^d' | awk '{print $NF}'`
 for l in $libraries ; do
    for i in $dirs ; do