> Could you prepare such a patch?

Yes, I've started working on it.

I have a question about isl. Can we require that isl is always
compiled with GMP support?

--
                                   Cheers, Roman Gareev

Reply via email to