make check fails (Geert Jan BEX)

Geert Jan BEX geertjan.bex at uhasselt.be
Wed Jan 21 15:55:27 UTC 2015


Dear all,

Thanks, I'll try the patch (hope to have time tomorrow) and let you know
the result.

Best regards, -gjb-

On Mon, Jan 19, 2015 at 8:49 PM, Torbjörn Granlund <tg at gmplib.org> wrote:

> Could somebody with icc installed please try this patch on x86 and ia64?
>
>   configure CC=icc && make && make check
>
> (There will be some line skew when applying the patch.)
>
> diff -r 2483c36be4be configure.ac
> --- a/configure.ac      Mon Jan 19 20:23:58 2015 +0100
> +++ b/configure.ac      Mon Jan 19 20:46:51 2015 +0100
> @@ -837,6 +837,7 @@
>         # But icc miscompiles GMP at any optimization level, at higher
> levels
>         # it miscompiles more files...
>         icc_cflags_opt="-O2 -O1"
> +       icc_cflags_opt_maybe="-fp-model~precise"
>         ;;
>
>        *-*-hpux*)
> @@ -1574,6 +1575,7 @@
>      icc_cflags="-no-gcc"
>      icc_cflags_optlist="opt"
>      icc_cflags_opt="-O3 -O2 -O1"
> +    icc_cflags_opt_maybe="-fp-model~precise"
>      any_32_testlist="sizeof-long-4"
>      gcc_cflags_optlist="cpu arch noavx"
>      CALLING_CONVENTIONS_OBJS='x86call.lo x86check$U.lo'
>
>
> --
> Torbjörn
> Please encrypt, key id 0xC8601622
>



-- 
- dr. Geert Jan BEX
- HPC analyst/consultant Hasselt University & University of Leuven
- email:                geertjan.bex at uhasselt.be
- homepage:         http://alpha.uhasselt.be/~gjb/
- PGP public key: http://alpha.uhasselt.be/~gjb/pgp.txt
---------------------------------------------------------


More information about the gmp-bugs mailing list