From 87218a4bd20d9536ae90d9e838592c8671f5ede2 Mon Sep 17 00:00:00 2001
From: Ludovic Jacomme <alliance-cvs@asim.lip6.fr>
Date: Thu, 21 Mar 2002 12:38:23 +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 18ccd3fd..14992c42 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.9 2002/03/20 14:37:45 ludo Exp $
+dnl $Id: configure.in,v 1.10 2002/03/21 12:38:23 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 \<rds abl bdd btr vex abe abt abv fsm fks fvh ftl"
+libraries="\<mbk aut \<rds abl bdd btr vex abe abt abv fsm fks fvh ftl rtn rtd scl"
 dirs=`\ls -l $srcdir | grep '^d' | awk '{print $NF}'`
 for l in $libraries ; do
    for i in $dirs ; do