[PPL-devel] Re: ppl os x ...

[Fred Mesnard]

Please can you give me the unix command to apply the patch ?

Fred

On Jan 29, 2006, at 11:22 AM, Roberto Bagnara wrote:

> Fred Mesnard wrote:
>> Any hint ?
>
> Yes: try the attached patch.  I will then ask you to do one or two
> extra tests when this is done.
>
>> Maybe I should use another email address for this kind of stuff ?
>
> ppl-devel at cs.unipr.it would be better because the discussion could
> benefit other people.
> Ciao,
>
>    Roberto
>
> --  
> Prof. Roberto Bagnara
> Computer Science Group
> Department of Mathematics, University of Parma, Italy
> http://www.cs.unipr.it/~bagnara/
> mailto:bagnara at cs.unipr.it
> Index: Float.inlines.hh
> ===================================================================
> RCS file: /cvs/ppl/ppl/src/Float.inlines.hh,v
> retrieving revision 1.16
> diff -u -d -r1.16 Float.inlines.hh
> --- Float.inlines.hh	1 Jan 2006 08:27:34 -0000	1.16
> +++ Float.inlines.hh	29 Jan 2006 07:13:14 -0000
> @@ -334,13 +334,13 @@
>    u.parts.msp = (negative ? MSP_SGN_MASK : 0);
>    u.parts.msp |= static_cast<uint64_t>(exponent + EXPONENT_BIAS)  
> << (MANTISSA_BITS - 64);
>  #if ULONG_MAX == 0xffffffffUL
> -  mpz_export(&u.parts.lsp, 0, 1, 8, 0, 0, mantissa)
> +  mpz_export(&u.parts.lsp, 0, 1, 8, 0, 0, mantissa);
>  #else
>    u.parts.lsp = mpz_get_ui(mantissa);
>  #endif
>    mpz_tdiv_q_2exp(mantissa, mantissa, 64);
>  #if ULONG_MAX == 0xffffffffUL
> -  mpz_export(&u.parts.lsp, 0, 1, 8, 0, 0, mantissa)
> +  mpz_export(&u.parts.lsp, 0, 1, 8, 0, 0, mantissa);
>  #else
>    m = mpz_get_ui(mantissa);
>  #endif