tags 589359 - pending thanks Le 17/07/2010 12:32, Laurent Fousse a écrit : > After removing the reference to `mpfr_random' in > mlgmpidl/gmp_random.idl then "make clean && make rebuild" apron fails > on "GMP_RND_MAX". [...] Indeed. > I'll try to provide a patch monday for apron. I'm looking forward to it. Thanks in advance, -- Stéphane