Difference between revisions of "Vcsn/Vaucanson132"

From LRDE

(Rename Vaucanson namespace into Vcsn)
 
(Fix vcsn urls)
 
Line 3: Line 3:
 
__NOTOC__
 
__NOTOC__
   
The [[Vaucanson]] library is free software. It is distributed under the
+
The [[Vcsn]] library is free software. It is distributed under the
 
conditions of the GNU General Public License
 
conditions of the GNU General Public License
 
([http://www.gnu.org/licenses/gpl.html www.gnu.org]).
 
([http://www.gnu.org/licenses/gpl.html www.gnu.org]).

Latest revision as of 16:38, 6 November 2014



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

Downloads

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

-- Main.AlexandreDuretLutz - 22 Sep 2009