Profiling support

[Torsten Bonde Christiansen]

Torbjorn Granlund wrote:
> The locate command doesn't necessarily locate everything ion your
> disk.  But if you're sure you;re linking to the right library, then I
> trust you.
>
> Does the GMP build system pass -pg option to the compiler during the
> build?
>
>   
It does pass -pg to the compiler during build (and linking) so the 
configure script does what it's supposed to do.
> If it does, then profiling is broken on your system, and that is not
> GMP's fault.  You need to resolve this with whoever put together your
> distribution.
>   
This is testes with exactly the same settings on three different linux 
systems. A gentoo installation (64 bit), an ubuntu 7.4 (64 bit) and 
ubuntu 7.10 (32 bit).
None of these systems are able to give me any profiling information.
> If the GMP build system doesn't pass -pg, then configure must have
> decided not to pass it, because a feature test gave some error.
> config.log should give details about the failure.
>
>   
and as states in last mail the "make check" compiles without any sign of 
problems.

I'm not stating that i'm convinced i'm right, merely i just can't seem 
to figure out where i could be wrong...

regards,
Torsten.