Mathemagix

[Joris van der Hoeven <address@concealed>]

Hi all,

As the title indicates...
Raouf and Julien; please retry.

I also added flags --with-readline, --with-gmp and --with-mpfr for
the global configuration. Raouf: you may try to install your personal
(latest) version of readline. I had no problems on my machine.

Best wishes, Joris