Profiling support

Torsten Bonde Christiansen torsten at
Tue Jan 15 21:35:42 CET 2008

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 

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


More information about the gmp-bugs mailing list