Vaucanson 1.3.9 (July 8th, 2011)

From LRDE

Revision as of 17:38, 6 November 2014 by Bot (talk | contribs) (Fix vcsn urls)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.



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

Downloads


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

-- Main.DavidMoreira - 8 Jul 2011