* ./alliance.m4 :

- Reorganisation de la facon dont les chemins d'acces aux librairies
       aux includes Alliance sont founis aux configure.in/Makefile.am.
       Jusqu'a present ils etaient fournis par l'intermediaires des
       variables ALLIANCE_CFLAGS et ALLIANCE_LIBS qui etaient ensuite
       substituees dans les Makefile.in par configure. De plus il
       fallait explicitement les ajouter dans AM_CFLAGS et _LDADD
       (Makefile.am). On avait donc le parcourt suivant :

               alliance.m4 : ALLIANCE_INCLUDE + AC_SUBST
               Makefile.am : AM_CFLAGS

         Maintenant, dans le alliance.m4, ALLIANCE_INCLUDE est ajoute a
       CFLAGS et ALLIANCE_LIB a LDFLAGS. De cette facon, tous les
       programmes auront ces chemins systematiquement positionnes par
       defaut (les @ALLIANCE_INCLUDE@ et @ALLIANCE_LIB@ disparaissent
       des Makefile.am)
   - Nouveaux switchs pour configure : --enable-devel et
       --enable-alc-shared. Comme ils sont ajoutes dans le alliance.m4,
       ils seront present automatiquement dans les configures des
       outils sans que les configure.in de ceux ci aie a etre
       modifies.
   - Utilisation des libraries locales de l'utilisateur : un nouveau
       switch a ete ajoute a configure (toujours avec une macro dans
       alliance.m4) : --enable-devel.
         Quant il est present, il intercale dans CFLAGS et LDFLAGS les
       chemins d'acces aux librairies developpees localement par
       l'utilisateur. Exemple typique : utiliser une version locale
       de MBK.
   - Activation des libraries dynamiques : switch --enable-alc-shared
       de configure. Si ce switch est present, le makefile tentera
       d'utiliser les versions dynamiques des librairies. Par defaut
       ce sont les versions statiques qui seront utilisees (comme
       auparavant).
   - Generation de librairies dynamiques : AC_PROG_LIBTOOL est inclu
       automatiquement par alliance.m4, il n'est donc pas necessaire
       de le remettre dans le configure.in des outils (mais ce ne
       genera pas). En revanche, il faut supprimmer la macro
       AC_PROG_RANLIB.

 * mbk/src/Makefile.am :
   - Passage en librairies dynamiques.

 * attila/src/attila.sh,
   attila/doc/man_attila.sgm :
   - Changement de syntaxe de la ligne de commande. On peut maintenant
       passer n'importe quels arguments a configure et a make par
       le biais de "-c-" et "-m".

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
 

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
 

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
 

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
 

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"
@@ -52,6 +49,50 @@ 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")
-
 ])

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
 

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 
 

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
 

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
 

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
 

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
 

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

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
 

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
 

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
 

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
 ])

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
 

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
 

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

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
 

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
 

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

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
 

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

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
 

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
 

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
 

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
 

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
 

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
+AM_PROG_LIBTOOL
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 

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
 

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

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

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

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
 

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
 

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
 

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

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
 

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

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
+AM_PROG_LIBTOOL
-AC_CHECK_LIB(gen, basename)
-AC_CHECK_LIB(iberty, basename)
 
 AM_ALLIANCE
 

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
 

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
 

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
 

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
 

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
 

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

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([

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([

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
 

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
 

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([

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([

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([

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
 

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
 

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
 

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
 

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
 

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
 

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

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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

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

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

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