On Nov 1, 2007, at 11:16 AM, Jens Axel Søgaard wrote:
> Aziz,
>
> The reascon it was a little tricky to figure out, was that
> configure reported that GMP was present and that it worked.
> If configure tests the same version of libgmp that actually
> gets linked, it will be possible to warn the user early.
Thanks Jens for your help.
I will try to see how to get autoconf to do that. In the
meanwhile, I will post your workaround to the Answers page.
On Nov 1, 2007, at 11:16 AM, Jens Axel Søgaard wrote:
> Aziz,
>
> The reascon it was a little tricky to figure out, was that
> configure reported that GMP was present and that it worked.
> If configure tests the same version of libgmp that actually
> gets linked, it will be possible to warn the user early.
Thanks Jens for your help.
I will try to see how to get autoconf to do that. In the
meanwhile, I will post your workaround to the Answers page.
Thanks again.
Aziz,,,