Vaucanson 1.3.2 (September 22th, 2009)


The Vcsn library is free software. It is distributed under the conditions of the GNU General Public License (


Changes since version 1.3.1

This release contains minor adjustments to the build infrastructure, and a couple of bug fixes for TAF-Kit.

  • The build infrastructure has been updated to newer Autotools (Autoconf 1.64, Automake 1.11, Libtool 2.2.6). This simplified our test-suite, and speeded-up configure.
  • We removed the --with[out]-xerces and --with[out]-boost options from configure. These libraries are always needed, and if you have them installed in a non-standard location, you should specify CPPFLAGS and LDFLAGS as explained in the README file.
  • Makefiles are compatibles with BSD Make.
  • The demos of cbs/ are no longer built by default because some of them require profiling libraries which are not always installed.
  • Two bugs have been corrected in TAF-Kit:
    • the default VCSN_DATA_PATH is now correctly derived from the --prefix option passed to configure.
    • looking up automata from the automata library will now work even if TAF-Kit is called using an absolute path.

More detailed informations on updates are provided in the NEWS file of the package.


C++ compiler
G++ 4.x
The XML I/O system is based on the use of the Apache Xerces C++ library version 2.7+ ( (On Ubuntu/Debian, install the following packages: libxerces27 and libxerces27-dev, or libxerces-c28 and libxerces-c28-dev)
The display of automata is made using AT&T Graphviz library. (On Ubuntu/Debian, install the following package: graphviz)
Boost provides free peer-reviewed portable C++ source libraries. (On Ubuntu/Debian, install the following packages: libboost-dev, libboost-serialization-dev, libboost-graph, libboost-graph-dev)
needed for building the TAF-KIT. (On Ubuntu/Debian, install the following packages: libncurses5, libncurses-dev).

Known Problems

Vaucanson is known not to work properly with Apple's G++ 4.0.0 on Tiger. Actually, it seems that it is G++ 4.0.0 which is known not to work properly: other library face similar issues. We don't know how to solve the problem, avoid it by specifying another compiler. For instance

./configure CC=gcc-4.1 CXX=g++-4.1

-- Main.AlexandreDuretLutz - 22 Sep 2009