> GMP is used by the compiler, not by the application, so you only need
> the version that the compiler will use.

Right, that's what I previously said. :-)  But Aleksandar apparently insists 
on having both versions installed.

-- 
Eric Botcazou

Reply via email to