On 16/07/2014 14:03, Roman Gareev wrote:
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?
isl 0.12.2 is always compiled with GMP support. Only for the unreleased isl-0.14 imath was introduced as an alternative.
Cheers, Tobias
