Paul Eggert
d216d7d248
Substitute a <ieee754.h> on hosts lacking it
...
* .gitignore: Add lib/ieee754.h.
* admin/merge-gnulib (GNULIB_MODULES): Add ieee754-h.
* configure.ac: Remove ieee754.h check, as Gnulib now does that.
* etc/NEWS: Mention this.
* lib/gnulib.mk.in, m4/gnulib-comp.m4: Regenerate.
* lib/ieee754.in.h, m4/ieee754-h.m4: New files, from Gnulib.
* src/lisp.h (IEEE_FLOATING_POINT): Now a macro so that it
can be used in #if.
* src/lread.c, src/print.c: Include <ieee754.h> if
IEEE_FLOATING_POINT, not if HAVE_IEEE754_H.
* src/lread.c (string_to_number):
* src/print.c (float_to_string):
Process NaNs only on IEEE hosts, and assume <ieee754.h>
in that case.
2018-08-01 19:01:51 -07:00
..
2017-03-14 14:50:02 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-06-29 17:32:35 -07:00
2018-06-29 17:32:35 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-03-07 17:56:28 -08:00
2017-12-31 17:21:33 -08:00
2015-09-25 00:23:18 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-10-01 18:31:10 -07:00
2017-03-03 09:19:08 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2018-05-21 11:43:07 -07:00
2018-05-21 11:43:07 -07:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-05-21 11:43:07 -07:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-01-01 01:25:56 -08:00
2018-01-01 01:25:56 -08:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-06-29 17:32:35 -07:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2018-07-03 23:51:31 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-06-29 17:32:35 -07:00
2018-08-01 19:01:51 -07:00
2017-12-31 17:21:33 -08:00
2018-08-01 19:01:51 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-01-01 00:57:59 -08:00
2018-06-29 17:32:35 -07:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-02-01 09:21:39 -08:00
2018-05-21 11:43:07 -07:00
2016-09-30 12:38:52 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-05-21 11:43:07 -07:00
2018-06-29 17:32:35 -07:00
2017-12-31 17:21:33 -08:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-06-29 17:32:35 -07:00
2018-06-29 17:32:35 -07:00
2018-05-21 11:43:07 -07:00
2018-06-29 17:32:35 -07:00
2018-05-21 11:43:07 -07:00
2018-06-29 17:32:35 -07:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-01-09 15:22:37 -08:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-05-21 11:43:07 -07:00
2018-05-21 11:43:07 -07:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-03-27 13:31:23 -07:00
2017-12-31 17:21:33 -08:00
2018-06-29 17:32:35 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2018-05-21 11:43:07 -07:00
2015-10-13 23:34:47 -07:00
2017-12-31 17:21:33 -08:00
2015-10-13 23:34:47 -07:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2018-05-21 11:43:07 -07:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00
2017-12-31 17:21:33 -08:00