Files
emacs/lib
Paul Eggert c8b6006d82 Use Gnulib libgmp module
Instead of doing GMP by hand, use the Gnulib libgmp module.
* .gitignore: Add lib/gmp.h.
* admin/merge-gnulib (GNULIB_MODULES): Add libgmp.
* configure.ac (GMP_LIB, GMP_OBJ): Remove.  Gnulib uses the name
LIB_GMP, so all uses changed.  All uses of GMP_OBJ removed.
(HAVE_GMP): Set this from Gnulib’s variables.
* lib/gnulib.mk.in, m4/gnulib-comp.m4: Regenerate.
* lib/mini-gmp-gnulib.c, lib/mini-gmp.c, lib/mini-gmp.h, m4/libgmp.m4:
New files, copied from Gnulib.
* src/bignum.h, test/data/emacs-module/mod-test.c:
Include gmp.h unconditionally.
* src/mini-gmp-emacs.c, src/mini-gmp.c, src/mini-gmp.h:
Remove.  This moves these files from src to lib, and
updates them to the current GMP version.
* test/Makefile.in (GMP_H): New macro.
($(test_module)): Use it to decide whether to compile
mini-gmp-gnulib.c too.
2020-07-09 16:38:45 -07:00
..
2020-02-09 00:45:42 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-07-09 16:38:44 -07:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-03-28 14:08:11 -07:00
2020-05-11 17:54:23 -07:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2019-12-31 19:11:56 -08:00
2020-02-09 00:45:42 -08:00
2020-03-28 14:08:11 -07:00
2020-05-11 17:54:23 -07:00
2020-02-23 16:15:01 -08:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2020-02-22 10:33:45 -08:00
2020-06-27 10:07:12 -07:00
2020-02-22 10:33:45 -08:00
2019-12-31 19:11:56 -08:00
2020-05-09 08:50:57 -07:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-07-09 16:38:44 -07:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-05-03 15:10:07 -07:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-02-24 17:55:39 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2020-03-28 14:08:11 -07:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2019-12-31 19:11:56 -08:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-06-27 10:07:12 -07:00
2020-06-27 10:07:12 -07:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2020-06-27 10:07:12 -07:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-03-25 13:40:35 -07:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-07-09 16:38:44 -07:00
2019-12-31 19:11:56 -08:00
2019-12-31 19:11:56 -08:00
2020-06-27 10:07:12 -07:00
2020-07-09 16:38:45 -07:00
2019-12-31 19:11:56 -08:00
2020-05-03 15:10:07 -07:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-02-23 01:27:19 -08:00
2020-06-27 10:07:12 -07:00
2020-05-09 08:50:57 -07:00
2019-12-31 19:11:56 -08:00
2019-12-31 19:11:56 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2019-12-31 19:11:56 -08:00
2019-12-31 19:11:56 -08:00
2020-02-23 16:15:01 -08:00
2019-12-31 19:11:56 -08:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2020-07-09 16:38:45 -07:00
2020-07-09 16:38:45 -07:00
2020-07-09 16:38:45 -07:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2020-05-03 15:10:07 -07:00
2020-06-27 10:07:12 -07:00
2020-01-01 00:59:52 +00:00
2020-06-27 10:07:12 -07:00
2020-02-23 01:27:19 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-27 23:29:18 -08:00
2020-01-27 23:29:18 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2020-02-23 16:15:01 -08:00
2020-01-01 00:59:52 +00:00
2020-02-23 16:15:01 -08:00
2020-01-01 00:59:52 +00:00
2020-02-23 16:15:01 -08:00
2019-12-31 19:11:56 -08:00
2020-01-01 00:59:52 +00:00
2020-02-23 01:27:19 -08:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2019-12-31 19:11:56 -08:00
2019-12-31 19:11:56 -08:00
2020-01-01 00:59:52 +00:00
2020-05-09 08:50:57 -07:00
2020-05-09 08:50:57 -07:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-02-23 16:15:01 -08:00
2020-07-09 16:38:44 -07:00
2020-01-01 00:59:52 +00:00
2019-12-31 19:11:56 -08:00
2019-12-31 19:11:56 -08:00
2019-12-31 19:11:56 -08:00
2020-01-01 00:59:52 +00:00
2020-06-27 10:07:12 -07:00
2020-01-01 00:59:52 +00:00
2020-07-09 16:38:44 -07:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-06-27 10:07:12 -07:00
2020-06-27 10:07:12 -07:00
2019-12-31 19:11:56 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-02-23 01:27:19 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-07-09 16:38:44 -07:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-06-27 10:07:12 -07:00
2020-01-01 00:59:52 +00:00
2020-05-11 17:54:23 -07:00
2019-12-31 19:11:56 -08:00