Haven't used SBCL in a while, so just to confirm: is this a better alternative to SB-EXT:SAVE-LISP-AND-DIE?
As I understand it, this work is attempting to remove even those last few dynamic dependencies so you can distribute the dumped executable and be done.
So, better if you want simpler distribution at the cost of larger executables.
1. compile & load all lisp code
2. dump list of external symbols
3. save-lisp-and-die into a .core file
4. build new SBCL w/ symbols from step #2 linked in (using sbcl.o, which is the SBCL runtime)
5. run new SBCL, using the core from step #3
6. save-lisp-and-die into an executable
edit. fixed formatting