$ gdb ./lx86cl64 GNU gdb (Ubuntu 8.1-0ubuntu3.2) 8.1.0.20180409-git Copyright (C) 2018 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 ./lx86cl64...done.
# 加载 CCL 配套的调试脚本。 (gdb) source lisp-kernel/linuxx8664/.gdbinit Breakpoint 1 at 0x2a2e0: file ../lisp-debug.c, line 1579.
# 启动 CCL 。 (gdb) r Starting program: /home/xps13/ccl/lx86cl64 [Thread debugging using libthread_db enabled] Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1". [New Thread 0x7fffd6fd1700 (LWP 32756)] Clozure Common Lisp Version 1.12 (v1.12-2-g5d13fc7d) LinuxX8664
For more information about CCL, please see http://ccl.clozure.com.
CCL is free software. It is distributed under the terms of the Apache Licence, Version 2.0. ?