-
Alexandre Duret-Lutz authored
to decide whether exceptions should be used in preconditions. This fixes errors in taf-kit's test-suite when compiled with GCC 4.4. The code was making the bogus assumption that the inline function trap() was not inlined in the context libraries (compiled without exceptions) and could therefore be overwritten as a weak symbol in TAF-Kit (to use exceptions). * include/vaucanson/misc/contract.hh (vcsn::misc::contract::trap): Leave only a declaration and move the definition... * src/misc/contract.cc: ... in this new file. * lib/src/libcommon.mk: Adjust for contract.cc and build two libraries: libvcsn-common.la (with abort()) and libvcsn-common-ex.la (with exceptions). * data/automata/char-b/Makefile.am, data/automata/char-fmp-b/Makefile.am, data/automata/char-z/Makefile.am, taf-kit/src/Makefile.am, vaucanswig/meta/Makefile.am, src/tests/sanity/Makefile.am, src/tests/xml/Makefile.am: Link with libvcsn-common.la or libvcsn-common-ex.la. * taf-ki...
4ddbd80e