Vaucanson 1.3.2 (September 22th, 2009)
The
Vaucanson library is free software. It is distributed under the
conditions of the GNU General Public License
(
www.gnu.org).
Downloads
- Tarballs (sources to compile):
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.
Requirements
- C++ compiler
- G++ 4.x
- XML
- The XML I/O system is based on the use of the Apache Xerces
C++ library version 2.7+ (http://xml.apache.org/xerces-c/).
(On Ubuntu/Debian, install the following packages: libxerces27 and libxerces27-dev, or libxerces-c28 and libxerces-c28-dev)
- Graphviz
- The display of automata is made using AT&T Graphviz library.
(On Ubuntu/Debian, install the following package: graphviz)
- Boost
- 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)
- Ncurses
- 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
--
AlexandreDuretLutz - 22 Sep 2009
to top