Commit 8a5eb14c authored by Jérôme Galtier's avatar Jérôme Galtier
Browse files

Merge branch 'master' into exp/interface

Conflicts:
	ChangeLog
	doc/manual/taf-kit-manual.tex
parents 6a8bfaba 825d53e0
......@@ -15,7 +15,7 @@ defs
stamp-h*
Makefile.in
Makefile
/libtool
libtool
/config.h
/config.hin
/configure
......
2009-09-30 Jrme Galtier <jerome.galtier@lrde.epita.fr>
Fix a typo in lrde-upload.sh.
* lrde-upload.sh: Replace why by while.
2009-09-22 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* configure.ac: Bump version to 1.3.2.
* doc/manual/taf-kit-manual.tex: Likewise.
2009-10-21 Jrme Galtier <jerome.galtier@lrde.epita.fr>
 
Fix the vcsn-lal-char-b TAF-Kit context.
......@@ -90,6 +101,96 @@
* cbs/lib/timer_gathering.cc,
* cbs/lib/timer_graph.cc: Header automatically updated.
 
2009-09-21 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* doc/NEWS.txt: Prepare for release 1.3.2.
2009-09-17 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* include/generate_headers.sh: Also erase context files directly
generated in vaucanson/include/vaucanson/, not only those in
vaucanson/include/vaucanson/contexts/.
2009-09-15 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Propagate configure arguments to distcheck.
* configure.ac (DISTCHECK_CONFIGURE_FLAGS): Substitute it from
here, and include $ac_configure_args.
* Makefile.am (DISTCHECK_CONFIGURE_FLAGS): Remove.
2009-09-15 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* doc/README.txt: Update instructions for building with Boost
and Xerces in a non-standard directory. Move the "Requirements"
section before these instructions.
2009-09-15 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Eradicate empty variables tied to --with options.
* Makefile.am (DISTCHECK_CONFIGURE_FLAGS): Remove
MORE_DISTCHECK_CONFIGURE_FLAGS.
* vaucanson.mk (AM_CPPFLAGS): Remove BOOST_FLAGS.
(AM_LDFLAGS): Remove.
* taf-kit/src/Makefile.am (AM_LDFLAGS): Set with =, not +=.
2009-09-15 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Remove --with-xerces.
* build-aux/vcsn-xml.m4: Rewrite using a more recent syntax, and
without using --with. People will set CPPFLAGS and LDFLAGS if
they have an unusual Boost installation root. Take the minimum
version as argument.
* configure.ac: Adjust call to VCSN_XML, and remove the definition
of MORE_DISTCHECK_CONFIGURE_FLAGS.
2009-09-15 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Do not use AX_BOOST_BASE.
* build-aux/ax_boost_base.m4: Delete.
* build-aux/Makefile.am (dist_m4data_DATA): Remove
ax_boost_base.m4.
* build-aux/vcsn-boost.m4: New file.
* configure.ac: Use VCSN_BOOST instead of AX_BOOST_BASE. The
latter did too much and we want people to simply set CPPFLAGS
and LDFLAGS if they have an unusual Boost installation root.
2009-09-16 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* include/generate_headers.sh: Use the full name to erase a file.
2009-09-16 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* include/generate_headers.sh: Remove stray context files.
2009-09-15 Alexandre Duret-Lutz <adl@lrde.epita.fr>
More make portability for FreeBSD.
* data/automata/char-z/Makefile.am (b1.xml): Do not use $< in a
non-suffix rules.
2009-09-04 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fix run-time computation of automata path.
* taf-kit/src/library_commands.hh (get_automata_path): Search for
vcsn- in program_name, do not assume it is at the beginning. This
was causing trouble when Taf-Kit was run as './vcsn-char-b' for
instance, because it would then remove the first five characters
and look for a directory named '/n-char-b'.
2009-09-04 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fix configure-time computation of VCSN_DATA_PATH.
* configure.ac (VCSN_DATA_PATH): Fix underquoted code in $prefix
computation. This was causing the wrong value of VCSN_DATA_PATH
to be defined on my test installation on FreeBSD.
2009-09-14 d-halluin <d-halluin@lrde.epita.fr>
 
Update benchmark documentation.
......@@ -414,6 +515,40 @@
* include/vaucanson/automata/concept/kinds.hh: Correct macro block
indentation.
 
2009-09-08 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* bootstrap: force Automake-1.11 if available.
2009-09-03 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* doc/Makefile.am (.txt.tex, .tex.pdf): Rewrite as a single
.txt.pdf rule, to please BSD Make.
* doc/manual/Makefile.am (%.pdf: %.tex): Rewrite as a portable
.tex.pdf rule.
2009-09-03 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* doc/unit-compile.mk: Delete this unused Makefile that uses
unportable %-rules.
* doc/Makefile.am (dist_doc_DATA): Remove.
2009-09-01 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Switch to Libtool 2.2, which is more that one year old now.
* configure.ac: Use LT_INIT instead of AC_PROG_LIBTOOL.
2009-09-01 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Let Automake 11.1 handle parallel and color tests.
* configure.ac: Require Automake 1.11 and use the new
color-tests and parallel-tests options.
* build-aux/check.mk: Delete.
* src/tests/check/check.mk, src/tests/xml/Makefile.am,
taf-kit/tests/Makefile.am: Do not include build-aux/check.mk
anymore.
2009-07-08 Alex Hamelin <hamelin@lrde.epita.fr>
 
* configure.ac: Bump version to 1.3.1a.
......@@ -422,7 +557,7 @@
2009-07-08 Alex Hamelin <hamelin@lrde.epita.fr>
 
Release 1.3.1.
* doc/README.txt: Add information about CBS, Remove
information about VaucanSWIG.
* doc/NEWS.txt: Update for 1.3.1.
......
......@@ -22,9 +22,6 @@ SUBDIRS = gnulib cbs lib include src data $(MAYBE_TAF_KIT) \
EXTRA_DIST = vaucanson.spec ChangeLog.1 ChangeLog.2 README NEWS m4/gnulib-cache.m4
DISTCHECK_CONFIGURE_FLAGS = --enable-demos --enable-bench \
$(MORE_DISTCHECK_CONFIGURE_FLAGS)
# Prevent accidental edition of generated files.
$(srcdir)/README: $(srcdir)/doc/README.txt
rm -f $(srcdir)/README
......
......@@ -19,10 +19,11 @@ stderr ()
echo >&2 "$0: $@"
}
# Debian ships both 1.9.6 and 1.10 but defaults to 1.9.6...
automake-1.10 --version >/dev/null 2>/dev/null \
&& export AUTOMAKE=automake-1.10 \
&& export ACLOCAL=aclocal-1.10
# Debian ships many versions of Automake and does not always default
# to the latest.
automake-1.11 --version >/dev/null 2>/dev/null \
&& export AUTOMAKE=automake-1.11 \
&& export ACLOCAL=aclocal-1.11
# run DIRECTORY COMMAND-LINE
# --------------------------
......
......@@ -7,3 +7,5 @@
/missing
/py-compile
/tests.m4
/libtool.m4
/lt*.m4
......@@ -16,7 +16,7 @@
###
m4datadir = $(datadir)/aclocal
dist_m4data_DATA = vcsn.m4 vcsn-xml.m4 ax_boost_base.m4
dist_m4data_DATA = vcsn.m4 vcsn-xml.m4
EXTRA_DIST = \
find_tests.sh \
......
# ===========================================================================
# http://autoconf-archive.cryp.to/ax_boost_base.html
# ===========================================================================
#
# SYNOPSIS
#
# AX_BOOST_BASE([MINIMUM-VERSION])
#
# DESCRIPTION
#
# Test for the Boost C++ libraries of a particular version (or newer)
#
# If no path to the installed boost library is given the macro searchs
# under /usr, /usr/local, /opt and /opt/local and evaluates the
# $BOOST_ROOT environment variable. Further documentation is available at
# <http://randspringer.de/boost/index.html>.
#
# This macro calls:
#
# AC_SUBST(BOOST_CPPFLAGS) / AC_SUBST(BOOST_LDFLAGS)
#
# And sets:
#
# HAVE_BOOST
#
# LAST MODIFICATION
#
# 2008-04-12
#
# COPYLEFT
#
# Copyright (c) 2008 Thomas Porschberg <thomas@randspringer.de>
#
# Copying and distribution of this file, with or without modification, are
# permitted in any medium without royalty provided the copyright notice
# and this notice are preserved.
AC_DEFUN([AX_BOOST_BASE],
[
AC_ARG_WITH([boost],
AS_HELP_STRING([--with-boost@<:@=DIR@:>@], [use boost (default is yes) - it is possible to specify the root directory for boost (optional)]),
[
if test "$withval" = "no"; then
want_boost="no"
elif test "$withval" = "yes"; then
want_boost="yes"
ac_boost_path=""
else
want_boost="yes"
ac_boost_path="$withval"
fi
],
[want_boost="yes"])
AC_ARG_WITH([boost-libdir],
AS_HELP_STRING([--with-boost-libdir=LIB_DIR],
[Force given directory for boost libraries. Note that this will overwrite library path detection, so use this parameter only if default library detection fails and you know exactly where your boost libraries are located.]),
[
if test -d $withval
then
ac_boost_lib_path="$withval"
else
AC_MSG_ERROR(--with-boost-libdir expected directory name)
fi
],
[ac_boost_lib_path=""]
)
if test "x$want_boost" = "xyes"; then
boost_lib_version_req=ifelse([$1], ,1.20.0,$1)
boost_lib_version_req_shorten=`expr $boost_lib_version_req : '\([[0-9]]*\.[[0-9]]*\)'`
boost_lib_version_req_major=`expr $boost_lib_version_req : '\([[0-9]]*\)'`
boost_lib_version_req_minor=`expr $boost_lib_version_req : '[[0-9]]*\.\([[0-9]]*\)'`
boost_lib_version_req_sub_minor=`expr $boost_lib_version_req : '[[0-9]]*\.[[0-9]]*\.\([[0-9]]*\)'`
if test "x$boost_lib_version_req_sub_minor" = "x" ; then
boost_lib_version_req_sub_minor="0"
fi
WANT_BOOST_VERSION=`expr $boost_lib_version_req_major \* 100000 \+ $boost_lib_version_req_minor \* 100 \+ $boost_lib_version_req_sub_minor`
AC_MSG_CHECKING(for boostlib >= $boost_lib_version_req)
succeeded=no
dnl first we check the system location for boost libraries
dnl this location ist chosen if boost libraries are installed with the --layout=system option
dnl or if you install boost with RPM
if test "$ac_boost_path" != ""; then
BOOST_LDFLAGS="-L$ac_boost_path/lib"
BOOST_CPPFLAGS="-I$ac_boost_path/include"
else
for ac_boost_path_tmp in /usr /usr/local /opt /opt/local ; do
if test -d "$ac_boost_path_tmp/include/boost" && test -r "$ac_boost_path_tmp/include/boost"; then
BOOST_LDFLAGS="-L$ac_boost_path_tmp/lib"
BOOST_CPPFLAGS="-I$ac_boost_path_tmp/include"
break;
fi
done
fi
dnl overwrite ld flags if we have required special directory with
dnl --with-boost-libdir parameter
if test "$ac_boost_lib_path" != ""; then
BOOST_LDFLAGS="-L$ac_boost_lib_path"
fi
CPPFLAGS_SAVED="$CPPFLAGS"
CPPFLAGS="$CPPFLAGS $BOOST_CPPFLAGS"
LDFLAGS_SAVED="$LDFLAGS"
LDFLAGS="$LDFLAGS $BOOST_LDFLAGS"
AC_LANG_PUSH(C++)
AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
@%:@include <boost/version.hpp>
]], [[
#if BOOST_VERSION >= $WANT_BOOST_VERSION
// Everything is okay
#else
# error Boost version is too old
#endif
]])],[
AC_MSG_RESULT(yes)
succeeded=yes
found_system=yes
],[
])
AC_LANG_POP([C++])
dnl if we found no boost with system layout we search for boost libraries
dnl built and installed without the --layout=system option or for a staged(not installed) version
if test "x$succeeded" != "xyes"; then
_version=0
if test "$ac_boost_path" != ""; then
if test -d "$ac_boost_path" && test -r "$ac_boost_path"; then
for i in `ls -d $ac_boost_path/include/boost-* 2>/dev/null`; do
_version_tmp=`echo $i | sed "s#$ac_boost_path##" | sed 's/\/include\/boost-//' | sed 's/_/./'`
V_CHECK=`expr $_version_tmp \> $_version`
if test "$V_CHECK" = "1" ; then
_version=$_version_tmp
fi
VERSION_UNDERSCORE=`echo $_version | sed 's/\./_/'`
BOOST_CPPFLAGS="-I$ac_boost_path/include/boost-$VERSION_UNDERSCORE"
done
fi
else
for ac_boost_path in /usr /usr/local /opt /opt/local ; do
if test -d "$ac_boost_path" && test -r "$ac_boost_path"; then
for i in `ls -d $ac_boost_path/include/boost-* 2>/dev/null`; do
_version_tmp=`echo $i | sed "s#$ac_boost_path##" | sed 's/\/include\/boost-//' | sed 's/_/./'`
V_CHECK=`expr $_version_tmp \> $_version`
if test "$V_CHECK" = "1" ; then
_version=$_version_tmp
best_path=$ac_boost_path
fi
done
fi
done
VERSION_UNDERSCORE=`echo $_version | sed 's/\./_/'`
BOOST_CPPFLAGS="-I$best_path/include/boost-$VERSION_UNDERSCORE"
if test "$ac_boost_lib_path" = ""
then
BOOST_LDFLAGS="-L$best_path/lib"
fi
if test "x$BOOST_ROOT" != "x"; then
if test -d "$BOOST_ROOT" && test -r "$BOOST_ROOT" && test -d "$BOOST_ROOT/stage/lib" && test -r "$BOOST_ROOT/stage/lib"; then
version_dir=`expr //$BOOST_ROOT : '.*/\(.*\)'`
stage_version=`echo $version_dir | sed 's/boost_//' | sed 's/_/./g'`
stage_version_shorten=`expr $stage_version : '\([[0-9]]*\.[[0-9]]*\)'`
V_CHECK=`expr $stage_version_shorten \>\= $_version`
if test "$V_CHECK" = "1" -a "$ac_boost_lib_path" = "" ; then
AC_MSG_NOTICE(We will use a staged boost library from $BOOST_ROOT)
BOOST_CPPFLAGS="-I$BOOST_ROOT"
BOOST_LDFLAGS="-L$BOOST_ROOT/stage/lib"
fi
fi
fi
fi
CPPFLAGS="$CPPFLAGS $BOOST_CPPFLAGS"
LDFLAGS="$LDFLAGS $BOOST_LDFLAGS"
AC_LANG_PUSH(C++)
AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
@%:@include <boost/version.hpp>
]], [[
#if BOOST_VERSION >= $WANT_BOOST_VERSION
// Everything is okay
#else
# error Boost version is too old
#endif
]])],[
AC_MSG_RESULT(yes)
succeeded=yes
found_system=yes
],[
])
AC_LANG_POP([C++])
fi
if test "$succeeded" != "yes" ; then
if test "$_version" = "0" ; then
AC_MSG_ERROR([[We could not detect the boost libraries (version $boost_lib_version_req_shorten or higher). If you have a staged boost library (still not installed) please specify \$BOOST_ROOT in your environment and do not give a PATH to --with-boost option. If you are sure you have boost installed, then check your version number looking in <boost/version.hpp>. See http://randspringer.de/boost for more documentation.]])
else
AC_MSG_NOTICE([Your boost libraries seems to old (version $_version).])
fi
else
AC_SUBST(BOOST_CPPFLAGS)
AC_SUBST(BOOST_LDFLAGS)
AC_DEFINE(HAVE_BOOST,,[define if the Boost library is available])
fi
CPPFLAGS="$CPPFLAGS_SAVED"
LDFLAGS="$LDFLAGS_SAVED"
fi
])
## Vaucanson, a generic library for finite state machines.
## Copyright (C) 2006, 2007 The Vaucanson Group.
##
## This program is free software; you can redistribute it and/or
## modify it under the terms of the GNU General Public License
## as published by the Free Software Foundation; either version 2
## of the License, or (at your option) any later version.
##
## The complete GNU General Public Licence Notice can be found as the
## `COPYING' file in the root directory.
##
## The Vaucanson Group consists of people listed in the `AUTHORS' file.
## Override the definition from Automake to generate a log file with
## failed tests. It also supports parallel make checks.
##
## This file provides special support for "unit tests", that is to
## say, tests that (once run) no longer need to be re-compiled and
## re-run at each "make check", unless their sources changed. To
## enable unit-test supports, define LAZY_TEST_SUITE. In such a
## setting, that heavily relies on correct dependencies, its users may
## prefer to define EXTRA_PROGRAMS instead of check_PROGRAMS, because
## it allows intertwined compilation and execution of the tests.
## Sometimes this helps catching errors earlier (you don't have to
## wait for all the tests to be compiled).
##
## Define TEST_SUITE_LOG to be the name of the global log to create.
## Define TEST_LOGS to the set of logs to include in it. It defaults
## to $(TESTS:.test=.log).
## We use GNU Make extensions (%-rules), and override check-TESTS.
AUTOMAKE_OPTIONS = -Wno-portability -Wno-override
# Restructured Text title and section.
am__rst_title = sed 's/.*/ & /;h;s/./=/g;p;x;p;g;p;s/.*//'
am__rst_section = sed 'p;s/./=/g;p;g'
# Put stdin (possibly several lines separated by ". ") in a box.
am__text_box = $(AWK) '{gsub ("\\. ", "\n"); print $$0; }' | \
$(AWK) ' \
max < length($$0) { \
final= final (final ? "\n" : "") " " $$0; \
max = length($$0); \
} \
END { \
for (i = 0; i < max + 2 ; ++i) \
line = line "="; \
print line; \
print final; \
print line; \
}'
# If stdout is a tty, use colors. If test -t is not supported, then
# this fails; a conservative approach. Of course do not redirect
# stdout here, just stderr...
am__tty_colors = \
if test -t 1 2>/dev/null; then \
red=''; \
grn=''; \
blu=''; \
std=''; \
fi
# To be inserted before the command running the test. Stores in $dir
# the directory containing $<, and passes the TEST_ENVIRONMENT.
am__check_pre = \
if test -f ./$<; then dir=./; \
elif test -f $<; then dir=; \
else dir="$(srcdir)/"; fi; \
$(TESTS_ENVIRONMENT)
# To be appended to the command running the test. Handles the stdout
# and stderr redirection, and catch the exit status.
am__check_post = \
>$@-t 2>&1; \
estatus=$$?; \
$(am__tty_colors); \
case $$estatus:" $(XFAIL_TESTS) " in \
0:*" $$(basename $<) "*) col=$$red; res=XPASS;; \
0:*) col=$$grn; res=PASS ;; \
77:*) col=$$blu; res=SKIP ;; \
*:*" $$(basename $<) "*) col=$$grn; res=XFAIL;; \
*:*) col=$$red; res=FAIL ;; \
esac; \
echo "$${col}$$res$${std}: $$(basename $<)"; \
echo "$$res: $$(basename $<) (exit: $$estatus)" | \
$(am__rst_section) >$@; \
cat $@-t >>$@; \
rm $@-t
# From a test file to a log file.
# Do not use a regular `.test.log:' rule here, since in that case the
# following rule (without incoming extension) will mask this one.
%.log: %.test
@$(am__check_pre) $${dir}$< $(am__check_post)
# The exact same commands, but for programs.
%.log: %$(EXEEXT)
@$(am__check_pre) $${dir}$< $(am__check_post)
TEST_LOGS ?= $(TESTS:.test=.log)
TEST_SUITE_LOG = test-suite.log
$(TEST_SUITE_LOG): $(TEST_LOGS)
@results=$$(for f in $(TEST_LOGS); do sed 1q $$f; done); \
all=$$(echo "$$results" | wc -l | sed -e 's/^[ \t]*//'); \
fail=$$(echo "$$results" | grep -c '^FAIL'); \
pass=$$(echo "$$results" | grep -c '^PASS'); \
skip=$$(echo "$$results" | grep -c '^SKIP'); \
xfail=$$(echo "$$results" | grep -c '^XFAIL'); \
xpass=$$(echo "$$results" | grep -c '^XPASS'); \
case fail=$$fail:xfail=$$xfail:xpass=$$xpass in \
fail=0:xfail=0:xpass=*) \
msg="All $$all tests passed. ";; \
fail=0:xfail=*:xpass=*) \
msg="All $$all tests behaved as expected"; \
msg="$$msg ($$xfail expected failures). ";; \
fail=*:xfail=*:xpass=0) \
msg="$$fail of $$all tests failed. ";; \
fail=*:xfail=*:xpass=*) \
msg="$$fail of $$all tests did not behave as expected"; \
msg="$$msg ($$xpass unexpected passes). ";; \
*) \
echo >&2 "incorrect case"; exit 4;; \
esac; \
if test "$$skip" -ne 0; then \
msg="$$msg($$skip tests were not run). "; \
fi; \
if test "$$fail" -ne 0; then \
{ \
echo "$(PACKAGE_STRING): $(subdir)/$(TEST_SUITE_LOG)" | \
$(am__rst_title); \
echo "$$msg"; \
echo; \
echo ".. contents:: :depth: 2"; \
echo; \
for f in $(TEST_LOGS); \
do \
case $$(sed 1q $$f) in \
SKIP:*|PASS:*|XFAIL:*);; \
*) echo; cat $$f;; \
esac; \
done; \
} >$(TEST_SUITE_LOG).tmp; \
mv $(TEST_SUITE_LOG).tmp $(TEST_SUITE_LOG); \
msg="$${msg}See $(subdir)/$(TEST_SUITE_LOG). "; \
if test -n "$(PACKAGE_BUGREPORT)"; then \
msg="$${msg}Please report it to $(PACKAGE_BUGREPORT). "; \
fi; \
fi; \
$(am__tty_colors); \
if test "$$fail" -eq 0; then echo $$grn; else echo $$red; fi; \
echo "$$msg" | $(am__text_box); \
echo $$std; \
if test x"$$VERBOSE" != x && test "$$fail" -ne 0; then \
cat $(TEST_SUITE_LOG); \
fi; \
test "$$fail" -eq 0
# Run all the tests.
check-TESTS:
@if test -z '$(LAZY_TEST_SUITE)'; then \
rm -f $(TEST_SUITE_LOG) $(TEST_LOGS); \
fi
@$(MAKE) $(TEST_SUITE_LOG)
## -------------- ##
## Produce HTML. ##
## -------------- ##
TEST_SUITE_HTML = $(TEST_SUITE_LOG:.log=.html)
%.html: %.log
@for r2h in $(RST2HTML) $$RST2HTML rst2html rst2html.py; \
do \
if ($$r2h --version) >/dev/null 2>&1; then \
R2H=$$r2h; \
fi; \
done; \
if test -z "$$R2H"; then \
echo >&2 "cannot find rst2html, cannot create $@"; \
exit 2; \
fi; \
$$R2H $< >$@.tmp
mv $@.tmp $@
# Be sure to run check-TESTS first, and then to convert the result.
# Beware of concurrent executions. And expect check-TESTS to fail.
check-html:
@if $(MAKE) $(AM_MAKEFLAGS) check-TESTS; then :; else \
rv=$?; \
$(MAKE) $(AM_MAKEFLAGS) $(TEST_SUITE_HTML); \
exit $$rv; \
fi
.PHONY: check-html
## ------- ##
## Clean. ##
## ------- ##
check-clean: check-clean-local
rm -f $(CHECK_CLEANFILES) $(TEST_SUITE_LOG) $(TEST_SUITE_HTML) $(TEST_LOGS)
.PHONY: check-clean check-clean-local
clean-local: check-clean
AC_DEFUN([VCSN_BOOST],