* configure.ac: Switch from Libtool 1.5.x to Libtool 2.x, and

add an AC_CONFIG_MACRO_DIR call.
* m4/libtool.m4, tools/ltmain.sh: Remove.

ChangeLog

@@ -1,3 +1,9 @@
+2009-08-28  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* configure.ac: Switch from Libtool 1.5.x to Libtool 2.x, and
+	add an AC_CONFIG_MACRO_DIR call.
+	* m4/libtool.m4, tools/ltmain.sh: Remove.
+
 2009-07-30  Felix Abecassis <abecassis@lrde.epita.fr>
 
 	Add TGBA union implementation.
@@ -13,7 +19,7 @@
 2009-07-08  Guillaume Sadegh  <sadegh@lrde.epita.fr>
 
 	* src/tgba/tgbacomplement.cc: Stay on 80 columns.
-	
+
 2009-07-08  Félix Abecassis <abecassis@lrde.epita.fr>
 
 	Add 2 benchmarks directories.

HACKING

@@ -11,6 +11,7 @@ generally if you plan to regenerate some of the generated files.
 
   GNU Autoconf >= 2.61
   GNU Automake >= 1.10
+  GNU Libtool >= 2.2
   GNU Flex (the version seems to matters, we used 2.5.31)
   GNU Bison >= 2.4
   SWIG >= 1.3.31
@@ -18,7 +19,7 @@ generally if you plan to regenerate some of the generated files.
 
 Bootstrap the CVS tree by running
 
-  autoreconf -vi
+  autoreconf -vfi
 
 and then go on with the usual
 
@@ -26,18 +27,6 @@ and then go on with the usual
   make
 
 
-We also use
-
-  GNU Libtool >= 1.4
-
-however since many distributions modify their version, some
-(e.g. Debian) in a way that break Spot, we have our own copy of
-ltmain.sh and libtool.m4 in the CVS repository of Spot.  That means
-you do not need an installed copy of Libtool.  If you want to
-overwrite these files with those from your copy of Libtool, use
-`autoreconf -vfi' instead of `autoreconf -vi'.
-
-
 Coding conventions:
 ===================
 

configure.ac

@@ -22,6 +22,7 @@
 AC_PREREQ([2.61])
 AC_INIT([spot], [0.4a])
 AC_CONFIG_AUX_DIR([tools])
+AC_CONFIG_MACRO_DIR([m4])
 AM_INIT_AUTOMAKE([1.10 gnits nostdinc tar-ustar])
 
 # If the user didn't supplied a CFLAGS value,
@@ -48,8 +49,7 @@ AX_BOOST_BASE([1.34])
 
 AC_CHECK_FUNCS([srand48 drand48])
 
-AC_LIBTOOL_WIN32_DLL
-AC_PROG_LIBTOOL
+LT_INIT([win32-dll])
 
 spot_INTEL
 CF_GXX_WARNINGS