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)
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)