diff --git a/alliance/src/abe/configure.in b/alliance/src/abe/configure.in
index a7348788..91a5f805 100644
--- a/alliance/src/abe/configure.in
+++ b/alliance/src/abe/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:19:35 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:19 jpc Exp $
 dnl
 dnl
 AC_INIT(src/abe.h)
+ABE_DLL_VERSION=2:1:0
+AC_SUBST(ABE_DLL_VERSION)
 AM_INIT_AUTOMAKE(abe, 2.1)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/abl/configure.in b/alliance/src/abl/configure.in
index 07091041..bb9481aa 100644
--- a/alliance/src/abl/configure.in
+++ b/alliance/src/abl/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.3 2002/09/30 16:19:36 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:19 jpc Exp $
 dnl
 dnl
 AC_INIT(src/abl.h)
+ABL_DLL_VERSION=1:3:0
+AC_SUBST(ABL_DLL_VERSION)
 AM_INIT_AUTOMAKE(abl, 1.3)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/abt/configure.in b/alliance/src/abt/configure.in
index 93c3c397..347a8de4 100644
--- a/alliance/src/abt/configure.in
+++ b/alliance/src/abt/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:19:39 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:20 jpc Exp $
 dnl
 dnl
 AC_INIT(src/abt.h)
+ABT_DLL_VERSION=2:1:0
+AC_SUBST(ABT_DLL_VERSION)
 AM_INIT_AUTOMAKE(abt, 2.1)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/abv/configure.in b/alliance/src/abv/configure.in
index 7f9b2c17..f3954994 100644
--- a/alliance/src/abv/configure.in
+++ b/alliance/src/abv/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,10 +25,12 @@ 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.3 2002/09/30 16:19:40 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:20 jpc Exp $
 dnl
 dnl
 AC_INIT(src/abv.h)
+ABV_DLL_VERSION=2:1:0
+AC_SUBST(ABV_DLL_VERSION)
 AM_INIT_AUTOMAKE(abv, 2.1)
 AC_PROG_INSTALL
 AC_PROG_CC
@@ -37,7 +38,7 @@ AC_PROG_YACC
 AM_PROG_LEX
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/alliance.m4 b/alliance/src/alliance.m4
index aa0f9f94..42ccc6b8 100644
--- a/alliance/src/alliance.m4
+++ b/alliance/src/alliance.m4
@@ -1,24 +1,21 @@
 AC_DEFUN(AM_ALLIANCE,[
+  AC_REQUIRE([AC_PROG_LIBTOOL])
   AC_ARG_WITH(alliance-top,
-    [  --with-alliance-top=ALLIANCE_TOP    Prefix where alliance is installed (optional)],
+    [  --with-alliance-top=ALLIANCE_TOP 
+                           Prefix where alliance is installed (optional)],
     alliance_top="$withval", alliance_top="")
 
-AC_ARG_ENABLE(system64,
-              --enable-system64   enable compilation on 64 bits systems (default is 32 bits),
-              AC_DEFINE(SYSTEM64))
-
-AC_DISABLE_SHARED
-AC_PROG_LIBTOOL
-AC_SUBST(LIBTOOL_DEPS)
 
 AC_MSG_CHECKING(for alliance)
 if test x$alliance_top != x ; then
   ALLIANCE_CFLAGS="-I$alliance_top/include"
   ALLIANCE_LIBS="-L$alliance_top/lib"
   ALLIANCE_TOP="$alliance_top"
+  AC_MSG_RESULT([ALLIANCE_TOP forced to $ALLIANCE_TOP])
 else
   ALLIANCE_CFLAGS="-I${ALLIANCE_TOP}/include"
   ALLIANCE_LIBS="-L${ALLIANCE_TOP}/lib"
+  AC_MSG_RESULT([using  \$ALLIANCE_TOP ($ALLIANCE_TOP)])
 fi
 
 ac_save_CFLAGS="$CFLAGS"
@@ -51,7 +48,51 @@ dnl  ALLIANCE_CFLAGS=""
 dnl  ALLIANCE_LIBS=""
 dnl ifelse([$2], , :, [$2])
 dnl  fi
-  
+
+
+CFLAGS="-I${ALLIANCE_TOP}/include $CFLAGS"
+LDFLAGS="-L${ALLIANCE_TOP}/lib $LDFLAGS"
+
+
+AC_ARG_ENABLE(devel,
+  [  --with-devel             use the user's local Alliance first.],
+  [ case $enableval in
+      "yes") enable_devel="yes";;
+      "no")  enable_devel="no";;
+      *)     enable_devel="no";;
+    esac
+  ],
+  [ enable_devel="no" ]
+)
+
+if test "x$enable_devel" = "xyes"; then
+  echo "alliance: user's local Alliance components will be used."
+  CFLAGS="-I\$(includedir) $CFLAGS"
+  LDFLAGS="-L\$(libdir) $LDFLAGS"
+else
+  echo "alliance: only system-wide Alliance will be used."
+fi
+
+
+AC_ARG_ENABLE(alc-shared,
+  [  --enable-alc-shared      enable the use of dynamic libraries.],
+  [ case $enableval in
+      "yes") enable_alc_shared="yes";;
+      "no")  enable_alc_shared="no";;
+      *)     enable_alc_shared="no";;
+    esac
+  ],
+  [ enable_alc_shared="no" ]
+)
+
+if test "x$enable_alc_shared" = "xyes"; then
+  echo "alliance: use of shared libraries is enabled."
+else
+  echo "alliance: use of shared libraries is disabled."
+  LDFLAGS="-static $LDFLAGS"
+fi
+
+
 AC_SUBST(ALLIANCE_CFLAGS)
 AC_SUBST(ALLIANCE_LIBS)
 AC_SUBST(ALLIANCE_TOP)
@@ -63,5 +104,4 @@ AC_SUBST(INSTALL_PROGRAM)
 
 AC_DEFINE_UNQUOTED(ALLIANCE_VERSION, "5.0")
 AC_DEFINE_UNQUOTED(ALLIANCE_TOP, "$ALLIANCE_TOP")
-
 ])
diff --git a/alliance/src/asimut/configure.in b/alliance/src/asimut/configure.in
index 0b677d6f..c2984892 100644
--- a/alliance/src/asimut/configure.in
+++ b/alliance/src/asimut/configure.in
@@ -25,10 +25,14 @@ 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.4 2002/10/02 15:42:50 czo Exp $
+dnl $Id: configure.in,v 1.5 2002/10/16 18:04:20 jpc Exp $
 dnl
 dnl
 AC_INIT(src/vh_simulad.c)
+CST_DLL_VERSION=3:2:0
+SCH_DLL_VERSION=3:2:0
+AC_SUBST(CST_DLL_VERSION)
+AC_SUBST(SCH_DLL_VERSION)
 AM_INIT_AUTOMAKE(asimut, 3.2)
 AC_PROG_INSTALL
 AC_PROG_CC
@@ -37,10 +41,8 @@ AM_PROG_LEX
 AC_HEADER_STDC
 AC_CHECK_HEADERS(strings.h unistd.h)
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/aut/configure.in b/alliance/src/aut/configure.in
index a440804b..9978fe43 100644
--- a/alliance/src/aut/configure.in
+++ b/alliance/src/aut/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.6 2002/09/30 16:19:44 czo Exp $
+dnl $Id: configure.in,v 1.7 2002/10/16 18:04:20 jpc Exp $
 dnl
 dnl
 AC_INIT(src/aut.h)
+AUT_DLL_VERSION=1:3:0
+AC_SUBST(AUT_DLL_VERSION)
 AM_INIT_AUTOMAKE(aut, 1.3)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE 
 
diff --git a/alliance/src/b2f/configure.in b/alliance/src/b2f/configure.in
index 7b5d58c6..44fa063b 100644
--- a/alliance/src/b2f/configure.in
+++ b/alliance/src/b2f/configure.in
@@ -20,13 +20,11 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/bdd/configure.in b/alliance/src/bdd/configure.in
index fc344402..f8193889 100644
--- a/alliance/src/bdd/configure.in
+++ b/alliance/src/bdd/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.3 2002/09/30 16:19:46 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:20 jpc Exp $
 dnl
 dnl
 AC_INIT(src/bdd.h)
+BDD_DLL_VERSION=1:5:0
+AC_SUBST(BDD_DLL_VERSION)
 AM_INIT_AUTOMAKE(bdd, 1.5)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/beh/configure.in b/alliance/src/beh/configure.in
index 59ecd808..d115f5b1 100644
--- a/alliance/src/beh/configure.in
+++ b/alliance/src/beh/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:19:51 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:20 jpc Exp $
 dnl
 dnl
 AC_INIT(src/beh.h)
+BEH_DLL_VERSION=1:11:0
+AC_SUBST(BEH_DLL_VERSION)
 AM_INIT_AUTOMAKE(beh, 1.11)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/bhl/configure.in b/alliance/src/bhl/configure.in
index bea34b15..7a6fd060 100644
--- a/alliance/src/bhl/configure.in
+++ b/alliance/src/bhl/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:19:54 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:20 jpc Exp $
 dnl
 dnl
 AC_INIT(src/bhl.h)
+BHL_DLL_VERSION=1:11:0
+AC_SUBST(BHL_DLL_VERSION)
 AM_INIT_AUTOMAKE(bhl, 1.11)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/boog/configure.in b/alliance/src/boog/configure.in
index 9a6d856a..673a2d80 100644
--- a/alliance/src/boog/configure.in
+++ b/alliance/src/boog/configure.in
@@ -22,8 +22,6 @@ AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 dnl path for libs and includes
 AM_ALLIANCE
diff --git a/alliance/src/boom/configure.in b/alliance/src/boom/configure.in
index 182000d4..967db965 100644
--- a/alliance/src/boom/configure.in
+++ b/alliance/src/boom/configure.in
@@ -20,15 +20,13 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
 
 AC_CHECK_LIB(m, exp)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/btr/configure.in b/alliance/src/btr/configure.in
index 65f2682d..d357eb8b 100644
--- a/alliance/src/btr/configure.in
+++ b/alliance/src/btr/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:20:01 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:21 jpc Exp $
 dnl
 dnl
 AC_INIT(src/btr.h)
+BTR_DLL_VERSION=1:3:0
+AC_SUBST(BTR_DLL_VERSION)
 AM_INIT_AUTOMAKE(btr, 1.3)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/bvl/configure.in b/alliance/src/bvl/configure.in
index f0950ddb..e9b0556c 100644
--- a/alliance/src/bvl/configure.in
+++ b/alliance/src/bvl/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,10 +25,12 @@ 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.2 2002/09/30 16:20:02 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:21 jpc Exp $
 dnl
 dnl
 AC_INIT(src/bvl.h)
+BVL_DLL_VERSION=1:14:0
+AC_SUBST(BVL_DLL_VERSION)
 AM_INIT_AUTOMAKE(bvl, 1.14)
 AC_PROG_INSTALL
 AC_PROG_CC
@@ -37,7 +38,7 @@ AC_PROG_YACC
 AM_PROG_LEX
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/configure.in b/alliance/src/configure.in
index 44cd78ea..761b3201 100644
--- a/alliance/src/configure.in
+++ b/alliance/src/configure.in
@@ -25,13 +25,12 @@ 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.29 2002/09/30 16:19:35 czo Exp $
+dnl $Id: configure.in,v 1.30 2002/10/16 18:04:14 jpc Exp $
 dnl
 dnl
 AC_INIT(./configure.in)
 AM_INIT_AUTOMAKE(alliance, 5.0)
 AC_PROG_CC
-AC_PROG_RANLIB
 
 changequote(,)dnl
 # Build a compilation order that ensures that the libraries are
@@ -70,10 +69,6 @@ changequote([,])dnl
 AC_CONFIG_SUBDIRS($sdirs)
 AC_SUBST(SUBDIRS)
 
-AC_DISABLE_SHARED
-AC_PROG_LIBTOOL
-AC_SUBST(LIBTOOL_DEPS)
-
 AC_OUTPUT([
 Makefile
 ])
diff --git a/alliance/src/ctl/configure.in b/alliance/src/ctl/configure.in
index 1fb2668a..13ed6fc1 100644
--- a/alliance/src/ctl/configure.in
+++ b/alliance/src/ctl/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.3 2002/09/30 16:20:03 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:21 jpc Exp $
 dnl
 dnl
 AC_INIT(src/ctl.h)
+CTL_DLL_VERSION=1:1:0
+AC_SUBST(CTL_DLL_VERSION)
 AM_INIT_AUTOMAKE(ctl, 1.1)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/ctp/configure.in b/alliance/src/ctp/configure.in
index db7c7f4e..cd83e889 100644
--- a/alliance/src/ctp/configure.in
+++ b/alliance/src/ctp/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,10 +25,12 @@ 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.4 2002/10/02 15:42:52 czo Exp $
+dnl $Id: configure.in,v 1.5 2002/10/16 18:04:21 jpc Exp $
 dnl
 dnl
 AC_INIT(src/ctp.h)
+CTP_DLL_VERSION=1:1:0
+AC_SUBST(CTP_DLL_VERSION)
 AM_INIT_AUTOMAKE(ctp, 1.1)
 AC_PROG_INSTALL
 AC_PROG_CC
@@ -37,10 +38,8 @@ AC_PROG_YACC
 AM_PROG_LEX
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/dreal/configure.in b/alliance/src/dreal/configure.in
index 1a0904e1..84d081a7 100644
--- a/alliance/src/dreal/configure.in
+++ b/alliance/src/dreal/configure.in
@@ -21,12 +21,10 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 AC_CHECK_LIB(m, sqrt)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AC_CHECK_PROGS(SED, gsed sed)
 AC_PATH_XTRA
diff --git a/alliance/src/druc/configure.in b/alliance/src/druc/configure.in
index b857a98f..3659c4b0 100644
--- a/alliance/src/druc/configure.in
+++ b/alliance/src/druc/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,21 +25,21 @@ 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.5 2002/10/02 15:42:52 czo Exp $
+dnl $Id: configure.in,v 1.6 2002/10/16 18:04:22 jpc Exp $
 dnl
 dnl
 AC_INIT(src/vrd.h)
+VRD_DLL_VERSION=3:4:0
+AC_SUBST(VRD_DLL_VERSION)
 AM_INIT_AUTOMAKE(vrd, 3.4)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_PROG_YACC
 AM_PROG_LEX
 AC_CHECK_LIB(m, sqrt)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/elp/configure.in b/alliance/src/elp/configure.in
index 18e9d321..113a39f4 100644
--- a/alliance/src/elp/configure.in
+++ b/alliance/src/elp/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,10 +25,12 @@ 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.2 2002/09/30 16:20:11 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:22 jpc Exp $
 dnl
 dnl
 AC_INIT(src/elp.h)
+ELP_DLL_VERSION=1:5:0
+AC_SUBST(ELP_DLL_VERSION)
 AM_INIT_AUTOMAKE(elp, 1.5)
 AC_PROG_INSTALL
 AC_PROG_CC
@@ -37,7 +38,7 @@ AC_PROG_YACC
 AM_PROG_LEX
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/exp/configure.in b/alliance/src/exp/configure.in
index fb9e1222..68e616c3 100644
--- a/alliance/src/exp/configure.in
+++ b/alliance/src/exp/configure.in
@@ -18,7 +18,7 @@ AM_INIT_AUTOMAKE($PACKAGE, $VERSION)
 
 dnl Checks for programs.
 AC_PROG_CC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AM_PROG_LEX
 AC_PROG_YACC
 AC_PROG_MAKE_SET
diff --git a/alliance/src/fks/configure.in b/alliance/src/fks/configure.in
index ec3e4286..512795c3 100644
--- a/alliance/src/fks/configure.in
+++ b/alliance/src/fks/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:20:11 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:22 jpc Exp $
 dnl
 dnl
 AC_INIT(src/fks.h)
+FKS_DLL_VERSION=1:4:0
+AC_SUBST(FKS_DLL_VERSION)
 AM_INIT_AUTOMAKE(fks, 1.4)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/flatbeh/configure.in b/alliance/src/flatbeh/configure.in
index 3bc56424..94e508d0 100644
--- a/alliance/src/flatbeh/configure.in
+++ b/alliance/src/flatbeh/configure.in
@@ -22,8 +22,6 @@ AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 dnl For alliance path lib and includes
 AM_ALLIANCE
diff --git a/alliance/src/flatlo/configure.in b/alliance/src/flatlo/configure.in
index 7eee5f1f..ca271c4a 100644
--- a/alliance/src/flatlo/configure.in
+++ b/alliance/src/flatlo/configure.in
@@ -1,4 +1,4 @@
-dnl $Id: configure.in,v 1.3 2002/10/02 15:42:53 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:22 jpc Exp $
 
 AC_INIT(src/flatlo.c)
 AM_INIT_AUTOMAKE(flatlo, 1.4)
@@ -10,8 +10,6 @@ AC_PROG_MAKE_SET
 AC_HEADER_STDC
 AC_C_CONST
 
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/flatph/configure.in b/alliance/src/flatph/configure.in
index a35a440c..77f782b8 100644
--- a/alliance/src/flatph/configure.in
+++ b/alliance/src/flatph/configure.in
@@ -1,4 +1,4 @@
-dnl $Id: configure.in,v 1.3 2002/10/02 15:42:53 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:23 jpc Exp $
 
 AC_INIT(src/flatph.c)
 AM_INIT_AUTOMAKE(flatph, 1.4)
@@ -10,8 +10,6 @@ AC_PROG_MAKE_SET
 AC_HEADER_STDC
 AC_C_CONST
 
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/fmi/configure.in b/alliance/src/fmi/configure.in
index 0af79c48..9e526563 100644
--- a/alliance/src/fmi/configure.in
+++ b/alliance/src/fmi/configure.in
@@ -20,13 +20,11 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/fsm/configure.in b/alliance/src/fsm/configure.in
index 9febb1ae..336946e9 100644
--- a/alliance/src/fsm/configure.in
+++ b/alliance/src/fsm/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.3 2002/09/30 16:20:14 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:23 jpc Exp $
 dnl
 dnl
 AC_INIT(src/fsm.h)
+FSM_DLL_VERSION=1:4:0
+AC_SUBST(FSM_DLL_VERSION)
 AM_INIT_AUTOMAKE(fsm, 1.4)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/fsp/configure.in b/alliance/src/fsp/configure.in
index 44bf4c4f..8b8bef04 100644
--- a/alliance/src/fsp/configure.in
+++ b/alliance/src/fsp/configure.in
@@ -20,13 +20,11 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/ftl/configure.in b/alliance/src/ftl/configure.in
index a9ba2bf7..4e9c9a09 100644
--- a/alliance/src/ftl/configure.in
+++ b/alliance/src/ftl/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,18 +25,18 @@ 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.5 2002/10/02 15:42:54 czo Exp $
+dnl $Id: configure.in,v 1.6 2002/10/16 18:04:23 jpc Exp $
 dnl
 dnl
 AC_INIT(src/ftl.h)
+FTL_DLL_VERSION=1:4:0
+AC_SUBST(FTL_DLL_VERSION)
 AM_INIT_AUTOMAKE(ftl, 1.4)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/fvh/configure.in b/alliance/src/fvh/configure.in
index 479db92e..600595cb 100644
--- a/alliance/src/fvh/configure.in
+++ b/alliance/src/fvh/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,10 +25,12 @@ 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.2 2002/09/30 16:20:17 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:23 jpc Exp $
 dnl
 dnl
 AC_INIT(src/fvh.h)
+FVH_DLL_VERSION=1:4:0
+AC_SUBST(FVH_DLL_VERSION)
 AM_INIT_AUTOMAKE(fvh, 1.4)
 AC_PROG_INSTALL
 AC_PROG_CC
@@ -37,7 +38,7 @@ AC_PROG_YACC
 AM_PROG_LEX
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/genlib/configure.in b/alliance/src/genlib/configure.in
index e790ece1..f40de931 100644
--- a/alliance/src/genlib/configure.in
+++ b/alliance/src/genlib/configure.in
@@ -25,10 +25,12 @@ 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.6 2002/09/30 16:20:21 czo Exp $
+dnl $Id: configure.in,v 1.7 2002/10/16 18:04:24 jpc Exp $
 dnl
 dnl
 AC_INIT(src/genlib.c)
+MGN_DLL_VERSION=3:3:0
+AC_SUBST(MGN_DLL_VERSION)
 AM_INIT_AUTOMAKE(genlib, 3.3)
 AC_PROG_INSTALL
 AC_PROG_CC
@@ -36,7 +38,7 @@ AC_HEADER_STDC
 AC_CHECK_HEADERS(strings.h unistd.h)
 AC_C_CONST
 AC_TYPE_SIGNAL
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_CHECK_PROG(SED, sed, sed)
 AM_PROG_LEX
 AC_PROG_YACC
diff --git a/alliance/src/genpat/configure.in b/alliance/src/genpat/configure.in
index 52ba2d1b..a0b3c428 100644
--- a/alliance/src/genpat/configure.in
+++ b/alliance/src/genpat/configure.in
@@ -22,9 +22,11 @@ dnl Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 dnl
 dnl
 AC_INIT(src/genpat.sh)
+PGN_DLL_VERSION=3:3:0
+AC_SUBST(PGN_DLL_VERSION)
 AM_INIT_AUTOMAKE(genpat, 3.3)
 AC_PROG_CC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_CHECK_PROG(SED, sed, sed)
 AM_PROG_LEX
 AC_PROG_YACC
diff --git a/alliance/src/graal/configure.in b/alliance/src/graal/configure.in
index 818c0cec..126ee905 100644
--- a/alliance/src/graal/configure.in
+++ b/alliance/src/graal/configure.in
@@ -20,12 +20,10 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 AC_CHECK_LIB(m, sqrt)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AC_CHECK_PROGS(SED, gsed sed)
 AC_PATH_XTRA
diff --git a/alliance/src/k2f/configure.in b/alliance/src/k2f/configure.in
index 3703c35c..a23aa1a9 100644
--- a/alliance/src/k2f/configure.in
+++ b/alliance/src/k2f/configure.in
@@ -20,13 +20,11 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/l2p/configure.in b/alliance/src/l2p/configure.in
index 453967ca..a2885ae8 100644
--- a/alliance/src/l2p/configure.in
+++ b/alliance/src/l2p/configure.in
@@ -20,15 +20,13 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
 
 AC_CHECK_LIB(m, floor)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/log/configure.in b/alliance/src/log/configure.in
index 66fa4a82..f9eec1db 100644
--- a/alliance/src/log/configure.in
+++ b/alliance/src/log/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:20:43 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:24 jpc Exp $
 dnl
 dnl
 AC_INIT(src/log.h)
+LOG_DLL_VERSION=2:1:0
+AC_SUBST(LOG_DLL_VERSION)
 AM_INIT_AUTOMAKE(log, 2.1)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/loon/configure.in b/alliance/src/loon/configure.in
index 0212b919..a12bd3b4 100644
--- a/alliance/src/loon/configure.in
+++ b/alliance/src/loon/configure.in
@@ -22,8 +22,6 @@ AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 dnl path for libs and includes
 AM_ALLIANCE
diff --git a/alliance/src/lvx/configure.in b/alliance/src/lvx/configure.in
index e6afd7d7..0480b6c8 100644
--- a/alliance/src/lvx/configure.in
+++ b/alliance/src/lvx/configure.in
@@ -18,13 +18,11 @@ AM_INIT_AUTOMAKE($PACKAGE, $VERSION)
 
 dnl Checks for programs.
 AC_PROG_CC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/lynx/configure.in b/alliance/src/lynx/configure.in
index 61f2ef67..e5ea2fc5 100644
--- a/alliance/src/lynx/configure.in
+++ b/alliance/src/lynx/configure.in
@@ -20,12 +20,10 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 AC_CHECK_LIB(m, sqrt)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
diff --git a/alliance/src/mbk/configure.in b/alliance/src/mbk/configure.in
index 09b4b7b0..fd152c04 100644
--- a/alliance/src/mbk/configure.in
+++ b/alliance/src/mbk/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,11 +25,25 @@ 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.4 2002/09/30 16:20:48 czo Exp $
+dnl $Id: configure.in,v 1.5 2002/10/16 18:04:25 jpc Exp $
 dnl
 dnl
+
 AC_INIT(src/mut.h)
-AM_INIT_AUTOMAKE(mbk, 4.2)
+
+MBK_CUR=4
+MBK_REV=2
+MBK_AGE=0
+
+MBK_VERSION=$MBK_CUR.$MBK_REV
+MBK_DLL_VERSION=${MBK_CUR}:${MBK_REV}:${MBK_REL}
+
+AC_SUBST(MBK_CUR)
+AC_SUBST(MBK_REV)
+AC_SUBST(MBK_REL)
+AC_SUBST(MBK_DLL_VERSION)
+
+AM_INIT_AUTOMAKE(mbk, $MBK_VERSION)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
@@ -39,7 +52,8 @@ AC_CHECK_HEADERS(fcntl.h malloc.h strings.h sys/time.h unistd.h)
 AC_C_CONST
 AC_TYPE_SIGNAL
 AC_FUNC_VFORK
-AC_PROG_RANLIB
+dnl AM_PROG_LIBTOOL
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/mbkal/configure.in b/alliance/src/mbkal/configure.in
index 62c042ac..526847ed 100644
--- a/alliance/src/mbkal/configure.in
+++ b/alliance/src/mbkal/configure.in
@@ -25,17 +25,19 @@ 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.4 2002/09/30 16:20:52 czo Exp $
+dnl $Id: configure.in,v 1.5 2002/10/16 18:04:25 jpc Exp $
 dnl
 dnl
 AC_INIT(src/alc_pars_l.c)
+MAL_DLL_VERSION=6:0:0
+AC_SUBST(MAL_DLL_VERSION)
 AM_INIT_AUTOMAKE(mbkal, 6.0)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_CHECK_HEADERS(strings.h unistd.h)
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/mbkap/configure.in b/alliance/src/mbkap/configure.in
index f9fb5dd9..df0c31d3 100644
--- a/alliance/src/mbkap/configure.in
+++ b/alliance/src/mbkap/configure.in
@@ -25,17 +25,19 @@ 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.3 2002/09/30 16:20:52 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:26 jpc Exp $
 dnl
 dnl
 AC_INIT(src/alc_driv_p.c)
+MAP_DLL_VERSION=6:0:0
+AC_SUBST(MAP_DLL_VERSION)
 AM_INIT_AUTOMAKE(mbkal, 6.0)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_CHECK_HEADERS(strings.h unistd.h)
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/mbkedif/configure.in b/alliance/src/mbkedif/configure.in
index 4de8280e..b55e1c49 100644
--- a/alliance/src/mbkedif/configure.in
+++ b/alliance/src/mbkedif/configure.in
@@ -25,10 +25,12 @@ 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.3 2002/09/30 16:20:53 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:26 jpc Exp $
 dnl
 dnl
 AC_INIT(src/time.c)
+MEL_DLL_VERSION=4:9:0
+AC_SUBST(MEL_DLL_VERSION)
 AM_INIT_AUTOMAKE(mbkedif, 4.9)
 AC_PROG_INSTALL
 AC_PROG_CC
@@ -37,7 +39,7 @@ AM_PROG_LEX
 AC_HEADER_STDC
 AC_CHECK_HEADERS(strings.h unistd.h)
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/mbkhilo/configure.in b/alliance/src/mbkhilo/configure.in
index bc784da2..75e15ec7 100644
--- a/alliance/src/mbkhilo/configure.in
+++ b/alliance/src/mbkhilo/configure.in
@@ -25,17 +25,19 @@ 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.3 2002/09/30 16:20:54 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:26 jpc Exp $
 dnl
 dnl
 AC_INIT(src/drive_hilo.c)
+MHL_DLL_VERSION=2:1:0
+AC_SUBST(MHL_DLL_VERSION)
 AM_INIT_AUTOMAKE(mbkhilo, 2.0)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_CHECK_HEADERS(strings.h unistd.h)
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/mbkmg/configure.in b/alliance/src/mbkmg/configure.in
index 7a0e74b4..49b24b57 100644
--- a/alliance/src/mbkmg/configure.in
+++ b/alliance/src/mbkmg/configure.in
@@ -25,10 +25,12 @@ 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.3 2002/09/30 16:20:55 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:26 jpc Exp $
 dnl
 dnl
 AC_INIT(src/mbk2mg.c)
+MMG_DLL_VERSION=1:0:0
+AC_SUBST(MMG_DLL_VERSION)
 AM_INIT_AUTOMAKE(mbkmg, 1.0)
 AC_PROG_INSTALL
 AC_PROG_CC
@@ -37,7 +39,7 @@ AM_PROG_LEX
 AC_HEADER_STDC
 AC_CHECK_HEADERS(strings.h unistd.h)
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/mbkspice/configure.in b/alliance/src/mbkspice/configure.in
index 07d397ab..d6461dbe 100644
--- a/alliance/src/mbkspice/configure.in
+++ b/alliance/src/mbkspice/configure.in
@@ -25,17 +25,19 @@ 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.5 2002/09/30 16:20:56 czo Exp $
+dnl $Id: configure.in,v 1.6 2002/10/16 18:04:26 jpc Exp $
 dnl
 dnl
 AC_INIT(src/spi_parse.c)
+MSL_DLL_VERSION=7:0:0
+AC_SUBST(MSL_DLL_VERSION)
 AM_INIT_AUTOMAKE(mbkspice, 7.0)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_CHECK_HEADERS(strings.h unistd.h)
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/mbkvhdl/configure.in b/alliance/src/mbkvhdl/configure.in
index d164a7c9..2b0b23bd 100644
--- a/alliance/src/mbkvhdl/configure.in
+++ b/alliance/src/mbkvhdl/configure.in
@@ -25,10 +25,12 @@ 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.2 2002/09/30 16:20:57 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:26 jpc Exp $
 dnl
 dnl
 AC_INIT(src/mvl_drive.c)
+MVL_DLL_VERSION=4:1:0
+AC_SUBST(MVL_DLL_VERSION)
 AM_INIT_AUTOMAKE(mbkvhdl, 4.1)
 AC_PROG_INSTALL
 AC_PROG_CC
@@ -37,7 +39,7 @@ AM_PROG_LEX
 AC_HEADER_STDC
 AC_CHECK_HEADERS(strings.h unistd.h)
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/mbkvhdlg/configure.in b/alliance/src/mbkvhdlg/configure.in
index 684072dc..a8fea384 100644
--- a/alliance/src/mbkvhdlg/configure.in
+++ b/alliance/src/mbkvhdlg/configure.in
@@ -25,10 +25,12 @@ 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.4 2002/10/02 15:42:57 czo Exp $
+dnl $Id: configure.in,v 1.5 2002/10/16 18:04:27 jpc Exp $
 dnl
 dnl
 AC_INIT(src/mvl_drive.c)
+MVG_DLL_VERSION=4:1:0
+AC_SUBST(MVG_DLL_VERSION)
 AM_INIT_AUTOMAKE(mbkvhdlg, 4.1)
 AC_PROG_INSTALL
 AC_PROG_CC
@@ -37,9 +39,7 @@ AM_PROG_LEX
 AC_HEADER_STDC
 AC_CHECK_HEADERS(strings.h unistd.h)
 AC_C_CONST
-AC_PROG_RANLIB
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/mbkvrlog/configure.in b/alliance/src/mbkvrlog/configure.in
index f6986a17..25cb9b87 100644
--- a/alliance/src/mbkvrlog/configure.in
+++ b/alliance/src/mbkvrlog/configure.in
@@ -25,17 +25,19 @@ 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.3 2002/09/30 16:20:59 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:27 jpc Exp $
 dnl
 dnl
 AC_INIT(src/drive_vlog.c)
+MGL_DLL_VERSION=0:8:0
+AC_SUBST(MGL_DLL_VERSION)
 AM_INIT_AUTOMAKE(mbkverilog, 0.8)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_CHECK_HEADERS(strings.h unistd.h)
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/mbkvti/configure.in b/alliance/src/mbkvti/configure.in
index a29c2743..a8656638 100644
--- a/alliance/src/mbkvti/configure.in
+++ b/alliance/src/mbkvti/configure.in
@@ -25,17 +25,21 @@ 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.4 2002/09/30 16:20:59 czo Exp $
+dnl $Id: configure.in,v 1.5 2002/10/16 18:04:27 jpc Exp $
 dnl
 dnl
 AC_INIT(src/parse_vti_p.c)
+MCP_DLL_VERSION=4:9:0
+MCL_DLL_VERSION=4:9:0
+AC_SUBST(MCP_DLL_VERSION)
+AC_SUBST(MCL_DLL_VERSION)
 AM_INIT_AUTOMAKE(mbkvti, 4.9)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_CHECK_HEADERS(strings.h unistd.h)
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/mocha/configure.in b/alliance/src/mocha/configure.in
index 06aa1127..fc369d50 100644
--- a/alliance/src/mocha/configure.in
+++ b/alliance/src/mocha/configure.in
@@ -18,13 +18,11 @@ AM_INIT_AUTOMAKE($PACKAGE, $VERSION)
 
 dnl Checks for programs.
 AC_PROG_CC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/nero/configure.in b/alliance/src/nero/configure.in
index 79f44991..82c64d3a 100644
--- a/alliance/src/nero/configure.in
+++ b/alliance/src/nero/configure.in
@@ -19,7 +19,7 @@ AM_INIT_AUTOMAKE($PACKAGE, $VERSION)
 dnl Checks for programs.
 AC_PROG_CXX
 AC_PROG_CC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 ALC_CXX_PROBLEMATIC_OLD_VERSION
 
diff --git a/alliance/src/ocp/configure.in b/alliance/src/ocp/configure.in
index 152e5e58..0e9e9636 100644
--- a/alliance/src/ocp/configure.in
+++ b/alliance/src/ocp/configure.in
@@ -19,7 +19,7 @@ AM_INIT_AUTOMAKE($PACKAGE, $VERSION)
 dnl Checks for programs.
 AC_PROG_CXX
 AC_PROG_CC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 ALC_CXX_PROBLEMATIC_OLD_VERSION
 AM_PROG_LEX
 AC_PROG_YACC
@@ -28,8 +28,6 @@ AC_PROG_MAKE_SET
 dnl Checks for libraries.
 dnl Check for -lm librarie.  These should always be present.
 AC_CHECK_LIB(m, exp)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/ocr/configure.in b/alliance/src/ocr/configure.in
index 7cc13c96..d20fcb42 100644
--- a/alliance/src/ocr/configure.in
+++ b/alliance/src/ocr/configure.in
@@ -19,14 +19,12 @@ AM_INIT_AUTOMAKE($PACKAGE, $VERSION)
 dnl Checks for programs.
 AC_PROG_CC
 AC_PROG_CXX
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for libraries.
 AM_ALLIANCE
 AC_CHECK_LIB(m, sqrt)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
diff --git a/alliance/src/pat/configure.in b/alliance/src/pat/configure.in
index 8f9f7046..66b8afb6 100644
--- a/alliance/src/pat/configure.in
+++ b/alliance/src/pat/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.3 2002/09/30 16:21:02 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:28 jpc Exp $
 dnl
 dnl
 AC_INIT(src/pat.h)
+PAT_DLL_VERSION=1:9:0
+AC_SUBST(PAT_DLL_VERSION)
 AM_INIT_AUTOMAKE(pat, 1.9)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AM_ALLIANCE
 
 AC_OUTPUT([
diff --git a/alliance/src/phl/configure.in b/alliance/src/phl/configure.in
index 7a45d6d5..affe04ea 100644
--- a/alliance/src/phl/configure.in
+++ b/alliance/src/phl/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:21:05 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:28 jpc Exp $
 dnl
 dnl
 AC_INIT(src/phl.h)
+PHL_DLL_VERSION=1:9:0
+AC_SUBST(PHL_DLL_VERSION)
 AM_INIT_AUTOMAKE(phl, 1.9)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AM_ALLIANCE
 
 AC_OUTPUT([
diff --git a/alliance/src/ppt/configure.in b/alliance/src/ppt/configure.in
index 036f70f7..cbee1c11 100644
--- a/alliance/src/ppt/configure.in
+++ b/alliance/src/ppt/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,10 +25,12 @@ 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.2 2002/09/30 16:21:05 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:28 jpc Exp $
 dnl
 dnl
 AC_INIT(src/ppt.h)
+PPT_DLL_VERSION=1:9:0
+AC_SUBST(PPT_DLL_VERSION)
 AM_INIT_AUTOMAKE(ppt, 1.9)
 AC_PROG_INSTALL
 AC_PROG_CC
@@ -37,7 +38,7 @@ AC_PROG_YACC
 AM_PROG_LEX
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/proof/configure.in b/alliance/src/proof/configure.in
index b9e4bdb5..a17ec23d 100644
--- a/alliance/src/proof/configure.in
+++ b/alliance/src/proof/configure.in
@@ -20,15 +20,13 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
 
 AC_CHECK_LIB(m, exp)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/rds/configure.in b/alliance/src/rds/configure.in
index b17560d6..96fb8107 100644
--- a/alliance/src/rds/configure.in
+++ b/alliance/src/rds/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,28 @@ 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.4 2002/09/30 16:21:07 czo Exp $
+dnl $Id: configure.in,v 1.5 2002/10/16 18:04:28 jpc Exp $
 dnl
 dnl
 AC_INIT(src/rds.h)
+RDS_DLL_VERSION=2:1:0
+RUT_DLL_VERSION=2:1:0
+RFM_DLL_VERSION=2:1:0
+RPR_DLL_VERSION=2:1:0
+RWI_DLL_VERSION=2:1:0
+RTL_DLL_VERSION=2:1:0
+AC_SUBST(RDS_DLL_VERSION)
+AC_SUBST(RUT_DLL_VERSION)
+AC_SUBST(RFM_DLL_VERSION)
+AC_SUBST(RPR_DLL_VERSION)
+AC_SUBST(RWI_DLL_VERSION)
+AC_SUBST(RTL_DLL_VERSION)
 AM_INIT_AUTOMAKE(rds, 2.1)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AM_ALLIANCE
 
 AC_OUTPUT([
diff --git a/alliance/src/rdscif/configure.in b/alliance/src/rdscif/configure.in
index 23fc065d..a9e2eee1 100644
--- a/alliance/src/rdscif/configure.in
+++ b/alliance/src/rdscif/configure.in
@@ -25,17 +25,19 @@ 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.3 2002/09/30 16:21:08 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:29 jpc Exp $
 dnl
 dnl
 
 AC_INIT(src/cif_drive.c)
+RCF_DLL_VERSION=2:1:0
+AC_SUBST(RCF_DLL_VERSION)
 AM_INIT_AUTOMAKE(rdscif, 2.1)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AM_ALLIANCE
 
 AC_OUTPUT([
diff --git a/alliance/src/rdsgds/configure.in b/alliance/src/rdsgds/configure.in
index 1794c833..5fe9822a 100644
--- a/alliance/src/rdsgds/configure.in
+++ b/alliance/src/rdsgds/configure.in
@@ -25,17 +25,19 @@ 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.3 2002/09/30 16:21:08 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:29 jpc Exp $
 dnl
 dnl
 
 AC_INIT(src/gds_swap.c)
+RGS_DLL_VERSION=2:1:0
+AC_SUBST(RGS_DLL_VERSION)
 AM_INIT_AUTOMAKE(rdsgds, 2.1)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AM_ALLIANCE
 
 AC_OUTPUT([
diff --git a/alliance/src/ring/configure.in b/alliance/src/ring/configure.in
index e6781adb..48dfcf72 100644
--- a/alliance/src/ring/configure.in
+++ b/alliance/src/ring/configure.in
@@ -20,13 +20,11 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/rtd/configure.in b/alliance/src/rtd/configure.in
index 3ef2b295..a3025a06 100644
--- a/alliance/src/rtd/configure.in
+++ b/alliance/src/rtd/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:21:10 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:29 jpc Exp $
 dnl
 dnl
 AC_INIT(src/rtd.h)
+RTD_DLL_VERSION=1:1:0
+AC_SUBST(RTD_DLL_VERSION)
 AM_INIT_AUTOMAKE(rtd, 1.1)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/rtn/configure.in b/alliance/src/rtn/configure.in
index ce72c27f..a4bcd3f9 100644
--- a/alliance/src/rtn/configure.in
+++ b/alliance/src/rtn/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:21:10 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:29 jpc Exp $
 dnl
 dnl
 AC_INIT(src/rtn.h)
+RTN_DLL_VERSION=1:1:0
+AC_SUBST(RTN_DLL_VERSION)
 AM_INIT_AUTOMAKE(rtn, 1.1)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/s2r/configure.in b/alliance/src/s2r/configure.in
index 0328056f..6f76ad42 100644
--- a/alliance/src/s2r/configure.in
+++ b/alliance/src/s2r/configure.in
@@ -18,14 +18,12 @@ AM_INIT_AUTOMAKE($PACKAGE, $VERSION)
 
 dnl Checks for programs.
 AC_PROG_CC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
 AC_CHECK_LIB(m, sqrt)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/scapin/configure.in b/alliance/src/scapin/configure.in
index 74d1afef..65722436 100644
--- a/alliance/src/scapin/configure.in
+++ b/alliance/src/scapin/configure.in
@@ -20,13 +20,11 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/scl/configure.in b/alliance/src/scl/configure.in
index 54cb3687..84ccbadf 100644
--- a/alliance/src/scl/configure.in
+++ b/alliance/src/scl/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:21:13 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:30 jpc Exp $
 dnl
 dnl
 AC_INIT(src/scl.h)
+SCL_DLL_VERSION=1:5:0
+AC_SUBST(SCL_DLL_VERSION)
 AM_INIT_AUTOMAKE(scl, 1.5)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/sea/configure.in b/alliance/src/sea/configure.in
index 0a628ce9..bf57096b 100644
--- a/alliance/src/sea/configure.in
+++ b/alliance/src/sea/configure.in
@@ -18,14 +18,12 @@ AM_INIT_AUTOMAKE($PACKAGE, $VERSION)
 
 dnl Checks for programs.
 AC_PROG_CC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AM_PROG_LEX
 AC_PROG_YACC
 AC_PROG_MAKE_SET
 
 AC_CHECK_LIB(m, pow)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
diff --git a/alliance/src/syf/configure.in b/alliance/src/syf/configure.in
index f5b44c29..7f1cec89 100644
--- a/alliance/src/syf/configure.in
+++ b/alliance/src/syf/configure.in
@@ -20,13 +20,11 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/vasy/configure.in b/alliance/src/vasy/configure.in
index 996b1ac1..23003cc7 100644
--- a/alliance/src/vasy/configure.in
+++ b/alliance/src/vasy/configure.in
@@ -20,13 +20,11 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 dnl Checks for typedefs, structures, and compiler characteristics.
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/vbh/configure.in b/alliance/src/vbh/configure.in
index 4109d764..03b53d0a 100644
--- a/alliance/src/vbh/configure.in
+++ b/alliance/src/vbh/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:21:27 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:31 jpc Exp $
 dnl
 dnl
 AC_INIT(src/vbh.h)
+VBH_DLL_VERSION=1:4:0
+AC_SUBST(VBH_DLL_VERSION)
 AM_INIT_AUTOMAKE(vbh, 1.4)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/vbl/configure.in b/alliance/src/vbl/configure.in
index 543c9742..fcf9596c 100644
--- a/alliance/src/vbl/configure.in
+++ b/alliance/src/vbl/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,10 +25,12 @@ 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.2 2002/09/30 16:21:28 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:31 jpc Exp $
 dnl
 dnl
 AC_INIT(src/vbl.h)
+VBL_DLL_VERSION=1:4:0
+AC_SUBST(VBL_DLL_VERSION)
 AM_INIT_AUTOMAKE(vbl, 1.4)
 AC_PROG_INSTALL
 AC_PROG_CC
@@ -37,7 +38,7 @@ AC_PROG_YACC
 AM_PROG_LEX
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/vex/configure.in b/alliance/src/vex/configure.in
index e9f41dca..29eb63e9 100644
--- a/alliance/src/vex/configure.in
+++ b/alliance/src/vex/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:21:29 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:31 jpc Exp $
 dnl
 dnl
 AC_INIT(src/vex.h)
+VEX_DLL_VERSION=1:3:0
+AC_SUBST(VEX_DLL_VERSION)
 AM_INIT_AUTOMAKE(vex, 1.3)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/vpd/configure.in b/alliance/src/vpd/configure.in
index 86a06b59..9b3e3d77 100644
--- a/alliance/src/vpd/configure.in
+++ b/alliance/src/vpd/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:21:31 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:31 jpc Exp $
 dnl
 dnl
 AC_INIT(src/vpd.h)
+VPD_DLL_VERSION=1:5:0
+AC_SUBST(VPD_DLL_VERSION)
 AM_INIT_AUTOMAKE(vpd, 1.5)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/vpn/configure.in b/alliance/src/vpn/configure.in
index a4edf309..cbeb2473 100644
--- a/alliance/src/vpn/configure.in
+++ b/alliance/src/vpn/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:21:32 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:32 jpc Exp $
 dnl
 dnl
 AC_INIT(src/vpn.h)
+VPN_DLL_VERSION=1:5:0
+AC_SUBST(VPN_DLL_VERSION)
 AM_INIT_AUTOMAKE(vpn, 1.5)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/vtl/configure.in b/alliance/src/vtl/configure.in
index b14cecf5..f979bb95 100644
--- a/alliance/src/vtl/configure.in
+++ b/alliance/src/vtl/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:21:33 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:32 jpc Exp $
 dnl
 dnl
 AC_INIT(src/vtl.h)
+VTL_DLL_VERSION=1:5:0
+AC_SUBST(VTL_DLL_VERSION)
 AM_INIT_AUTOMAKE(vtl, 1.5)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/vvh/configure.in b/alliance/src/vvh/configure.in
index 49bbc14c..0fcad2ef 100644
--- a/alliance/src/vvh/configure.in
+++ b/alliance/src/vvh/configure.in
@@ -1,5 +1,4 @@
 dnl
-/* 
 dnl This file is part of the Alliance CAD System
 dnl Copyright (C) Laboratoire LIP6 - Département ASIM
 dnl Universite Pierre et Marie Curie
@@ -26,16 +25,18 @@ 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.2 2002/09/30 16:21:34 czo Exp $
+dnl $Id: configure.in,v 1.3 2002/10/16 18:04:32 jpc Exp $
 dnl
 dnl
 AC_INIT(src/vvh.h)
+VVH_DLL_VERSION=1:5:0
+AC_SUBST(VVH_DLL_VERSION)
 AM_INIT_AUTOMAKE(vvh, 1.5)
 AC_PROG_INSTALL
 AC_PROG_CC
 AC_HEADER_STDC
 AC_C_CONST
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 
 AM_ALLIANCE
 
diff --git a/alliance/src/x2y/configure.in b/alliance/src/x2y/configure.in
index d082f5f7..101f4a46 100644
--- a/alliance/src/x2y/configure.in
+++ b/alliance/src/x2y/configure.in
@@ -1,4 +1,4 @@
-dnl $Id: configure.in,v 1.3 2002/10/02 15:43:02 czo Exp $
+dnl $Id: configure.in,v 1.4 2002/10/16 18:04:32 jpc Exp $
 
 AC_INIT(src/x2y.c)
 AM_INIT_AUTOMAKE(x2y, 1.4)
@@ -9,8 +9,6 @@ AC_PROG_CPP
 AC_PROG_MAKE_SET
 AC_HEADER_STDC
 AC_C_CONST
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 
diff --git a/alliance/src/xfsm/configure.in b/alliance/src/xfsm/configure.in
index 42e4d7a9..0d861462 100644
--- a/alliance/src/xfsm/configure.in
+++ b/alliance/src/xfsm/configure.in
@@ -20,12 +20,10 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 AC_CHECK_LIB(m, sqrt)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AC_CHECK_PROGS(SED, gsed sed)
 AC_PATH_XTRA
diff --git a/alliance/src/xpat/configure.in b/alliance/src/xpat/configure.in
index a7717a4f..7bb7433f 100644
--- a/alliance/src/xpat/configure.in
+++ b/alliance/src/xpat/configure.in
@@ -20,12 +20,10 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 AC_CHECK_LIB(m, sqrt)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AC_CHECK_PROGS(SED, gsed sed)
 AC_PATH_XTRA
diff --git a/alliance/src/xsch/configure.in b/alliance/src/xsch/configure.in
index e890b006..01581382 100644
--- a/alliance/src/xsch/configure.in
+++ b/alliance/src/xsch/configure.in
@@ -20,12 +20,10 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 AC_CHECK_LIB(m, sqrt)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AC_CHECK_PROGS(SED, gsed sed)
 AC_PATH_XTRA
diff --git a/alliance/src/xvpn/configure.in b/alliance/src/xvpn/configure.in
index 762e7e0f..10f3f0f1 100644
--- a/alliance/src/xvpn/configure.in
+++ b/alliance/src/xvpn/configure.in
@@ -20,12 +20,10 @@ dnl Checks for programs.
 AC_PROG_CC
 AM_PROG_LEX
 AC_PROG_YACC
-AC_PROG_RANLIB
+AM_PROG_LIBTOOL
 AC_PROG_MAKE_SET
 
 AC_CHECK_LIB(m, sqrt)
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AC_CHECK_PROGS(SED, gsed sed)
 AC_PATH_XTRA