Hello

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.8 2002/03/20 13:47:54 ludo Exp $
+dnl $Id: configure.in,v 1.9 2002/03/20 14:37:45 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 abt abv \<rds"
+libraries="\<mbk aut \<rds abl bdd btr vex abe abt abv fsm fks fvh ftl"
 dirs=`\ls -l $srcdir | grep '^d' | awk '{print $NF}'`
 for l in $libraries ; do
    for i in $dirs ; do