gnulib: update to use its bitsets

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.
This commit is contained in:
Akim Demaille
2018-10-28 18:04:47 +01:00
parent deb2fc1dfc
commit bcecfbafab
24 changed files with 21 additions and 6723 deletions

17
lib/.gitignore vendored
View File

@@ -289,3 +289,20 @@
/timespec.h
/xtime.c
/xtime.h
/abitset.c
/abitset.h
/bbitset.h
/bitset.c
/bitset.h
/ebitset.c
/ebitset.h
/lbitset.c
/lbitset.h
/vbitset.c
/vbitset.h
/bitset_stats.c
/bitset_stats.h
/bitsetv-print.c
/bitsetv-print.h
/bitsetv.c
/bitsetv.h