The result:
heine:~/programs/gambit/gambit> gdb gsi/gsi GNU gdb (Ubuntu 7.10-1ubuntu2) 7.10 Copyright (C) 2015 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later http://gnu.org/licenses/gpl.html This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Type "show copying" and "show warranty" for details. This GDB was configured as "x86_64-linux-gnu". Type "show configuration" for configuration details. For bug reporting instructions, please see: http://www.gnu.org/software/gdb/bugs/. Find the GDB manual and other documentation resources online at: http://www.gnu.org/software/gdb/documentation/. For help, type "help". Type "apropos word" to search for commands related to "word"... Reading symbols from gsi/gsi...done. (gdb) run Starting program: /home/lucier/programs/gambit/gambit/gsi/gsi [Thread debugging using libthread_db enabled] Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1". control point 0 in _kernel control point 0 in _system control point 6 in ##load-required-module-structs control point 0 in _num control point 0 in ##make-table control point 3 in _num *** incorrect ___pc was returned
It was compiled with ---enable-single-host, so I don’t know what you expected.
Brad