diff --git a/alliance/src/configure.in b/alliance/src/configure.in
index 9af57dd0..69e58599 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.24 2002/05/02 11:42:14 fred Exp $
+dnl $Id: configure.in,v 1.25 2002/05/02 13:40:29 ludo Exp $
 dnl
 dnl
 AC_INIT(./configure.in)
@@ -41,7 +41,7 @@ changequote(,)dnl
 
 
 libraries="mbk mbkal mbkap mbkedif mbkhilo mbkmg mbkspice mbkvhdl mbkvrlog mbkvti mbkvhdlg aut \
-rds rdscif rdsgds elp abl bdd log btr vex ctl abe abt abv fsm fks fvh ftl rtn rtd scl vbh vbl vpn \
+rds rdscif rdsgds elp abl bdd log btr vex ctl ctp abe abt abv fsm fks fvh ftl rtn rtd scl vbh vbl vpn \
 vpd vvh vtl pat ppt phl gcp druc beh bhl bvl"
 dirs=`\ls -l $srcdir | grep '^d' | awk '{print $NF}'`
 for l in $libraries ; do