Commit f133d616 authored by Florent D'Halluin's avatar Florent D'Halluin
Browse files

Merge master into yavgui.

(too many files to list)
parents ec2d8163 943df235
*.in
*.o
*.lo
*.la
*.a
*.pdf
*.t2d
*.elc
*.log
*.status
*~
.deps
.libs
autom4te.cache
defs
stamp-h*
Makefile
/libtool
/config.h
/config.hin
/configure
/aclocal.m4
NEWS
README
......@@ -8,7 +8,7 @@ Permanent staff
- Project manager,
- Theoritical mentor.
* Sylvain Lombardy lombardy@liafa.jussieu.fr
* Sylvain Lombardy sylvain.lombardy@univ-paris-est.fr
- Project manager,
- Implementation of crucial algorithms.
......@@ -133,6 +133,7 @@ Year 2009 students
* Vivien Delmon vivien.delmon@lrde.epita.fr
- eps_removal algorithm,
- Rational expression parser,
- Bug fixes.
* Florian Lesaint florian.lesaint@lrde.epita.fr
......@@ -144,6 +145,7 @@ Year 2009 students
- BMIG Graph data structures,
- Performances in Vaucanson,
- Lib VCSN,
- Delta iterator,
- Bug fixes.
......@@ -156,4 +158,21 @@ Year 2010 students
- Bug fixes.
* Jerome Galtier jerome.galtier@lrde.epita.fr
- rw_composition,
- one rule rewriting,
- Bug fixes.
===================
Year 2011 strudents
===================
* Alex Hamelin hamelin@lrde.epita.fr
* Maurice Audin audin@lrde.epita.fr
============
2008 Visitor
============
* Reuben Thomas rrt@sc3d.org
This diff is collapsed.
## Vaucanson, a generic library for finite state machines.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 The Vaucanson Group.
## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 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
......@@ -19,16 +19,13 @@ endif
if ENABLE_TAF_KIT
MAYBE_TAF_KIT = taf-kit
endif
if ENABLE_VAUCANSWIG
MAYBE_VAUCANSWIG = vaucanswig
endif
SUBDIRS = argp lib include src data $(MAYBE_TAF_KIT) $(MAYBE_VAUCANSWIG) \
$(MAYBE_YAVGUI) tools doc build-aux debian
SUBDIRS = gnulib cbs lib include src data $(MAYBE_TAF_KIT) \
tools doc build-aux debian $(MAYBE_YAVGUI)
EXTRA_DIST = vaucanson.spec ChangeLog.1 ChangeLog.2 README NEWS
EXTRA_DIST = vaucanson.spec ChangeLog.1 ChangeLog.2 README NEWS m4/gnulib-cache.m4
DISTCHECK_CONFIGURE_FLAGS = --enable-demos --enable-vaucanswig \
DISTCHECK_CONFIGURE_FLAGS = --enable-demos --enable-bench \
$(MORE_DISTCHECK_CONFIGURE_FLAGS)
# Prevent accidental edition of generated files.
......@@ -50,7 +47,13 @@ BUILT_SOURCES = include/vaucanson/config/pconf.hh
### Autoconf needs additional macros.
### Tell it where to find them.
###
ACLOCAL_AMFLAGS = -I build-aux
ACLOCAL_AMFLAGS = -I build-aux -I m4
# Even if find_tests.sh says tests.m4 needs not be updated, we want it
# to be newer than find_tests.sh.
$(top_srcdir)/build-aux/tests.m4: $(top_srcdir)/build-aux/find_tests.sh
cd $(top_srcdir) && build-aux/find_tests.sh
touch $@
###
### Making the demos. (. is builddir)
......@@ -59,10 +62,10 @@ demos:
cd src/demos && $(MAKE) $(AM_MAKEFLAGS) all
###
### For benchs. (. is builddir)
### For benchmarks. (. is builddir)
###
benchs:
cd src/benchs && $(MAKE) $(AM_MAKEFLAGS) benchs
bench:
cd src/bench && $(MAKE) $(AM_MAKEFLAGS) bench
###
### Sanity check.
......@@ -87,6 +90,7 @@ maintainer-check:
else \
echo "$@: GNU cppi is required" >&2; \
fi
cd doc/manual && $(MAKE) maintainer-check
# Build debian packages.
deb:
......@@ -155,16 +159,3 @@ distcheck: dist
@(echo "$(distdir) archives ready for distribution: "; \
list='$(DIST_ARCHIVES)'; for i in $$list; do echo $$i; done) | \
sed -e '1{h;s/./=/g;p;x;}' -e '$${p;x;}'
## ---------------------------- ##
## Installing on LRDE servers. ##
## ---------------------------- ##
install-epita:
# If the dload directory does not exist, bail out.
if test ! -d $(dloaddir); then \
echo >&2 "no such directory: $(dloaddir)"; \
fi
cd doc && $(MAKE) $(AM_MAKEFLAGS) install-epita
.PHONY: install-epita
2007-02-02 SIGOURE Benoit <tsuna@lrde.epita.fr>
Fix the check for `restrict'.
* argp-fmtstream.h [!HAVE_UNISTD_H]: Don't use #define to change
ssize_t in int, use a typedef instead.
* argp.h [!__restrict]: Fix the conditional definition of __restrict
(remove a typo, use C99 features).
2007-02-02 SIGOURE Benoit <tsuna@lrde.epita.fr>
Fix the check that detects whether __attribute__ works.
* Makefile.am (AUTOMAKE_OPTIONS): Remove.
* acinclude.m4 (LSH_TYPE_SOCKLEN_T, LSH_PATH_ADD, LSH_PATH_ADD,
LSH_RPATH_INIT, LSH_RPATH_FIX, LSH_CHECK_KRB_LIB, LSH_LIB_ARGP,
LSH_GCC_FUNCTION_NAME, LSH_FUNC_ALLOCA, LSH_FUNC_STRERROR,
LSH_FUNC_STRSIGNAL, AX_CREATE_STDINT_H): Remove unused macro
definitions.
(LSH_GCC_ATTRIBUTES): Fix the check.
* configure.ac: Update configure style by removing obsolete constructs.
2007-02-02 SIGOURE Benoit <tsuna@lrde.epita.fr>
Update to argp-1.4.
* bootstrap: New.
* build-aux: New.
* strcasecmp.c: New.
* vsnprintf.c: New.
* argp-fs-xinl.c: Remove.
* argp-xinl.c: Remove.
* ChangeLog,
* Makefile.am,
* argp-ba.c,
* argp-eexst.c,
* argp-fmtstream.c,
* argp-fmtstream.h,
* argp-help.c,
* argp-namefrob.h,
* argp-parse.c,
* argp-pv.c,
* argp-pvh.c,
* argp-test.c,
* argp.h,
* configure.ac: Update to 1.4.
The following changes have been imported:
2004-03-02 Niels Mller <nisse@lysator.liu.se>
* Makefile.am (EXTRA_DIST): Added strcasecmp.c.
* argp-help.c: Declare strcasecmp.
* strcasecmp.c (strcasecmp): New file.
* argp-parse.c, argp-help.c: Conditionally include malloc.h.
2004-03-01 Niels Mller <nisse@lysator.liu.se>
* argp-fmtstream.h [!HAVE_UNISTD_H]: Define ssize_t as int.
* Makefile.am (EXTRA_PROGRAMS): Don't build argp-test, as it's the
only program depending on the functions asprintf/vsnprintf.
* configure.ac: Check for sleep and getpid.
* argp-parse.c: Make inclusion of unistd.h conditional.
(OPT_HANG): Recognize this option only if getpid and sleep are
available.
* argp-fmtstream.h: Make inclusion of unistd.h conditional. It's
needed for ssize_t, at least on freebsd.
2004-03-01 Niels Mller <niels@s3.kth.se>
* argp-eexst.c [!HAVE_SYSEXITS_H]: Hardcode EX_USAGE = 64.
* configure.ac: Check for sysexits.h.
2005-05-10 Roland Levillain <roland@lrde.epita.fr>
Have Argp work with recent versions of the C Standard Library.
* argp.h (__NTH): New macro.
Use it to place __THROW at the right place.
* argp-parse.c: Likewise.
Reported by Michal Cadilhac.
2005-01-07 Akim Demaille <akim@epita.fr>
* configure.ac: Don't quote $CC so that it may be "ccache gcc" for
instance.
2004-12-28 Akim Demaille <akim@epita.fr>
* testsuite/Makefile.am (LDADD): libargp is a libtool library.
2004-12-20 Akim Demaille <akim@epita.fr>
Share the configuration files with tc.
* configure.ac (AC_CONFIG_AUX_DIR): Use it.
* Makefile.am (ACLOCAL_AM_FLAGS): Use it.
2004-02-23 Niels Mller <niels@s3.kth.se>
* configure.ac: Bumped version to standalone-1.3.
Portability to Mac OS X (fixes by Akim Demaille)
* argp/Makefile.am (libargp_a_SOURCES): Remove the duplicate
inclusion of argp-eexst.c.
* argp/argp-ba.c, argp/argp-pv.c, argp/argp-pvh.c: Initialize the
variables, otherwise on Darwin linking fails if the user does not
define these variables.
2003-04-28 Niels Mller <nisse@cuckoo.hack.org>
* argp-parse.c: Use standard alloca blurb from the autoconf
manual.
* argp-help.c: Updated alloca blurb to use the same as
argp-parse.c.
2003-04-24 Niels Mller <niels@s3.kth.se>
* argp.h: Added workaround for __restrict.
2003-03-13 Niels Mller <nisse@cuckoo.hack.org>
* Released argp-standalone-1.2.
* Updated copyright years.
2003-03-03 Niels Mller <nisse@cuckoo.hack.org>
* argp-fmtstream.h: Don't include config.h here, let the .c-files
do that. Deleted definition of PRINTF_STYLE, that's in config.h.
When defining or disabling i/o locking functions, use uppercase
macro names like PUTC_UNLOCKED. This avoids conflicts if the
underlying functions are really macros defined by stdio. For
example on freebsd. Updated the files using these functions.
2003-03-02 Niels Mller <nisse@cuckoo.hack.org>
* argp-help.c: Don't include malloc.h. If any system still needs
it, we need a configure test for it.
(hol_entry_help): Don't use a non-constant initializer, as that's
a GNU C extension.
2003-02-23 Niels Moller <nisse@carduelis>
* configure.ac: Use LSH_GCC_ATTRIBUTES. Deleted the definition of
UNUSED from the files that used it, it's now in config.h.
2003-02-16 Niels Mller <nisse@cuckoo.hack.org>
* argp-fmtstream.h: When disabling fwrite_unlocked, #undef it first.
* testsuite/permute-test: diff -q is not portable.
Redirect to /dev/null instead.
2003-02-12 Niels Mller <niels@s3.kth.se>
* argp-fmtstream.h: When disabling putc_unlocked, #undef it first.
2003-02-10 Niels Mller <niels@s3.kth.se>
* configure.ac (ARGP_CHECK_FUNC): Use AS_VAR_GET. Use AH_TEMPLATE.
2003-02-10 Niels Mller <nisse@cuckoo.hack.org>
* configure.ac (ARGP_CHECK_FUNC): New macro. Use it to test for
putc_unlocked.
2003-02-05 Niels Mller <nisse@lysator.liu.se>
* argp-parse.c (argp_default_options): Fixed initializer.
* argp-test.c (options): Likewise.
* testsuite/permute-test (die): Fixed sh-compatible function
definition.
* testsuite/ex4.c: Don't use error.h and the error function.
* .bootstrap: New file.
2003-02-05 Niels Mller <niels@s3.kth.se>
* Makefile.am (all): Deleted the explicit all target.
(LIBOBJS): Added explicit substitution.
* testsuite/ex3.c, testsuite/ex4.c: Complete initializers, to
avoid warnings from gcc.
* configure.ac: Updated for current autoconf and automake.
Fixed AC_CONFIG_HEADER call.
Use AC_GNU_SOURCE.
Use AC_CHECK_DECLS to check for program_invocation_name and
program_invocation_short_name.
* argp-test.c (sub_options): Complete initializer, to avoid
warnings from gcc.
(sub_argp): Likewise.
(options): Likewise.
* argp-parse.c (argp_default_parser):
HAVE_PROGRAM_INVOCATION_SHORT_NAME renamed to
HAVE_DECL_PROGRAM_INVOCATION_SHORT_NAME.
(argp_default_options): Complete initializer, to avoid
warnings from gcc.
* argp-help.c (uparam_names): Complete initializer, to avoid
warnings from gcc.
(__argp_short_program_name): HAVE_PROGRAM_INVOCATION_NAME renamed
to HAVE_DECL_PROGRAM_INVOCATION_NAME. Similarly for
HAVE_PROGRAM_INVOCATION_SHORT_NAME.
* acinclude.m4: Deleted file.
2003-02-04 Niels Mller <nisse@cuckoo.hack.org>
* configure.ac: Bumped version to standalone-1.2.
* argp-parse.c (parser_parse_next): Call exchange before
processing the final arguments. Fixes bug reported by Akim Demaille.
* Makefile.am (SUBDIRS): Added testsuite.
* configure.ac: Output testsuite/Makefile.
* testsuite/run-tests: Script copied from nettle.
* testsuite/permute-test: New testcase, exercising
argument option permuting.
* testsuite/ex1-test: New testcase.
* testsuite/ex1.c, testsuite/ex3.c,
testsuite/ex4.c: Added glibc example programs.
2002-07-18 Niels Mller <niels@s3.kth.se>
* configure.ac: Don't use -ggdb3 with gcc-2.96.
2002-05-06 Niels Mller <niels@s3.kth.se>
* configure.ac: Use AH_TEMPLATE for
PROGRAM_INVOCATION_NAME and PROGRAM_INVOCATION_SHORT_NAME. The
third arg to AC_DEFINE_UNQUOTED seems not to work here.
2002-05-05 Niels Mller <nisse@lysator.liu.se>
* acconfig.h: Deleted file.
* configure.ac: Pass no arguments to AM_INIT_AUTOMAKE.
Don't substitute LIBOBJS.
* acinclude.m4: Use the three-argument form of
AC_DEFINE_UNQUOTED.
* configure.ac: Update for automake-1.6.
* configure.ac: Renamed file, used to be configure.in.
2001-03-26 Niels Mller <nisse@cuckoo.localdomain>
* configure.in: Bumped argp version to standalone-1.1.
2001-03-26 Niels Mller <nisse@ehand.com>
* configure.in (CPPFLAGS): Added -D_GNU_SOURCE.
2001-02-18 Niels Mller <nisse@cuckoo.localdomain>
* argp-parse.c (argp_default_parser): Let OPT_HANG print
the process id to stderr.
2001-01-15 Niels Mller <nisse@ehand.com>
* argp.h: #define PRINTF_STYLE, and use it instead of
using __attribute__ directly.
2001-01-07 Niels Mller <nisse@cuckoo.localdomain>
* argp.h: Added _argp_short_program_name and
__argp_short_program_name.
* argp-parse.c (parser_init): Use
argp_short_program_name.
(parser_parse_next): Removed old permutation handling code.
2001-01-06 Niels Mller <nisse@cuckoo.localdomain>
* argp-namefrob.h: Added _argp_short_program_name.
2001-01-02 Niels Mller <nisse@cuckoo.localdomain>
* argp-help.c (hol_entry_help): Avoid using a
non-constant struct initializer.
(UNUSED): Define as a macro expanding to __attribute__ ..., if
compiling with gcc.
* argp-fmtstream.h (PRINTF_STYLE): Define this macro,
to expand to __attribute__ ... if compiling with gcc.
* argp-fmtstream.c (__argp_fmtstream_write,
__argp_fmtstream_puts, __argp_fmtstream_putc): Duplicate the
inline definitions in argp-fmtstream.h, for compilers that don't
do inlining.
2000-12-28 Niels Mller <nisse@cuckoo.localdomain>
* argp-help.c (fill_in_uparams): Use unsigned char * for
VAR and ARG. Fixed calls of isalnum, isspace and friends, reported
by Kalle Olavi Niemitalo.
(canon_doc_option): Fixed calls of isalnum, isspace and friends,
reported by Kalle Olavi Niemitalo.
(hol_entry_cmp): Fixed calls of tolower, reported by Kalle Olavi
Niemitalo.
2000-12-23 Niels Mller <nisse@lysator.liu.se>
* acinclude.m4: New file.
* acinclude.m4: Reverted the definition of AC_CHECK_VAR
to take includes as argument, and renamed it to ARGP_CHECK_VAR.
2000-12-11 Niels Mller <nisse@cuckoo.localdomain>
* Removed getopt.c, getopt.h and getopt1.c from the src/argp
directory.
* argp-parse.c (match_option, ARGP_COMPLETE): #if:ed out
completion code for long options.
2000-11-30 Niels Mller <nisse@cuckoo.localdomain>
* argp-parse.c (match_option): Better abbreviations.
Replaced try_getopt with args_only, changed calling convention for
parser_parse_arg.
* configure.in: Don't check for getopt.
* argp.h: Don't include getopt.h.
* argp-parse.c (calc_sizes): Updated comment.
2000-11-29 Niels Mller <nisse@cuckoo.localdomain>
* configure.in: Use AC_REPLACE_FUNCS for mempcpy, strndup
and strchrnul.
(AC_CHECK_VAR): Changed second argument to take the type of the
variable.
* argp-parse.c (struct parser): New fields
posixly_correct and ordering.
(parser_init): Choose ordering.
(enum arg_type): New value ARG_LONG_ONLY.
(parser_parse_next): Added error messages similar to getopt's.
* argp-help.c (STRNDUP): New macro to refer to strndup
or __strndup, as appropriate.
(STRERROR): Define this macro as a wrapper for strerror or
sys_errlist.
(__argp_basename): New function.
* argp-namefrob.h (__argp_basename): Added
__argp_basename.
* Makefile.am (libargp_a_LIBADD): Include LIBOBJS in
libargp.a.
* argp.h: Added prototype for _argp_basename and
__argp_basename.
* strndup.c, strchrnul.c mempcpy.c:
Moved replacement functions to separate files.
2000-11-28 Niels Mller <nisse@cuckoo.localdomain>
* argp-parse.c: Deleted getopt-related code.
(struct parser): New field nextchar. Deleted fields try_getotp and long_opts.
(find_short_option): New function.
(match_option): New function.
(find_long_option): New function.
(struct parser_convert_state): Deleted field long_end.
(convert_options): Don't build getopt_long-style option array.
(parser_convert): Deleted FLAGS arument.
(struct parser_sizes): Deleted field long_len.
(parser_init): Set short_opts to NULL, unless ARGP_LONG_ONLY is
used.
(classify_arg): New function.
(parser_parse_next): Don't use getopt_long().
2000-11-27 Niels Mller <nisse@cuckoo.localdomain>
* argp-help.c (argp_doc): Use the name strndup, not
__strndup. That probably breaks glibc builds.
2000-11-27 Niels Mller <nisse@lysator.liu.se>
* argp-test.c (asprintf): Bug fix.
* argp.h: Dummy definition of __THROW.
* argp-test.c: Fixed asprintf implementation.
* argp-parse.c (__argp_usage, __option_is_short,
__option_is_end): Define these function, in case the user isn't
inlining them.
* argp-help.c: #define __mempcpy if needed. Use unsigned
arguments to the ctype macros. Handle systems where
program_invocation_name and program_invocation_short_name doesn't
exist.
* argp-help.c (short_program_name): New function.
* Makefile.am: Use @LIBOBJS@ when building test program.
* configure.in: Check for getopt_long. Substitute
LIBOBJS. Add -I$srcdir to CPPFLAGS.
* src/argp: Added getopt.h, getopt.c and getopt1.c, which are
needed for separate compilation of argp.
2000-11-27 Niels Mller <nisse@cuckoo.localdomain>
* Updated argp from glibc-2.2.
# From glibc
# Copyright (C) 1997, 2003, 2004, 2007 Free Software Foundation, Inc.
# This file is part of the GNU C Library.
# The GNU C Library is free software; you can redistribute it and/or
# modify it under the terms of the GNU Library General Public License as
# published by the Free Software Foundation; either version 2 of the
# License, or (at your option) any later version.
# The GNU C Library is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
# Library General Public License for more details.
# You should have received a copy of the GNU Library General Public
# License along with the GNU C Library; see the file COPYING.LIB. If
# not, write to the Free Software Foundation, Inc.,
# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
SUBDIRS = . testsuite
ACLOCAL_AMFLAGS = -I build-aux
noinst_LTLIBRARIES = libargp.la
noinst_PROGRAMS = argp-test
noinst_HEADERS = argp.h argp-fmtstream.h argp-namefrob.h # argp-comp.h
EXTRA_DIST = mempcpy.c strchrnul.c strndup.c Versions
libargp_la_SOURCES = argp-ba.c argp-eexst.c argp-fmtstream.c \
argp-help.c argp-parse.c argp-pv.c \
argp-pvh.c
libargp_la_LIBADD = $(LTLIBOBJS)
argp_test_LDADD = libargp.la
Figure out what to do about extern inline, as it's not supported by
newer gcc-3.x.
libc {
GLIBC_2.1 {
# variables in normal name space
argp_err_exit_status; argp_program_bug_address; argp_program_version;
argp_program_version_hook;
# a*
argp_error; argp_failure; argp_help; argp_parse; argp_state_help;
argp_usage;
# kludge for recursive argp callers that know the magic.
_argp_unlock_xxx;
}
}
dnl LSH_GCC_ATTRIBUTES
dnl Check for gcc's __attribute__ construction
AC_DEFUN([LSH_GCC_ATTRIBUTES],
[AC_CACHE_CHECK([for __attribute__], [lsh_cv_c_attribute],
[AC_COMPILE_IFELSE([AC_LANG_SOURCE([[
#include <stdlib.h>
static void foo(void) __attribute__ ((noreturn));
static void __attribute__ ((noreturn))
foo(void)
{
exit(1);
}
]])], [lsh_cv_c_attribute=yes], [lsh_cv_c_attribute=no])
])
AH_TEMPLATE([HAVE_GCC_ATTRIBUTE],
[Define if the compiler understands __attribute__])
if test "x$lsh_cv_c_attribute" = xyes; then
AC_DEFINE([HAVE_GCC_ATTRIBUTE])
fi
AH_BOTTOM([
#if __GNUC__ && HAVE_GCC_ATTRIBUTE
# define NORETURN __attribute__ ((__noreturn__))
# define PRINTF_STYLE(f, a) __attribute__ ((__format__ (__printf__, f, a)))