summaryrefslogtreecommitdiff
path: root/lib
Commit message (Collapse)AuthorAgeFilesLines
* cex: provide the user with a means to change the timeoutAkim Demaille2022-09-161-0/+2
| | | | | | | | | | | | | Reported by Frank Heckenbach. https://lists.gnu.org/r/bug-bison/2022-07/msg00011.html * bootstrap.conf: Use c_strtod, so that even in French locales "1.5" is accepted, instead of "1,5". * src/counterexample.c, src/state-item.c: Use xtime_t instead of time_t, so that accuracy goes from seconds to nanoseconds. ( counterexample_init): Depend on cex.timeout rather than $TIME_LIMIT. * doc/bison.texi (%define Summary): Document cex.timeout.
* gnulib: updateAkim Demaille2022-09-101-0/+2
|
* maint: update .gitignore for GnulibPaul Eggert2022-07-312-0/+2
|
* gnulib: updateAkim Demaille2022-01-231-0/+2
|
* package: bump copyrights to 2022Paul Eggert2022-01-158-8/+8
| | | | Run "make update-copyright".
* gnulib: updateAkim Demaille2021-09-131-0/+1
|
* portability: don't use strtofAkim Demaille2021-09-111-0/+1
| | | | | | | | | | | | It is not available on HP-UX 11i. Reported by Larkin Nickle <me@larbob.org>. <https://lists.gnu.org/r/bug-bison/2021-09/msg00012.html> Gnulib provides no replacement, but anyway we should be using doubles, since difftime uses doubles. * bootstrap.conf: We want portability on stdtod. * src/counterexample.c: Use double, not float, for time measurements.
* gnulib: updateAkim Demaille2021-08-031-1/+0
|
* gnulib: updateAkim Demaille2021-06-231-0/+3
|
* output: cache the mapped file namesAkim Demaille2021-02-261-0/+6
| | | | | | | | | | | | | | | Don't repeatedly call malloc/free for each call to map_file_name. * bootstrap.conf: We need hash-map. * src/files.h, src/files.c (map_file_name): The caller must not free the result. Adjust callers. (mapped_dir_prefix, spec_mapped_header_file): Remove. * src/files.c (map_file_name): Rename as... (map_file_name_alloc): this. (mapped_files, map_file_name, string_equals, string_hash, string_free): New.
* gnulib: updateAkim Demaille2021-02-261-0/+5
|
* Update URLs to prefer https: to http:Paul Eggert2021-01-296-6/+6
| | | | Also, fix a few http: URLs that were no longer working.
* package: bump copyrights to 2021Akim Demaille2021-01-168-8/+8
| | | | Run 'make update-copyright'.
* gnulib: updateAkim Demaille2021-01-161-0/+46
| | | | * src/output.c, src/print-xml.c: Adjust.
* glr2.cc: example: style: add missing copyright headersAkim Demaille2020-12-191-0/+2
| | | | | * examples/c++/glr/ast.hh, examples/c++/glr/c++-types.yy: here. * examples/c++/glr/local.mk: Fix distribution of ast.hh.
* gnulib: updateAkim Demaille2020-11-301-1/+5
|
* gnulib: updateAkim Demaille2020-11-201-0/+4
| | | | | * Makefile.am (gitsort): New. Use it.
* add support for --htmlAkim Demaille2020-09-192-0/+3
| | | | | | | | | * bootstrap.conf: We need the "execute" module. * src/files.h, src/files.c (spec_html_file, html_flag): New. * src/getargs.h, src/getargs.c (--html): New. * src/print-xml.h, src/print-xml.c (print_html): New. * src/main.c: Use them. * tests/output.at, tests/report.at: Check --html.
* gnulib: updateAkim Demaille2020-08-301-0/+1
|
* CI: intel moved the script for ICCAkim Demaille2020-08-111-0/+1
| | | | * .travis.yml: Adjust.
* portability: we use termios.h and sys/ioctl.hAkim Demaille2020-08-021-0/+1
| | | | | | | Reported by Maarten De Braekeleer. https://lists.gnu.org/r/bison-patches/2020-07/msg00079.html * bootstrap.conf (gnulib_modules): Add termios and sys_ioctl.
* libtextstyle: be sure to have ostream_printf and hyperlink supportAkim Demaille2020-08-021-2/+0
| | | | | | | | | | | | | | | | | | | | | | Older versions of libtextstyle do not support them, rule them out. Reported by Lars Wendler https://lists.gnu.org/r/bug-bison/2020-07/msg00030.html and by Arnold Robbins https://lists.gnu.org/r/bug-bison/2020-07/msg00041.html and https://lists.gnu.org/mailman/private/gawk-devel/2020-July/003988.html and by Nelson H. F. Beebe https://lists.gnu.org/mailman/private/gawk-devel/2020-July/003993.html With support from Bruno Haible in gnulib https://lists.gnu.org/r/bug-gnulib/2020-08/msg00000.html thread starting at https://lists.gnu.org/r/bug-gnulib/2020-07/msg00148.html * configure.ac: Require libtextstyle 0.20.5. * gnulib: Update.
* style: avoid strncpyAkim Demaille2020-07-191-0/+1
| | | | | | | | | | | | syntax-check seems to dislike strncpy. The GNU Coreutils replaced their uses of strncpy with stpncpy. strlcpy is not an option. http://sources.redhat.com/ml/libc-alpha/2002-01/msg00159.html http://sources.redhat.com/ml/libc-alpha/2002-01/msg00011.html http://lists.gnu.org/archive/html/bug-gnulib/2004-09/msg00181.html * src/glyphs.c: Use stpncpy.
* gnulib: updateAkim Demaille2020-07-091-0/+1
|
* cex: don't assume the terminal supports "•"Akim Demaille2020-06-161-0/+23
| | | | | | | | | | Use of print_unicode_char suggested by Bruno Haible. https://lists.gnu.org/r/bug-gettext/2020-06/msg00012.html * src/gram.h (print_dot_fallback, print_dot): New. * src/gram.c, src/derivation.c: Use it. * tests/counterexample.at, tests/report.at: Adjust the test suite. * .travis.yml, README-hacking.md: Adjust.
* cex: add gnulib dependenciesAkim Demaille2020-05-221-0/+21
| | | | * bootstrap.conf (gnulib_modules): Add linked-list.
* gnulib: update, and use the attribute moduleAkim Demaille2020-05-081-0/+1
| | | | | | | | | * gnulib: Update. * bootstrap.conf: Use attribute. * src/system.h: Remove macros for attributes. Adjust dependencies. * src/scan-gram.l (DEPRECATED): Rename as... (DEPRECATED_DIRECTIVE): this, to avoid the clash with the DEPRECATED macro.
* gnulib: updateAkim Demaille2020-04-131-1/+0
|
* gnulib: use readlineAkim Demaille2020-03-011-0/+4
|
* gnulib: updateAkim Demaille2020-02-101-0/+2
|
* git: update ignoresAkim Demaille2020-01-261-0/+1
| | | | * lib/.gitignore: here.
* gnulib: updateAkim Demaille2020-01-111-0/+10
|
* package: bump copyrights to 2020Akim Demaille2020-01-108-8/+8
| | | | Run 'make update-copyright'.
* gnulib: updateAkim Demaille2019-11-111-0/+2
|
* diagnostics: suggest fixes for undeclared symbolsAkim Demaille2019-10-062-0/+7
| | | | | | | | | | | | | | | | | | | | | | From input.y:1.17-19: warning: symbol baz is used, but is not defined as a token and has no rules [-Wother] 1 | %printer {} foo baz | ^~~ to input.y:1.17-19: warning: symbol 'baz' is used, but is not defined as a token and has no rules; did you mean 'bar'? [-Wother] 1 | %printer {} foo baz | ^~~ | bar * bootstrap.conf: We need fstrcmp. * src/symtab.c (symbol_from_uniqstr_fuzzy): New. (complain_symbol_undeclared): Use it. * tests/diagnostics.at (Suggestions): New. * data/bison-default.css (insertion): Rename as... (fixit-insert): this, as this is what GCC uses.
* diagnostics: learn how to count column number with multibyte charsAkim Demaille2019-09-221-0/+5
| | | | | | | | | | | | | | | | | | | | | | So far diagnostics were cheating: in addition to the 'column' field of locations (based on actual screen width per multibyte characters and on tabulation expansion), the scanner sets the 'byte' field. Diagnostics used this byte count to decide where to insert (color) style. We want to be able to truncate the quoted lines when there are too wide to fit the screen. This requires that the diagnostics learn how to count columns, the byte-in-boundary trick no longer works. Bytes are still used for fix-its. * bootstrap.conf: We need mbfile for mbf_getc. * src/location.c (caret_info): We need an mbfile. (caret_set_file): Initialize it. (caret_getc): Convert to mbfile. (location_caret): Instead of relying on the byte position to decide where to insert the color style, count the current column using boundary_compute.
* git: update ignoresAkim Demaille2019-09-221-0/+2
|
* gnulib: updateAkim Demaille2019-09-111-13/+18
| | | | | | | | Contains the creation of the xhash module. https://lists.gnu.org/archive/html/bug-gnulib/2019-09/msg00046.html * src/muscle-tab.c, src/state.c, src/symtab.c, src/uniqstr.c: Use hash_xinitialize.
* gnulib: updateAkim Demaille2019-06-221-0/+7
|
* diagnostics: use gnulib's libtextstyle-optionalAkim Demaille2019-03-241-0/+2
| | | | | | | | | | Bruno Haible just added a default implementation of libtextstyle's interface when the library is not available. https://lists.gnu.org/archive/html/bison-patches/2019-03/msg00025.html * gnulib: Update. * bootstrap.conf: Replace libtextstyle with libtextstyle-optional. * src/complain.c, src/getargs.c: Remove now useless cpp guards.
* style: prefer snprintf to sprintfAkim Demaille2019-02-031-0/+1
| | | | | | * src/symtab.c (dummy_symbol_get): There's no need for the buffer to be so big and static. Use snprintf for safety.
* diagnostics: update the grammar fileAkim Demaille2019-01-141-0/+3
| | | | | | | | | Let's use the fixits to actually update the grammar files. * src/getargs.h, src/getargs.c (update_flag): New. * src/fixits.h, src/fixits.c (fixits_run): New. * src/main.c (main): Invoke fixits_run when --update is passed. * tests/input.at (Deprecated directives): Check --update.
* diagnostics: keep the fixitsAkim Demaille2019-01-141-36/+42
| | | | | | | | | | Introduce proper support for fixits, instead of just printing them on demand. * bootstrap.conf: We need gnulib's xlists. * src/fixits.h, src/fixits.c: New. * src/complain.c (deprecated_directive): Use fixits_register. * src/main.c (main): Use fixits_free.
* package: bump copyrights to 2019Akim Demaille2019-01-058-10/+13
|
* package: make bison a relocatable packageAkim Demaille2018-12-251-0/+15
| | | | | | | | | | | | | | | | | | Suggested by David Barto https://lists.gnu.org/archive/html/help-bison/2015-02/msg00004.html and Victor Zverovich. https://lists.gnu.org/archive/html/bison-patches/2018-10/msg00121.html This is very easy to do, thanks to work by Bruno Haible in gnulib. See "Supporting Relocation" in gnulib's documentation. * bootstrap.conf: We need relocatable-prog and relocatable-script (for yacc). * src/yacc.in: New. * configure.ac, src/local.mk: Instantiate it. * src/main.c, src/output.c (main, pkgdatadir): Use relocatable2. * doc/bison.texi (FAQ): Document it.
* gnulib: updateAkim Demaille2018-11-291-11/+1
|
* gnulib: update ignoresAkim Demaille2018-11-261-13/+11
|
* gnulib: update to use its bitsetsAkim Demaille2018-11-2619-6719/+17
| | | | | | | | | | | | | | Bison's bitset were moved to gnulib. * lib/abitset.c, lib/abitset.h, lib/bbitset.h, lib/bitset.c, * lib/bitset.h, lib/ebitset.c, lib/ebitset.h, lib/lbitset.c, * lib/bitset_stats.c, lib/bitset_stats.h, lib/bitsetv-print.c, * lib/bitsetv-print.h, lib/bitsetv.c, lib/bitsetv.h, * lib/lbitset.h, lib/vbitset.c, lib/vbitset.h: Remove. * gnulib: Update. * bootstrap.conf, lib/local.mk: Adjust.
* bitset: fix warningAkim Demaille2018-10-301-1/+1
| | | | | | | Reported by Hans Åberg. http://lists.gnu.org/archive/html/bug-bison/2018-10/msg00047.html * lib/bitset.c (bitset_count_): here.
* build: fix use of gnulib Make variablesAkim Demaille2018-10-301-9/+0
| | | | | | | | Reported by Kiyoshi Kanazawa. http://lists.gnu.org/archive/html/bug-bison/2018-10/msg00048.html * lib/local.mk (lib_libbison_a_LIBADD): Merge into... * src/local.mk (src_bison_LDADD): here.