summaryrefslogtreecommitdiff
path: root/configure.ac
Commit message (Collapse)AuthorAgeFilesLines
...
* [configure.ac] Updated comments about configure options for mini-gmp.vlefevre2018-09-141-3/+9
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13189 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Do not check for CC and CFLAGS in gmp.h if mini-gmp isvlefevre2018-09-121-1/+9
| | | | | | | used, i.e. if --enable-mini-gmp (current option) or --with-mini-gmp (future option) is given. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13180 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] read GMP_NUMB_BITS from mini-gmp.h when availablezimmerma2018-08-281-6/+9
| | | | | | | (otherwise assume mp_limb_t == unsigned long) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13053 280ebfd0-de03-0410-8827-d642c229c3f4
* Renamed WANT_PROVEN_CODE to MPFR_WANT_PROVEN_CODE for consistency withvlefevre2018-08-231-1/+1
| | | | | | | the other WANT macros (and to avoid potential clashes with foreign .h files). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13018 280ebfd0-de03-0410-8827-d642c229c3f4
* For --enable-formally-proven-code, instead of requiring a check of thevlefevre2018-08-231-4/+0
| | | | | | | | | | type sizes in configure, just enable the proven code only if the types have the sizes expected by this code. * configure.ac: removed the FIXME. * src/add1sp.c, src/mul.c: updated the #if test that enables the proven code (add1sp1_extracted.c and mul_1_extracted.c). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13015 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Updated FIXME for --enable-formally-proven-codevlefevre2018-08-231-2/+3
| | | | | | (many failures with -m32 due to assumptions on type sizes). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13014 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Added a FIXME for --enable-formally-proven-code.vlefevre2018-08-231-0/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13013 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Updated message for --enable-formally-proven-code.vlefevre2018-08-231-1/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13012 280ebfd0-de03-0410-8827-d642c229c3f4
* added configure option --enable-formally-proven-code and corresponding codezimmerma2018-08-231-0/+8
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13011 280ebfd0-de03-0410-8827-d642c229c3f4
* [acinclude.m4,configure.ac] Check the support of the group flag forvlefevre2018-07-271-1/+2
| | | | | | | | native integers, which is a Single UNIX Specification extension. [tests/tsprintf.c] Test the group flag with the P length modifier only when supported, since the implementation relies on this support. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12964 280ebfd0-de03-0410-8827-d642c229c3f4
* Shared caches: fix and minor changes.vlefevre2018-07-181-1/+1
| | | | | | | | | | | | | | * Fixed detection and use of C11 thread support: the C11 header is <threads.h>, not <thread.h>. * Renamed WANT_SHARED_CACHE to MPFR_WANT_SHARED_CACHE for consistency with the other MPFR_WANT_* macros. * Added MPFR_THREAD_LOCK_METHOD macro, giving the thread locking method as a string (when shared caches are enabled). * doc/README.dev: documented 4 macros for shared caches. * tests/tversion.c: output MPFR_WANT_SHARED_CACHE and MPFR_THREAD_LOCK_METHOD information. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12937 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Do not do specific CFLAGS settings for MS-Windows ICC.vlefevre2018-06-231-4/+5
| | | | | | See <https://sympa.inria.fr/sympa/arc/mpfr/2018-06/msg00027.html>. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12855 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] For the ICC check, also test __INTEL_COMPILER.vlefevre2018-04-181-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12618 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Corrected comment for the ICC check (GCC is no longervlefevre2018-04-181-3/+2
| | | | | | disabled since r5720). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12617 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac,acinclude.m4] added new macro MPFR_INTMAX_WITHIN_LIMBzimmerma2018-02-231-0/+1
| | | | | | | [src/get_sj.c] optimized the code when MPFR_INTMAX_WITHIN_LIMB=1 git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12426 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] For --enable-float128, this is still autodetect, e.g.:vlefevre2018-02-221-2/+3
| | | | | | | | checking if compiler knows _Float128 with C99 constants... no Added a FIXME: a fallback to __float128 is necessary to avoid regressions. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12400 280ebfd0-de03-0410-8827-d642c229c3f4
* changed __float128 (gcc specific) into the standard type _Float128zimmerma2018-02-221-5/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12391 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] detect mpn_rsblsh1_n instead of mpn_rsblsh_nzimmerma2018-02-141-1/+2
| | | | | | | [src/sub1sp.c] use mpn_rsblsh1_n instead of mpn_rsblsh_n with k=1 git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12238 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] In the CC and CFLAGS setup from gmp.h, added to thevlefevre2018-01-221-1/+1
| | | | | | | cpp list: "clang -E"; "cl -E" and "icl -E" for Windows ICC and MSVC (suggested by Alexander). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12115 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2018 withvlefevre2018-01-031-1/+1
| | | | | | | | | | perl -pi -e 's/ (\d{4}-)?(2017)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh, reverting the ck-mparam and timings-mpfr.c files and the mbench directory under "tools" (not distributed with MPFR). Removed 2017 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12067 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated version to 4.1.0-dev again.vlefevre2017-12-201-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12025 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated version to 4.0.0-rc2 for an attempt to replace the 4.0 branch.vlefevre2017-12-201-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12023 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated version to 4.1.0-dev again.vlefevre2017-12-181-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11991 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated version to 4.0.0-rc2 for an attempt to replace the 4.0 branch.vlefevre2017-12-171-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11989 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Improved error message.vlefevre2017-12-121-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11968 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated version to 4.1.0-dev.vlefevre2017-12-081-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11933 280ebfd0-de03-0410-8827-d642c229c3f4
* Switched other gmplib.org URL's to https.vlefevre2017-09-081-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11729 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Added a comment about the DLL version.vlefevre2017-08-281-0/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11676 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Updated DLL version to 6 (cur - age).vlefevre2017-08-281-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11675 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Under Linux, make sure that the old dtags are usedvlefevre2017-07-171-0/+30
| | | | | | | | | if LD_LIBRARY_PATH is defined, avoiding the following issue: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=859732 https://lists.gnu.org/archive/html/libtool/2017-05/msg00000.html (merged changeset r11587 from the 3.1 branch) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11588 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Improved some AC_DEFINE comments.vlefevre2017-06-031-3/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11578 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2017 withvlefevre2017-01-011-1/+1
| | | | | | | | | perl -pi -e 's/ (\d{4}-)?(2016)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh, reverting the tools/mbench directory (not distributed with MPFR). Removed 2016 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11117 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sub1sp.c] implement use of __gmpn_rsblsh_n (disabled for now)zimmerma2016-07-151-1/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10620 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/div.c] only use __gmpn_invert_limb with --enable-gmp-internalszimmerma2016-07-151-0/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10619 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Re-added AM_PROG_AR in case Microsoft lib.exe is usedvlefevre2016-05-241-0/+5
| | | | | | (without this, "automake --warnings=all" gives a warning). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10355 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Moved LT_INIT near the top for --enable-lto, and removedvlefevre2016-05-241-4/+2
| | | | | | | AM_PROG_AR (no longer needed as done by LT_INIT) and AC_PROG_RANLIB (obsoleted by LT_INIT). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10353 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Removed a FIXME fixed in r4482.vlefevre2016-05-241-5/+0
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10351 280ebfd0-de03-0410-8827-d642c229c3f4
* Added optional LTO support (from a patch by Patrick Pélissier).vlefevre2016-05-241-0/+13
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10345 280ebfd0-de03-0410-8827-d642c229c3f4
* MPFR 3.2(.x) → 4.0(.x)vlefevre2016-05-241-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10335 280ebfd0-de03-0410-8827-d642c229c3f4
* Added shared cache support (from a patch by Patrick Pélissier).vlefevre2016-05-231-0/+11
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10327 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Added a comment about GMP CC/CFLAGS detection.vlefevre2016-05-121-1/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10291 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Better GMP CC/CFLAGS detection (based on a patch byvlefevre2016-05-121-18/+15
| | | | | | Patrick Pélissier). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10290 280ebfd0-de03-0410-8827-d642c229c3f4
* add -P option to cpp when detecting CC/CFLAGS in gmp.h (workaround for gcc-5)zimmerma2016-05-111-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10289 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Improved the GMP CC/CFLAGS detection: the test for $cppvlefevre2016-04-211-3/+3
| | | | | | | was not checking whether gmp.h could actually be included, so that the code was outputting "yes" even when gmp.h was not installed. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10276 280ebfd0-de03-0410-8827-d642c229c3f4
* Added pkg-config support (patch from Kip Warner + some changes).vlefevre2016-04-211-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10272 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] "double format" test: changed the AC_MSG_ERROR (whenvlefevre2016-04-201-1/+1
| | | | | | not recognized) to AC_MSG_WARN (like with long double). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10269 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] No longer include <stdint.h> in the "double format" testvlefevre2016-04-201-1/+0
| | | | | | (it is unnecessary and doesn't exist everywhere). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10268 280ebfd0-de03-0410-8827-d642c229c3f4
* [configure.ac] Improved --help messages for decimal-float and float128vlefevre2016-03-031-2/+4
| | | | | | (a bit like what was done for thread-safe). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10194 280ebfd0-de03-0410-8827-d642c229c3f4
* set --enable-float128 to "autodetect" by default (like --enable-decimal-float)zimmerma2016-03-031-9/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10192 280ebfd0-de03-0410-8827-d642c229c3f4
* [acinclude.m4,configure.ac] Various fixes in error messages.vlefevre2016-03-021-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10187 280ebfd0-de03-0410-8827-d642c229c3f4
View Lorry Controller Status