Hi again.
The configure option --enable-profile should automatically disable -fomit-frame-pointer. Otherwise gcc will stop because the options -pg and -fomit-frame-pointer are incompatible.
Ciao Sven
P.S. Are there any profiling tools available for use with Gambit besides plain old gprof?