在Embeddable Common Lisp中静态编译含Quicklisp库代码的方法

问题根源 #

• 在目标代码中加载quicklisp会导致运行时触发ASDF解释加载，而ECL的clines等特殊形式仅支持编译期处理，解释器环境下直接报错。
• 编译脚本中加载quicklisp后出现main未定义，是因为依赖库加载逻辑干扰了ECL生成程序入口函数的流程。

解决步骤 #

1. 预准备依赖库 #

先在ECL交互环境中验证依赖库可正常加载，确保quicklisp已正确配置：

(load "~/quicklisp/setup.lisp")
(quicklisp:quickload :iterate)

确认无报错后再进入编译流程。

2. 编写编译脚本（build.lisp） #

编译脚本需先初始化quicklisp、加载依赖，再编译目标代码并生成静态程序，同时明确指定入口逻辑避免main未定义：

;; 初始化quicklisp环境
(load "~/quicklisp/setup.lisp")
(quicklisp:quickload :iterate)

;; 编译目标代码，标记为系统组件以确保依赖链接
(compile-file "test.lisp" :system-p t)

;; 生成静态链接可执行文件
(c:build-program "test-static"
                 :lisp-files '("test.o")
                 :epilogue-code '(progn (test-main) (si:exit))
                 :static t)

• :system-p t：将编译产物标记为系统组件，保证依赖库的代码被正确纳入链接。
• :epilogue-code：指定程序启动时执行的入口函数test-main，并通过si:exit确保程序正常退出。

3. 编写目标代码（test.lisp） #

目标代码无需包含quicklisp加载逻辑，直接使用依赖库即可：

(defun test-main ()
  (iterate:iterate (for i from 1 to 5)
                   (format t "Iteration ~a: Hello World!~%" i)))

4. 执行编译 #

在终端运行ECL执行编译脚本：

ecl --load build.lisp

关键注意事项 #

• 确保ECL为静态编译版本：在Alpine Linux编译ECL时，需添加--enable-static配置参数，否则无法生成完全静态的可执行文件。
• 处理依赖库的静态链接：若依赖库包含C代码，需确保这些代码被静态链接，编译ECL时可添加对应参数（如--with-system-gmp）处理系统库依赖。
• 禁止运行时加载依赖：所有依赖库必须在编译期完成加载，不能留到程序运行时通过quicklisp加载，否则会触发解释器环境错误。

内容的提问来源于stack exchange，提问作者Sod Almighty