Comment 1 for bug 159235

Revision history for this message
Jens Axel Søgaard (soegaard) wrote :

I ran into the exact same problem.

I downloaded the GMP source and compiled it with default options.
This produces a 64 bit libgmp, which doesn't work with Ikarus.
When you run configure for GMP set ABI to 32 bits.

(Thanks to my brother for figuring his out)