1. 10 Sep, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      update to gnulib d77a23b15925e5554325ea3553c940133734eee3 · 8868bc67
      Alexandre Duret-Lutz authored
      * configure.ac: Update minimum autoconf version.
      * lib/config.charset, lib/ref-add.sin, lib/ref-del.sin,
      m4/closeout.m4, m4/close-stream.m4, m4/configmake.m4, m4/glibc21.m4,
      m4/hard-locale.m4: Remove.
      * lib/alloca.c, lib/alloca.in.h, lib/argmatch.c, lib/argmatch.h,
      lib/arg-nonnull.h, lib/argp-ba.c, lib/argp-eexst.c,
      lib/argp-fmtstream.c, lib/argp-fmtstream.h, lib/argp-fs-xinl.c,
      lib/argp.h, lib/argp-help.c, lib/argp-namefrob.h, lib/argp-parse.c,
      lib/argp-pin.c, lib/argp-pv.c, lib/argp-pvh.c, lib/argp-xinl.c,
      lib/asnprintf.c, lib/basename-lgpl.c, lib/c-ctype.h, lib/c++defs.h,
      lib/closeout.c, lib/closeout.h, lib/close-stream.c,
      lib/c-strcasecmp.c, lib/c-strcaseeq.h, lib/c-strcase.h,
      lib/c-strncasecmp.c, lib/dirname.h, lib/dirname-lgpl.c, lib/dosname.h,
      lib/errno.in.h, lib/error.c, lib/error.h, lib/exitfail.c,
      lib/exitfail.h, lib/fcntl.in.h, lib/filename.h, lib/float.c,
      lib/float+.h, lib/float.in.h, lib/fpending.c, lib/fpending.h,
      lib/getopt1.c, lib/getopt.c, lib/getopt-cdefs.in.h, lib/getopt-core.h,
      lib/getopt-ext.h, lib/getopt.in.h, lib/getopt_int.h,
      lib/getopt-pfx-core.h, lib/getopt-pfx-ext.h, lib/getprogname.c,
      lib/getprogname.h, lib/gettext.h, lib/gettimeofday.c,
      lib/hard-locale.c, lib/hard-locale.h, lib/intprops.h, lib/isatty.c,
      lib/itold.c, lib/limits.in.h, lib/localcharset.c, lib/localcharset.h,
      lib/localtime-buffer.c, lib/localtime-buffer.h, lib/lstat.c,
      lib/Makefile.am, lib/malloca.c, lib/malloca.h, lib/malloc.c,
      lib/mbrtowc.c, lib/mbsinit.c, lib/memchr.c, lib/memchr.valgrind,
      lib/mempcpy.c, lib/minmax.h, lib/mkstemp.c, lib/mkstemps.c,
      lib/msvc-inval.c, lib/msvc-inval.h, lib/msvc-nothrow.c,
      lib/msvc-nothrow.h, lib/_Noreturn.h, lib/pathmax.h, lib/printf-args.c,
      lib/printf-args.h, lib/printf-parse.c, lib/printf-parse.h,
      lib/progname.c, lib/progname.h, lib/quotearg.c, lib/quotearg.h,
      lib/quote.h, lib/rawmemchr.c, lib/rawmemchr.valgrind,
      lib/secure_getenv.c, lib/size_max.h, lib/sleep.c, lib/stat.c,
      lib/stat-time.h, lib/stat-w32.c, lib/stat-w32.h, lib/stdalign.in.h,
      lib/stdbool.in.h, lib/stddef.in.h, lib/stdint.in.h, lib/stdio-impl.h,
      lib/stdio.in.h, lib/stdlib.in.h, lib/stpcpy.c, lib/strcasecmp.c,
      lib/strchrnul.c, lib/strchrnul.valgrind, lib/streq.h, lib/strerror.c,
      lib/strerror-override.c, lib/strerror-override.h, lib/string.in.h,
      lib/strings.in.h, lib/stripslash.c, lib/strncasecmp.c, lib/strndup.c,
      lib/strnlen.c, lib/strverscmp.c, lib/sysexits.in.h, lib/sys_stat.in.h,
      lib/sys_time.in.h, lib/sys_types.in.h, lib/sys_wait.in.h,
      lib/tempname.c, lib/tempname.h, lib/time.in.h, lib/unistd.in.h,
      lib/vasnprintf.c, lib/vasnprintf.h, lib/verify.h, lib/vsnprintf.c,
      lib/warn-on-use.h, lib/wchar.in.h, lib/wctype.in.h, lib/xalloc-die.c,
      lib/xalloc.h, lib/xalloc-oversized.h, lib/xmalloc.c, lib/xsize.h,
      m4/00gnulib.m4, m4/absolute-header.m4, m4/alloca.m4, m4/argp.m4,
      m4/codeset.m4, m4/dirname.m4, m4/double-slash-root.m4, m4/eealloc.m4,
      m4/errno_h.m4, m4/error.m4, m4/exponentd.m4, m4/extensions.m4,
      m4/extern-inline.m4, m4/fcntl_h.m4, m4/fcntl-o.m4, m4/float_h.m4,
      m4/fpending.m4, m4/getopt.m4, m4/getprogname.m4, m4/gettimeofday.m4,
      m4/gnulib-cache.m4, m4/gnulib-common.m4, m4/gnulib-comp.m4,
      m4/gnulib-tool.m4, m4/include_next.m4, m4/intmax_t.m4,
      m4/inttypes_h.m4, m4/isatty.m4, m4/largefile.m4, m4/limits-h.m4,
      m4/localcharset.m4, m4/locale-fr.m4, m4/locale-ja.m4, m4/locale-zh.m4,
      m4/localtime-buffer.m4, m4/longlong.m4, m4/lstat.m4, m4/malloca.m4,
      m4/malloc.m4, m4/math_h.m4, m4/mbrtowc.m4, m4/mbsinit.m4,
      m4/mbstate_t.m4, m4/memchr.m4, m4/mempcpy.m4, m4/minmax.m4,
      m4/mkstemp.m4, m4/mkstemps.m4, m4/mmap-anon.m4, m4/msvc-inval.m4,
      m4/msvc-nothrow.m4, m4/multiarch.m4, m4/nocrash.m4, m4/off_t.m4,
      m4/pathmax.m4, m4/printf.m4, m4/quotearg.m4, m4/quote.m4,
      m4/rawmemchr.m4, m4/secure_getenv.m4, m4/size_max.m4, m4/sleep.m4,
      m4/ssize_t.m4, m4/stat.m4, m4/stat-time.m4, m4/stdalign.m4,
      m4/stdbool.m4, m4/stddef_h.m4, m4/stdint_h.m4, m4/stdint.m4,
      m4/stdio_h.m4, m4/stdlib_h.m4, m4/stpcpy.m4, m4/strcase.m4,
      m4/strchrnul.m4, m4/strerror.m4, m4/string_h.m4, m4/strings_h.m4,
      m4/strndup.m4, m4/strnlen.m4, m4/strverscmp.m4, m4/sysexits.m4,
      m4/sys_socket_h.m4, m4/sys_stat_h.m4, m4/sys_time_h.m4,
      m4/sys_types_h.m4, m4/sys_wait_h.m4, m4/tempname.m4, m4/time_h.m4,
      m4/unistd_h.m4, m4/vasnprintf.m4, m4/vsnprintf.m4, m4/warn-on-use.m4,
      m4/wchar_h.m4, m4/wchar_t.m4, m4/wctype_h.m4, m4/wint_t.m4,
      m4/xalloc.m4, m4/xsize.m4: Update.
      * lib/cdefs.h, lib/glthread/lock.c, lib/glthread/lock.h,
      lib/glthread/threadlib.c, lib/libc-config.h, lib/mkdir.c,
      lib/windows-initguard.h, lib/windows-mutex.c, lib/windows-mutex.h,
      lib/windows-once.c, lib/windows-once.h, lib/windows-recmutex.c,
      lib/windows-recmutex.h, lib/windows-rwlock.c, lib/windows-rwlock.h,
      m4/host-cpu-c-abi.m4, m4/__inline.m4, m4/lib-ld.m4, m4/lib-link.m4,
      m4/lib-prefix.m4, m4/lock.m4, m4/mkdir.m4,
      m4/pthread_rwlock_rdlock.m4, m4/std-gnu11.m4, m4/threadlib.m4,
      tools/config.rpath: New files.
      8868bc67
  2. 26 Aug, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      Upgrade parsers to Bison >= 3.0 · b9808144
      Alexandre Duret-Lutz authored
      Bison 3.0 was released in 2013, and the current Debian stable (buster)
      has version 3.3.2.
      
      * m4/bison.m4: Remove -Wno-precedence and -Wno-empty-rule, keep
      -Wno-deprecated just to protect from future deprecation warnings that
      would be interpreted as errors.
      * spot/parseaut/parseaut.yy, spot/parsetl/parsetl.yy: Use %empty
      rules, prefer %precedence over %nonassoc, update %error-versbose and
      %name-prefix to their more modern equivalent.
      * spot/misc/trival.hh (maybe): Mark this function as noexcept to
      please the compiler while compiling the parsers.
      b9808144
  3. 18 May, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      gnulib: add the closeout and secure_getenv modules · 021c0ed0
      Alexandre Duret-Lutz authored
      * lib/close-stream.c, lib/close-stream.h, lib/closeout.c,
      lib/closeout.h, lib/fpending.c, lib/fpending.h, lib/stdio-impl.h,
      lib/secure_getenv.c, m4/close-stream.m4, m4/closeout.m4,
      m4/fpending.m4, m4/secure_getenv.m4: New file.
      * lib/Makefile.am, m4/gnulib-cache.m4, m4/gnulib-comp.m4: Update.
      021c0ed0
  4. 17 May, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      update gnulib to b35c22af02271c8dd9844b98db17702b8bf2bd93 · 2076197e
      Alexandre Duret-Lutz authored
      * lib/Makefile.am, lib/alloca.in.h, lib/arg-nonnull.h, lib/argmatch.c,
      lib/argmatch.h, lib/argp-ba.c, lib/argp-eexst.c, lib/argp-fmtstream.c,
      lib/argp-fmtstream.h, lib/argp-fs-xinl.c, lib/argp-help.c,
      lib/argp-namefrob.h, lib/argp-parse.c, lib/argp-pin.c, lib/argp-pv.c,
      lib/argp-pvh.c, lib/argp-xinl.c, lib/argp.h, lib/asnprintf.c,
      lib/basename-lgpl.c, lib/c++defs.h, lib/c-ctype.h, lib/c-strcase.h,
      lib/c-strcasecmp.c, lib/c-strcaseeq.h, lib/c-strncasecmp.c,
      lib/config.charset, lib/dirname-lgpl.c, lib/dirname.h, lib/dosname.h,
      lib/errno.in.h, lib/error.c, lib/error.h, lib/exitfail.c,
      lib/exitfail.h, lib/fcntl.in.h, lib/filename.h, lib/float+.h,
      lib/float.c, lib/float.in.h, lib/getopt-cdefs.in.h, lib/getopt-core.h,
      lib/getopt-ext.h, lib/getopt-pfx-core.h, lib/getopt-pfx-ext.h,
      lib/getopt.c, lib/getopt.in.h, lib/getopt1.c, lib/getopt_int.h,
      lib/getprogname.c, lib/getprogname.h, lib/gettext.h,
      lib/gettimeofday.c, lib/hard-locale.c, lib/hard-locale.h,
      lib/intprops.h, lib/isatty.c, lib/itold.c, lib/limits.in.h,
      lib/localcharset.c, lib/localcharset.h, lib/localtime-buffer.c,
      lib/localtime-buffer.h, lib/lstat.c, lib/malloc.c, lib/malloca.c,
      lib/malloca.h, lib/mbrtowc.c, lib/mbsinit.c, lib/memchr.c,
      lib/mempcpy.c, lib/minmax.h, lib/mkstemp.c, lib/mkstemps.c,
      lib/msvc-inval.c, lib/msvc-inval.h, lib/msvc-nothrow.c,
      lib/msvc-nothrow.h, lib/pathmax.h, lib/printf-args.c,
      lib/printf-args.h, lib/printf-parse.c, lib/printf-parse.h,
      lib/progname.c, lib/progname.h, lib/quote.h, lib/quotearg.c,
      lib/quotearg.h, lib/rawmemchr.c, lib/ref-add.sin, lib/ref-del.sin,
      lib/size_max.h, lib/sleep.c, lib/stat-w32.c, lib/stat-w32.h,
      lib/stat.c, lib/stdalign.in.h, lib/stdbool.in.h, lib/stddef.in.h,
      lib/stdint.in.h, lib/stdio.in.h, lib/stdlib.in.h, lib/stpcpy.c,
      lib/strcasecmp.c, lib/strchrnul.c, lib/streq.h,
      lib/strerror-override.c, lib/strerror-override.h, lib/strerror.c,
      lib/string.in.h, lib/strings.in.h, lib/stripslash.c,
      lib/strncasecmp.c, lib/strndup.c, lib/strnlen.c, lib/strverscmp.c,
      lib/sys_stat.in.h, lib/sys_time.in.h, lib/sys_types.in.h,
      lib/sys_wait.in.h, lib/sysexits.in.h, lib/tempname.c, lib/tempname.h,
      lib/time.in.h, lib/unistd.in.h, lib/vasnprintf.c, lib/vasnprintf.h,
      lib/verify.h, lib/vsnprintf.c, lib/warn-on-use.h, lib/wchar.in.h,
      lib/wctype.in.h, lib/xalloc-die.c, lib/xalloc-oversized.h,
      lib/xalloc.h, lib/xmalloc.c, lib/xsize.h, m4/00gnulib.m4,
      m4/absolute-header.m4, m4/alloca.m4, m4/argp.m4, m4/configmake.m4,
      m4/dirname.m4, m4/double-slash-root.m4, m4/eealloc.m4, m4/errno_h.m4,
      m4/error.m4, m4/exponentd.m4, m4/extensions.m4, m4/extern-inline.m4,
      m4/fcntl-o.m4, m4/fcntl_h.m4, m4/float_h.m4, m4/getopt.m4,
      m4/getprogname.m4, m4/gettimeofday.m4, m4/glibc21.m4,
      m4/gnulib-cache.m4, m4/gnulib-common.m4, m4/gnulib-comp.m4,
      m4/gnulib-tool.m4, m4/hard-locale.m4, m4/include_next.m4,
      m4/intmax_t.m4, m4/inttypes_h.m4, m4/isatty.m4, m4/largefile.m4,
      m4/limits-h.m4, m4/localcharset.m4, m4/locale-fr.m4, m4/locale-ja.m4,
      m4/locale-zh.m4, m4/localtime-buffer.m4, m4/longlong.m4, m4/lstat.m4,
      m4/malloc.m4, m4/malloca.m4, m4/math_h.m4, m4/mbrtowc.m4,
      m4/mbsinit.m4, m4/mbstate_t.m4, m4/memchr.m4, m4/mempcpy.m4,
      m4/minmax.m4, m4/mkstemp.m4, m4/mkstemps.m4, m4/mmap-anon.m4,
      m4/msvc-inval.m4, m4/msvc-nothrow.m4, m4/multiarch.m4, m4/nocrash.m4,
      m4/off_t.m4, m4/pathmax.m4, m4/printf.m4, m4/quote.m4, m4/quotearg.m4,
      m4/rawmemchr.m4, m4/size_max.m4, m4/sleep.m4, m4/ssize_t.m4,
      m4/stat.m4, m4/stdalign.m4, m4/stdbool.m4, m4/stddef_h.m4,
      m4/stdint.m4, m4/stdint_h.m4, m4/stdio_h.m4, m4/stdlib_h.m4,
      m4/stpcpy.m4, m4/strcase.m4, m4/strchrnul.m4, m4/strerror.m4,
      m4/string_h.m4, m4/strings_h.m4, m4/strndup.m4, m4/strnlen.m4,
      m4/strverscmp.m4, m4/sys_socket_h.m4, m4/sys_stat_h.m4,
      m4/sys_time_h.m4, m4/sys_types_h.m4, m4/sys_wait_h.m4, m4/sysexits.m4,
      m4/tempname.m4, m4/time_h.m4, m4/unistd_h.m4, m4/vasnprintf.m4,
      m4/vsnprintf.m4, m4/warn-on-use.m4, m4/wchar_h.m4, m4/wchar_t.m4,
      m4/wctype_h.m4, m4/wint_t.m4, m4/xalloc.m4, m4/xsize.m4: Update.
      * lib/malloca.valgrind, lib/secure_getenv.c, m4/secure_getenv.m4:
      Delete.
      * lib/stat-time.c, lib/stat-time.h, m4/stat-time.m4: New files.
      2076197e
  5. 08 Aug, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      gnulib: upgrade to today's version · 80d50c56
      Alexandre Duret-Lutz authored
      * tools/snippet/_Noreturn.h, tools/snippet/c++defs.h,
      tools/snippet/arg-nonnull.h, tools/snippet/warn-on-use.h: Rename to...
      * lib/_Noreturn.h, lib/c++defs.h, lib/arg-nonnull.h,
      lib/warn-on-use.h: ... these.
      * lib/filename.h, lib/getopt-cdefs.in.h, lib/getopt-core.h,
      lib/getopt-ext.h, lib/getopt-pfx-core.h, lib/getopt-pfx-ext.h,
      lib/localtime-buffer.c, lib/localtime-buffer.h, lib/malloca.c,
      lib/malloca.h, lib/malloca.valgrind, lib/stat-w32.c, lib/stat-w32.h,
      m4/eealloc.m4, m4/localtime-buffer.m4, m4/malloca.m4: New files.
      * lib/argp-help.c, lib/argp-parse.c, lib/error.c, lib/float.in.h,
      lib/getopt1.c, lib/getopt.c, lib/getopt.in.h, lib/getopt_int.h,
      lib/gettext.h, lib/gettimeofday.c, lib/intprops.h, lib/isatty.c,
      lib/limits.in.h, lib/localcharset.c, lib/Makefile.am, lib/mbrtowc.c,
      lib/mbsinit.c, lib/msvc-nothrow.c, lib/quotearg.c, lib/stat.c,
      lib/stdalign.in.h, lib/stdint.in.h, lib/string.in.h,
      lib/sys_stat.in.h, lib/sys_types.in.h, lib/tempname.c, lib/time.in.h,
      lib/unistd.in.h, lib/vasnprintf.c, lib/wchar.in.h, lib/wctype.in.h,
      lib/xalloc.h, lib/xalloc-oversized.h, m4/fcntl-o.m4, m4/float_h.m4,
      m4/getopt.m4, m4/gettimeofday.m4, m4/gnulib-common.m4,
      m4/gnulib-comp.m4, m4/include_next.m4, m4/largefile.m4, m4/lstat.m4,
      m4/mbrtowc.m4, m4/memchr.m4, m4/mkstemp.m4, m4/printf.m4, m4/sleep.m4,
      m4/stat.m4, m4/stdalign.m4, m4/stdint.m4, m4/strerror.m4,
      m4/string_h.m4, m4/sys_stat_h.m4, m4/sys_time_h.m4, m4/sys_types_h.m4,
      m4/time_h.m4, m4/unistd_h.m4, m4/wchar_h.m4, m4/wctype_h.m4,
      m4/wint_t.m4: Update.
      80d50c56
  6. 09 Mar, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      gnulib: update to 405cd675384221b541b460c43de26d159914fe0a · 4fd29778
      Alexandre Duret-Lutz authored
      This also include my patch to lib/argp.hh for C++ compilation.
      
      * lib/Makefile.am, lib/alloca.in.h, lib/argmatch.c, lib/argmatch.h,
      lib/argp-ba.c, lib/argp-eexst.c, lib/argp-fmtstream.c,
      lib/argp-fmtstream.h, lib/argp-fs-xinl.c, lib/argp-help.c,
      lib/argp-namefrob.h, lib/argp-parse.c, lib/argp-pin.c, lib/argp-pv.c,
      lib/argp-pvh.c, lib/argp-xinl.c, lib/argp.h, lib/asnprintf.c,
      lib/basename-lgpl.c, lib/c-ctype.h, lib/c-strcase.h,
      lib/c-strcasecmp.c, lib/c-strcaseeq.h, lib/c-strncasecmp.c,
      lib/config.charset, lib/dirname-lgpl.c, lib/dirname.h, lib/dosname.h,
      lib/errno.in.h, lib/error.c, lib/error.h, lib/exitfail.c,
      lib/exitfail.h, lib/fcntl.in.h, lib/float+.h, lib/float.c,
      lib/float.in.h, lib/getopt.c, lib/getopt.in.h, lib/getopt1.c,
      lib/getopt_int.h, lib/gettext.h, lib/gettimeofday.c,
      lib/hard-locale.c, lib/hard-locale.h, lib/intprops.h, lib/isatty.c,
      lib/itold.c, lib/localcharset.c, lib/localcharset.h, lib/lstat.c,
      lib/malloc.c, lib/mbrtowc.c, lib/mbsinit.c, lib/memchr.c,
      lib/mempcpy.c, lib/mkstemp.c, lib/mkstemps.c, lib/msvc-inval.c,
      lib/msvc-inval.h, lib/msvc-nothrow.c, lib/msvc-nothrow.h,
      lib/pathmax.h, lib/printf-args.c, lib/printf-args.h,
      lib/printf-parse.c, lib/printf-parse.h, lib/progname.c,
      lib/progname.h, lib/quote.h, lib/quotearg.c, lib/quotearg.h,
      lib/rawmemchr.c, lib/ref-add.sin, lib/ref-del.sin,
      lib/secure_getenv.c, lib/size_max.h, lib/sleep.c, lib/stat.c,
      lib/stdalign.in.h, lib/stdbool.in.h, lib/stddef.in.h, lib/stdint.in.h,
      lib/stdio.in.h, lib/stdlib.in.h, lib/stpcpy.c, lib/strcasecmp.c,
      lib/strchrnul.c, lib/streq.h, lib/strerror-override.c,
      lib/strerror-override.h, lib/strerror.c, lib/string.in.h,
      lib/strings.in.h, lib/stripslash.c, lib/strncasecmp.c, lib/strndup.c,
      lib/strnlen.c, lib/strverscmp.c, lib/sys_stat.in.h, lib/sys_time.in.h,
      lib/sys_types.in.h, lib/sys_wait.in.h, lib/sysexits.in.h,
      lib/tempname.c, lib/tempname.h, lib/time.in.h, lib/unistd.in.h,
      lib/vasnprintf.c, lib/vasnprintf.h, lib/verify.h, lib/vsnprintf.c,
      lib/wchar.in.h, lib/wctype.in.h, lib/xalloc-die.c,
      lib/xalloc-oversized.h, lib/xalloc.h, lib/xmalloc.c, lib/xsize.h,
      m4/00gnulib.m4, m4/absolute-header.m4, m4/alloca.m4, m4/argp.m4,
      m4/configmake.m4, m4/dirname.m4, m4/double-slash-root.m4,
      m4/errno_h.m4, m4/error.m4, m4/exponentd.m4, m4/extensions.m4,
      m4/extern-inline.m4, m4/fcntl-o.m4, m4/fcntl_h.m4, m4/float_h.m4,
      m4/getopt.m4, m4/gettimeofday.m4, m4/glibc21.m4, m4/gnulib-cache.m4,
      m4/gnulib-common.m4, m4/gnulib-comp.m4, m4/gnulib-tool.m4,
      m4/hard-locale.m4, m4/include_next.m4, m4/intmax_t.m4,
      m4/inttypes_h.m4, m4/isatty.m4, m4/largefile.m4, m4/localcharset.m4,
      m4/locale-fr.m4, m4/locale-ja.m4, m4/locale-zh.m4, m4/longlong.m4,
      m4/lstat.m4, m4/malloc.m4, m4/math_h.m4, m4/mbrtowc.m4, m4/mbsinit.m4,
      m4/mbstate_t.m4, m4/memchr.m4, m4/mempcpy.m4, m4/mkstemp.m4,
      m4/mkstemps.m4, m4/mmap-anon.m4, m4/msvc-inval.m4, m4/msvc-nothrow.m4,
      m4/multiarch.m4, m4/nocrash.m4, m4/off_t.m4, m4/pathmax.m4,
      m4/printf.m4, m4/quote.m4, m4/quotearg.m4, m4/rawmemchr.m4,
      m4/secure_getenv.m4, m4/size_max.m4, m4/sleep.m4, m4/ssize_t.m4,
      m4/stat.m4, m4/stdalign.m4, m4/stdbool.m4, m4/stddef_h.m4,
      m4/stdint.m4, m4/stdint_h.m4, m4/stdio_h.m4, m4/stdlib_h.m4,
      m4/stpcpy.m4, m4/strcase.m4, m4/strchrnul.m4, m4/strerror.m4,
      m4/string_h.m4, m4/strings_h.m4, m4/strndup.m4, m4/strnlen.m4,
      m4/strverscmp.m4, m4/sys_socket_h.m4, m4/sys_stat_h.m4,
      m4/sys_time_h.m4, m4/sys_types_h.m4, m4/sys_wait_h.m4, m4/sysexits.m4,
      m4/tempname.m4, m4/time_h.m4, m4/unistd_h.m4, m4/vasnprintf.m4,
      m4/vsnprintf.m4, m4/warn-on-use.m4, m4/wchar_h.m4, m4/wchar_t.m4,
      m4/wctype_h.m4, m4/wint_t.m4, m4/xalloc.m4, m4/xsize.m4,
      tools/snippet/arg-nonnull.h, tools/snippet/c++defs.h,
      tools/snippet/warn-on-use.h: Update.
      * lib/getprogname.c, lib/getprogname.h, lib/limits.in.h, lib/minmax.h,
      m4/getprogname.m4, m4/limits-h.m4, m4/minmax.m4: New files.
      4fd29778
  7. 12 Feb, 2017 1 commit
  8. 01 Feb, 2017 1 commit
  9. 07 Oct, 2016 1 commit
  10. 29 Jul, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      update gnulib · f6c7ed54
      Alexandre Duret-Lutz authored
      This comes from gnulib 348402f2aac342bc925b7aaea9ee3cc353f427a9 plus
      a custom patch to support compilation of arpg in C++11.
      
      * lib/hard-locale.c, lib/hard-locale.h, m4/hard-locale.m4, m4/ltargz.m4:
      New files.
      * lib/Makefile.am, lib/alloca.in.h, lib/argmatch.c, lib/argmatch.h,
      lib/argp-ba.c, lib/argp-eexst.c, lib/argp-fmtstream.c,
      lib/argp-fmtstream.h, lib/argp-fs-xinl.c, lib/argp-help.c,
      lib/argp-namefrob.h, lib/argp-parse.c, lib/argp-pin.c, lib/argp-pv.c,
      lib/argp-pvh.c, lib/argp-xinl.c, lib/argp.h, lib/asnprintf.c,
      lib/basename-lgpl.c, lib/c-ctype.h, lib/c-strcase.h, lib/c-strcasecmp.c,
      lib/c-strcaseeq.h, lib/c-strncasecmp.c, lib/config.charset,
      lib/dirname-lgpl.c, lib/dirname.h, lib/dosname.h, lib/errno.in.h,
      lib/error.c, lib/error.h, lib/exitfail.c, lib/exitfail.h,
      lib/fcntl.in.h, lib/float+.h, lib/float.c, lib/float.in.h, lib/getopt.c,
      lib/getopt.in.h, lib/getopt1.c, lib/getopt_int.h, lib/gettext.h,
      lib/gettimeofday.c, lib/hard-locale.h, lib/intprops.h, lib/isatty.c,
      lib/itold.c, lib/localcharset.c, lib/localcharset.h, lib/lstat.c,
      lib/malloc.c, lib/mbrtowc.c, lib/mbsinit.c, lib/memchr.c, lib/mempcpy.c,
      lib/mkstemp.c, lib/mkstemps.c, lib/msvc-inval.c, lib/msvc-inval.h,
      lib/msvc-nothrow.c, lib/msvc-nothrow.h, lib/pathmax.h,
      lib/printf-args.c, lib/printf-args.h, lib/printf-parse.c,
      lib/printf-parse.h, lib/progname.c, lib/progname.h, lib/quote.h,
      lib/quotearg.c, lib/quotearg.h, lib/rawmemchr.c, lib/ref-add.sin,
      lib/ref-del.sin, lib/secure_getenv.c, lib/size_max.h, lib/sleep.c,
      lib/stat.c, lib/stdalign.in.h, lib/stdbool.in.h, lib/stddef.in.h,
      lib/stdint.in.h, lib/stdio.in.h, lib/stdlib.in.h, lib/stpcpy.c,
      lib/strcasecmp.c, lib/strchrnul.c, lib/streq.h, lib/strerror-override.c,
      lib/strerror-override.h, lib/strerror.c, lib/string.in.h,
      lib/strings.in.h, lib/stripslash.c, lib/strncasecmp.c, lib/strndup.c,
      lib/strnlen.c, lib/strverscmp.c, lib/sys_stat.in.h, lib/sys_time.in.h,
      lib/sys_types.in.h, lib/sys_wait.in.h, lib/sysexits.in.h,
      lib/tempname.c, lib/tempname.h, lib/time.in.h, lib/unistd.in.h,
      lib/vasnprintf.c, lib/vasnprintf.h, lib/verify.h, lib/vsnprintf.c,
      lib/wchar.in.h, lib/wctype.in.h, lib/xalloc-die.c,
      lib/xalloc-oversized.h, lib/xalloc.h, lib/xmalloc.c, lib/xsize.h,
      m4/00gnulib.m4, m4/absolute-header.m4, m4/alloca.m4, m4/argp.m4,
      m4/codeset.m4, m4/configmake.m4, m4/dirname.m4, m4/double-slash-root.m4,
      m4/errno_h.m4, m4/error.m4, m4/exponentd.m4, m4/extensions.m4,
      m4/extern-inline.m4, m4/fcntl-o.m4, m4/fcntl_h.m4, m4/float_h.m4,
      m4/getopt.m4, m4/gettimeofday.m4, m4/glibc21.m4, m4/gnulib-cache.m4,
      m4/gnulib-common.m4, m4/gnulib-comp.m4, m4/gnulib-tool.m4,
      m4/include_next.m4, m4/intmax_t.m4, m4/inttypes_h.m4, m4/isatty.m4,
      m4/largefile.m4, m4/localcharset.m4, m4/locale-fr.m4, m4/locale-ja.m4,
      m4/locale-zh.m4, m4/longlong.m4, m4/lstat.m4, m4/malloc.m4,
      m4/math_h.m4, m4/mbrtowc.m4, m4/mbsinit.m4, m4/mbstate_t.m4,
      m4/memchr.m4, m4/mempcpy.m4, m4/mkstemp.m4, m4/mkstemps.m4,
      m4/mmap-anon.m4, m4/msvc-inval.m4, m4/msvc-nothrow.m4, m4/multiarch.m4,
      m4/nocrash.m4, m4/off_t.m4, m4/pathmax.m4, m4/printf.m4, m4/quote.m4,
      m4/quotearg.m4, m4/rawmemchr.m4, m4/secure_getenv.m4, m4/size_max.m4,
      m4/sleep.m4, m4/ssize_t.m4, m4/stat.m4, m4/stdalign.m4, m4/stdbool.m4,
      m4/stddef_h.m4, m4/stdint.m4, m4/stdint_h.m4, m4/stdio_h.m4,
      m4/stdlib_h.m4, m4/stpcpy.m4, m4/strcase.m4, m4/strchrnul.m4,
      m4/strerror.m4, m4/string_h.m4, m4/strings_h.m4, m4/strndup.m4,
      m4/strnlen.m4, m4/strverscmp.m4, m4/sys_socket_h.m4, m4/sys_stat_h.m4,
      m4/sys_time_h.m4, m4/sys_types_h.m4, m4/sys_wait_h.m4, m4/sysexits.m4,
      m4/tempname.m4, m4/time_h.m4, m4/unistd_h.m4, m4/vasnprintf.m4,
      m4/vsnprintf.m4, m4/warn-on-use.m4, m4/wchar_h.m4, m4/wchar_t.m4,
      m4/wctype_h.m4, m4/wint_t.m4, m4/xalloc.m4, m4/xsize.m4,
      tests/core/randtgba.cc, tools/snippet/arg-nonnull.h,
      tools/snippet/c++defs.h, tools/snippet/warn-on-use.h: Update.
      f6c7ed54
  11. 27 Jul, 2016 1 commit
    • Alexandre Duret-Lutz's avatar
      active -Wsuggest-override where supported · 64c70366
      Alexandre Duret-Lutz authored
      * m4/gccwarn.m4: Add the option.
      * bin/autfilt.cc, bin/common_output.hh, bin/dstar2tgba.cc,
      bin/ltl2tgba.cc, bin/ltl2tgta.cc, bin/ltlcross.cc, bin/ltldo.cc,
      bin/ltlfilt.cc, bin/ltlgrind.cc, spot/kripke/kripke.hh,
      spot/ltsmin/ltsmin.cc, spot/ta/ta.hh, spot/ta/tgtaproduct.hh,
      spot/taalgos/dot.cc, spot/taalgos/reachiter.hh,
      spot/taalgos/statessetbuilder.cc, spot/taalgos/stats.cc,
      spot/twa/twaproduct.cc, spot/twaalgos/emptiness.cc,
      spot/twaalgos/gtec/ce.cc, spot/twaalgos/lbtt.cc,
      spot/twaalgos/ndfs_result.hxx, spot/twaalgos/stats.hh,
      spot/twaalgos/tau03opt.cc, tests/core/ngraph.cc: Add suggested override
      qualifiers.
      64c70366
  12. 24 Jul, 2016 1 commit
  13. 16 Feb, 2016 1 commit
  14. 28 Nov, 2015 1 commit
  15. 10 Nov, 2015 2 commits
    • Alexandre Duret-Lutz's avatar
      Use -Bsymbolic-functions and -Bsymbolic · 86abd6c1
      Alexandre Duret-Lutz authored
      This avoids dynamic lookups to resolve symbols inside the library, but
      disallows symbol interposition.
      
      * m4/symbolic.m4: New file.
      * buddy/m4/symbolic.m4: New link.
      * configure.ac, buddy/configure.ac: Add AX_SYMBOLIC.
      * buddy/src/Makefile.am, iface/ltsmin/Makefile.am, src/Makefile.am,
      wrap/python/Makefile.am: Link with $(SYMBOLIC_LDFLAGS).
      86abd6c1
    • Alexandre Duret-Lutz's avatar
      Update gnulib. · 4a773382
      Alexandre Duret-Lutz authored
      * lib/Makefile.am, lib/alloca.in.h, lib/argmatch.c, lib/argmatch.h,
      lib/argp-ba.c, lib/argp-eexst.c, lib/argp-fmtstream.c,
      lib/argp-fmtstream.h, lib/argp-fs-xinl.c, lib/argp-help.c,
      lib/argp-namefrob.h, lib/argp-parse.c, lib/argp-pin.c, lib/argp-pv.c,
      lib/argp-pvh.c, lib/argp-xinl.c, lib/argp.h, lib/asnprintf.c,
      lib/basename-lgpl.c, lib/c-ctype.c, lib/c-ctype.h, lib/c-strcase.h,
      lib/c-strcasecmp.c, lib/c-strcaseeq.h, lib/c-strncasecmp.c,
      lib/config.charset, lib/dirname-lgpl.c, lib/dirname.h, lib/dosname.h,
      lib/errno.in.h, lib/error.c, lib/error.h, lib/exitfail.c,
      lib/exitfail.h, lib/fcntl.in.h, lib/float+.h, lib/float.c,
      lib/float.in.h, lib/getopt.c, lib/getopt.in.h, lib/getopt1.c,
      lib/getopt_int.h, lib/gettext.h, lib/gettimeofday.c, lib/intprops.h,
      lib/isatty.c, lib/itold.c, lib/localcharset.c, lib/localcharset.h,
      lib/lstat.c, lib/malloc.c, lib/mbrtowc.c, lib/mbsinit.c, lib/memchr.c,
      lib/mempcpy.c, lib/mkstemp.c, lib/mkstemps.c, lib/msvc-inval.c,
      lib/msvc-inval.h, lib/msvc-nothrow.c, lib/msvc-nothrow.h, lib/pathmax.h,
      lib/printf-args.c, lib/printf-args.h, lib/printf-parse.c,
      lib/printf-parse.h, lib/progname.c, lib/progname.h, lib/quote.h,
      lib/quotearg.c, lib/quotearg.h, lib/rawmemchr.c, lib/ref-add.sin,
      lib/ref-del.sin, lib/secure_getenv.c, lib/size_max.h, lib/sleep.c,
      lib/stat.c, lib/stdalign.in.h, lib/stdbool.in.h, lib/stddef.in.h,
      lib/stdint.in.h, lib/stdio.in.h, lib/stdlib.in.h, lib/stpcpy.c,
      lib/strcasecmp.c, lib/strchrnul.c, lib/streq.h, lib/strerror-override.c,
      lib/strerror-override.h, lib/strerror.c, lib/string.in.h,
      lib/strings.in.h, lib/stripslash.c, lib/strncasecmp.c, lib/strndup.c,
      lib/strnlen.c, lib/strverscmp.c, lib/sys_stat.in.h, lib/sys_time.in.h,
      lib/sys_types.in.h, lib/sys_wait.in.h, lib/sysexits.in.h,
      lib/tempname.c, lib/tempname.h, lib/time.in.h, lib/unistd.c,
      lib/unistd.in.h, lib/vasnprintf.c, lib/vasnprintf.h, lib/verify.h,
      lib/vsnprintf.c, lib/wchar.in.h, lib/wctype.in.h, lib/xalloc-die.c,
      lib/xalloc-oversized.h, lib/xalloc.h, lib/xmalloc.c, lib/xsize.h,
      m4/00gnulib.m4, m4/absolute-header.m4, m4/alloca.m4, m4/argp.m4,
      m4/codeset.m4, m4/configmake.m4, m4/dirname.m4, m4/double-slash-root.m4,
      m4/errno_h.m4, m4/error.m4, m4/exponentd.m4, m4/extensions.m4,
      m4/extern-inline.m4, m4/fcntl-o.m4, m4/fcntl_h.m4, m4/float_h.m4,
      m4/getopt.m4, m4/gettimeofday.m4, m4/glibc21.m4, m4/gnulib-cache.m4,
      m4/gnulib-common.m4, m4/gnulib-comp.m4, m4/gnulib-tool.m4,
      m4/include_next.m4, m4/intmax_t.m4, m4/inttypes_h.m4, m4/isatty.m4,
      m4/largefile.m4, m4/localcharset.m4, m4/locale-fr.m4, m4/locale-ja.m4,
      m4/locale-zh.m4, m4/longlong.m4, m4/lstat.m4, m4/malloc.m4,
      m4/math_h.m4, m4/mbrtowc.m4, m4/mbsinit.m4, m4/mbstate_t.m4,
      m4/memchr.m4, m4/mempcpy.m4, m4/mkstemp.m4, m4/mkstemps.m4,
      m4/mmap-anon.m4, m4/msvc-inval.m4, m4/msvc-nothrow.m4, m4/multiarch.m4,
      m4/nocrash.m4, m4/off_t.m4, m4/pathmax.m4, m4/printf.m4, m4/quote.m4,
      m4/quotearg.m4, m4/rawmemchr.m4, m4/secure_getenv.m4, m4/size_max.m4,
      m4/sleep.m4, m4/ssize_t.m4, m4/stat.m4, m4/stdalign.m4, m4/stdbool.m4,
      m4/stddef_h.m4, m4/stdint.m4, m4/stdint_h.m4, m4/stdio_h.m4,
      m4/stdlib_h.m4, m4/stpcpy.m4, m4/strcase.m4, m4/strchrnul.m4,
      m4/strerror.m4, m4/string_h.m4, m4/strings_h.m4, m4/strndup.m4,
      m4/strnlen.m4, m4/strverscmp.m4, m4/sys_socket_h.m4, m4/sys_stat_h.m4,
      m4/sys_time_h.m4, m4/sys_types_h.m4, m4/sys_wait_h.m4, m4/sysexits.m4,
      m4/tempname.m4, m4/time_h.m4, m4/unistd_h.m4, m4/vasnprintf.m4,
      m4/vsnprintf.m4, m4/warn-on-use.m4, m4/wchar_h.m4, m4/wchar_t.m4,
      m4/wctype_h.m4, m4/wint_t.m4, m4/xalloc.m4, m4/xsize.m4,
      tools/snippet/arg-nonnull.h, tools/snippet/c++defs.h,
      tools/snippet/warn-on-use.h: Update.
      4a773382
  16. 21 Oct, 2015 1 commit
  17. 03 Oct, 2015 3 commits
    • Alexandre Duret-Lutz's avatar
      c8785a28
    • Alexandre Duret-Lutz's avatar
      Add noexcept to various constructors related to graphs. · 54935cb9
      Alexandre Duret-Lutz authored
      * m4/gccwarn.m4: Enable -Wnoexcept.
      * src/graph/graph.hh, src/twa/acc.hh, src/twa/twagraph.hh: Add noexcept
      to various constructors.
      54935cb9
    • Alexandre Duret-Lutz's avatar
      Enable -Wmissing-declarations in development mode. · 20365e53
      Alexandre Duret-Lutz authored
      * m4/gccwarn.m4: Add -Wmissing-declarations.
      * iface/ltsmin/ltsmin.cc, iface/ltsmin/modelcheck.cc,
      src/bin/common_trans.cc, src/bin/genltl.cc, src/bin/ltlgrind.cc,
      src/tests/acc.cc, src/tests/bitvect.cc, src/tests/checkpsl.cc,
      src/tests/checkta.cc, src/tests/complementation.cc,
      src/tests/consterm.cc, src/tests/emptchk.cc, src/tests/equalsf.cc,
      src/tests/graph.cc, src/tests/ikwiad.cc, src/tests/intvcmp2.cc,
      src/tests/intvcomp.cc, src/tests/kind.cc, src/tests/length.cc,
      src/tests/ltlprod.cc, src/tests/ltlrel.cc, src/tests/ngraph.cc,
      src/tests/randtgba.cc, src/tests/readltl.cc, src/tests/reduc.cc,
      src/tests/syntimpl.cc, src/tests/tostring.cc, src/tests/twagraph.cc,
      src/tl/contain.cc, src/twaalgos/dtgbacomp.cc, src/twaalgos/minimize.cc:
      Add "static" and move in anonymous namespace when appropriate.
      20365e53
  18. 30 Sep, 2015 1 commit
  19. 26 Sep, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      nullptr cleanup for -Wzero-as-null-pointer-constant · 1729a79a
      Alexandre Duret-Lutz authored
      Fixes #106.
      
      * m4/gccwarn.m4: Use -Wzero-as-null-pointer-constant if supported.
      * src/bin/autfilt.cc, src/bin/common_aoutput.cc,
      src/bin/common_finput.cc, src/bin/common_finput.hh,
      src/bin/common_output.cc, src/bin/common_output.hh,
      src/bin/common_post.cc, src/bin/common_r.hh, src/bin/common_range.hh,
      src/bin/common_setup.cc, src/bin/common_trans.cc, src/bin/dstar2tgba.cc,
      src/bin/genltl.cc, src/bin/ltl2tgba.cc, src/bin/ltl2tgta.cc,
      src/bin/ltlcross.cc, src/bin/ltldo.cc, src/bin/ltlfilt.cc,
      src/bin/ltlgrind.cc, src/bin/randaut.cc, src/bin/randltl.cc,
      src/bin/spot-x.cc, src/kripke/kripkeexplicit.cc, src/ltlast/formula.cc,
      src/ltlvisit/randomltl.cc, src/ltlvisit/randomltl.hh,
      src/ltlvisit/relabel.cc, src/ltlvisit/relabel.hh,
      src/ltlvisit/simplify.cc, src/ltlvisit/snf.hh, src/misc/fixpool.hh,
      src/misc/mspool.hh, src/misc/hash.hh, src/misc/optionmap.cc,
      src/misc/satsolver.cc, src/misc/tmpfile.cc, src/misc/tmpfile.hh,
      src/priv/bddalloc.cc, src/ta/ta.hh, src/ta/taexplicit.cc,
      src/ta/taexplicit.hh, src/ta/taproduct.cc, src/ta/tgtaexplicit.hh,
      src/ta/tgtaproduct.cc, src/taalgos/minimize.cc,
      src/taalgos/reachiter.cc, src/taalgos/tgba2ta.cc,
      src/tests/complementation.cc, src/tests/ikwiad.cc,
      src/tests/randtgba.cc, src/tests/reduc.cc, src/twa/bdddict.cc,
      src/twa/bddprint.cc, src/twa/taatgba.cc, src/twa/twa.cc,
      src/twa/twagraph.hh, src/twa/twaproduct.cc,
      src/twa/twasafracomplement.cc, src/twaalgos/bfssteps.cc,
      src/twaalgos/compsusp.cc, src/twaalgos/dtgbasat.cc,
      src/twaalgos/emptiness.cc, src/twaalgos/gtec/ce.cc,
      src/twaalgos/gv04.cc, src/twaalgos/ltl2taa.cc,
      src/twaalgos/ltl2tgba_fm.cc, src/twaalgos/ltl2tgba_fm.hh,
      src/twaalgos/magic.cc, src/twaalgos/minimize.cc,
      src/twaalgos/ndfs_result.hxx, src/twaalgos/postproc.cc,
      src/twaalgos/postproc.hh, src/twaalgos/reachiter.cc,
      src/twaalgos/reducerun.cc, src/twaalgos/safety.hh,
      src/twaalgos/sccfilter.hh, src/twaalgos/se05.cc,
      src/twaalgos/simulation.cc, src/twaalgos/tau03.cc,
      src/twaalgos/tau03opt.cc, src/twaalgos/translate.cc,
      src/twaalgos/translate.hh, utf8/utf8/core.h,
      bench/stutter/stutter_invariance_formulas.cc, iface/ltsmin/ltsmin.cc,
      iface/ltsmin/modelcheck.cc: Use nullptr to fix the warning.
      1729a79a
  20. 30 Jun, 2015 1 commit
  21. 01 Apr, 2015 1 commit
  22. 30 Oct, 2014 1 commit
    • Alexandre Duret-Lutz's avatar
      buddy: rename libbdd to libbddx · ad8d2422
      Alexandre Duret-Lutz authored
      * buddy/src/bdd.h, buddy/src/bvec.h, buddy/src/fdd.h: Rename as...
      * buddy/src/bddx.h, buddy/src/bvecx.h, buddy/src/fddx.h: ... these.
      * buddy/src/Makefile.am: Build libbddx.la instead of libbdd.la.
      * buddy/examples/Makefile.def: Use it.
      * Makefile.am, buddy/src/bddtest.cxx, buddy/src/bvec.c,
      buddy/src/cppext.cxx, buddy/src/fdd.c, buddy/src/imatrix.h,
      buddy/src/kernel.h, buddy/examples/adder/adder.cxx,
      buddy/examples/bddcalc/parser_.h, buddy/examples/bddtest/bddtest.cxx,
      buddy/examples/cmilner/cmilner.c, buddy/examples/fdd/fdd.cxx,
      buddy/examples/milner/milner.cxx, buddy/examples/money/money.cxx,
      buddy/examples/queen/queen.cxx, buddy/examples/solitare/solitare.cxx,
      m4/buddy.m4, src/ltlvisit/apcollect.hh, src/ltlvisit/simplify.hh,
      src/misc/bddlt.hh, src/misc/bddop.hh, src/misc/minato.hh,
      src/priv/acccompl.hh, src/priv/accconv.hh, src/priv/accmap.hh,
      src/priv/bddalloc.cc, src/tgba/bdddict.hh, src/tgba/bddprint.hh,
      src/tgba/tgbamask.hh, src/tgba/tgbasafracomplement.cc,
      src/tgbaalgos/emptiness.hh, src/tgbaalgos/gtec/sccstack.hh,
      src/tgbaalgos/neverclaim.cc, src/tgbaalgos/powerset.cc,
      src/tgbaalgos/sccfilter.hh, src/tgbaalgos/sccinfo.hh,
      src/tgbaalgos/weight.hh, wrap/python/buddy.i: Adjust.
      * NEWS, README: Document it.
      ad8d2422
  23. 26 Oct, 2014 1 commit
    • Alexandre Duret-Lutz's avatar
      lib: remove the gethrxtime module · 15710e7b
      Alexandre Duret-Lutz authored
      Since we are now using std::chrono from C++11.
      
      * lib/gethrxtime.c, lib/gethrxtime.h, lib/gettime.c, lib/timespec.c,
      lib/timespec.h, lib/xtime.c, lib/xtime.h, m4/clock_time.m4,
      m4/gethrxtime.m4, m4/gettime.m4, m4/timespec.m4: Delete these files.
      * lib/Makefile.am, m4/gnulib-cache.m4, m4/gnulib-comp.m4: Adjust.
      15710e7b
  24. 12 Feb, 2014 4 commits
  25. 18 Dec, 2013 1 commit
  26. 17 Dec, 2013 1 commit
    • Alexandre Duret-Lutz's avatar
      Upgrade to gnulib 6b8f1dd1a21ce49319795391e21adf645b64db3c. · 7cfda699
      Alexandre Duret-Lutz authored
      * m4/absolute-header.m4: New file.
      * lib/Makefile.am, lib/argp-fmtstream.h, lib/argp.h, lib/error.c,
      lib/gethrxtime.h, lib/intprops.h, lib/localcharset.c,
      lib/quotearg.c, lib/stdio.in.h, lib/strerror-override.h,
      lib/sys_time.in.h, lib/timespec.h, lib/unistd.in.h, lib/verify.h,
      lib/wctype.in.h, lib/xalloc.h, lib/xsize.h, lib/xtime.h,
      m4/configmake.m4, m4/extern-inline.m4, m4/gnulib-comp.m4,
      m4/include_next.m4, m4/unistd_h.m4: Update to today's gnulib.
      7cfda699
  27. 30 Sep, 2013 1 commit
    • Alexandre Duret-Lutz's avatar
      Add support for Bison 3.0. · 3c943d83
      Alexandre Duret-Lutz authored
      We still want to remain compatible with Bison 2.7 so instead of fixing
      all the new errors reported by 3.0 we silence some warning.  We should
      fix these for good once Bison 3.0 is more widespread.
      
      * m4/bison.m4: New file. Test if bison support -Wno-empty-rule and
      -Wno-deprecated.  Define BISON and BISON_EXTRA_FLAGS.
      * configure.ac: Do not test for yacc, use the above test instead.
      * src/dstarparse/Makefile.am, src/eltlparse/Makefile.am,
      src/kripkeparse/Makefile.am, src/ltlparse/Makefile.am,
      src/neverparse/Makefile.am, src/tgbaparse/Makefile.am: Use BISON
      and BISON_EXTRA_FLAGS.
      * src/ltlparse/ltlparse.yy: Fix or and remove useless %right/%nonassoc
      settings.
      * src/eltlparse/eltlparse.yy: Likewise, and remove "%pure-parser".
      3c943d83
  28. 26 Sep, 2013 1 commit
  29. 21 Aug, 2013 1 commit
  30. 29 Jul, 2013 5 commits
    • Alexandre Duret-Lutz's avatar
      gnulib: import module mkstemps · c0e7f9de
      Alexandre Duret-Lutz authored
      * lib/mkstemps.c, m4/mkstemps.m4: New files.
      * lib/Makefile.am, m4/gnulib-cache.m4, m4/gnulib-comp.m4: Update.
      c0e7f9de
    • Alexandre Duret-Lutz's avatar
      Fix gnulib to not replace gmtime() and localtime() · 16b7206d
      Alexandre Duret-Lutz authored
      It cause issues when <ctime> latter undefine the gmtime/localtime macros
      to access the real function.
      
      * lib/Makefile.am, lib/time.in.h, m4/gettimeofday.m4, m4/time_h.m4:
      These changes are mostly based on the patch posted in
      http://permalink.gmane.org/gmane.comp.lib.gnulib.bugs/29229 but
      with the prototype of gmtime() and localtime() fixed.
      16b7206d
    • Alexandre Duret-Lutz's avatar
      Update to gnulib 312af25ba220ccff068245f0dc698e9bcc8f03f8 · 96f32c73
      Alexandre Duret-Lutz authored
      * lib/.gitignore, lib/c-ctype.h, lib/msvc-inval.c, lib/stdalign.in.h,
      lib/vasnprintf.c, lib/verify.h, m4/extern-inline.m4, m4/stdalign.m4:
      Update.
      96f32c73
    • Alexandre Duret-Lutz's avatar
      gnulib: add module stpcpy · ab3a4f54
      Alexandre Duret-Lutz authored
      * lib/stpcpy.c, m4/stpcpy.m4: New files.
      * lib/Makefile.am, m4/gnulib-cache.m4, m4/gnulib-comp.m4: Update.
      ab3a4f54
    • Alexandre Duret-Lutz's avatar
      gnulib: Add modules argmatch and isatty. · 35129e5a
      Alexandre Duret-Lutz authored
      * lib/argmatch.c, lib/argmatch.h, lib/c-ctype.c, lib/c-ctype.h,
      lib/config.charset, lib/c-strcasecmp.c, lib/c-strcaseeq.h,
      lib/c-strcase.h, lib/c-strncasecmp.c, lib/exitfail.c, lib/exitfail.h,
      lib/isatty.c, lib/localcharset.c, lib/localcharset.h, lib/mbrtowc.c,
      lib/mbsinit.c, lib/quotearg.c, lib/quotearg.h, lib/quote.h,
      lib/ref-add.sin, lib/ref-del.sin, lib/streq.h, lib/wctype-h.c,
      lib/wctype.in.h, lib/xalloc-die.c, lib/xalloc.h, lib/xalloc-oversized.h,
      lib/xmalloc.c, m4/codeset.m4, m4/configmake.m4, m4/glibc21.m4,
      m4/isatty.m4, m4/localcharset.m4, m4/locale-fr.m4, m4/locale-ja.m4,
      m4/locale-zh.m4, m4/mbrtowc.m4, m4/mbsinit.m4, m4/mbstate_t.m4,
      m4/quotearg.m4, m4/quote.m4, m4/wctype_h.m4, m4/xalloc.m4: New files.
      * lib/Makefile.am, m4/gnulib-cache.m4, m4/gnulib-comp.m4: Update.
      35129e5a