4 ms·

how do you go about producing static binaries for sbcl?

reikonomusha 4y ago
Load your application up in SBCL and call `save-lisp-and-die` with the options you want (like what the `main` function should be).
fmakunbound 4y ago
http://www.sbcl.org/manual/#Saving-a-Core-Image http://www.sbcl.org/manual/#Saving-a-Core-Image
- deleted 4y ago
  [deleted]
d110af5ccf 4y ago
You don't. As others noted, you can save a core image. Cross compiling, tree shaking, and other such things don't exist in the sbcl world and (from what I've read in the past) the people developing it have little or no interest in those features. If you need those sorts of features paired with common lisp you could give embeddable common lisp a try. Otherwise if any lisp language will work for you then chicken scheme and gambit scheme both compile to c.
- moonchild 4y ago
  > tree shaking The technique of 'tree shaking' was originally developed for lisp.
  - d110af5ccf 4y ago
    And? When I last checked sbcl didn't support it. Are you implying that has changed? Neither did sbcl support cross compiling. To the best of my knowledge all you can do with sbcl is save an image. When I was looking in to this I read through many discussions where the developers appeared hostile to the idea of implementing these features. A common refrain I encountered was that tree shaking is unnecessary because the core images are compressed.
    - reikonomusha 4y ago
      You can delete data from the image if you want. We used to do it: scrub all doc strings, inlining data, etc. It's trivial. In 2022, removing a few megabytes of data doesn't seem worth the maintenance cost of the feature. In other words, for most users, it's a non-problem.
      - oblio 4y ago
        Tree shaking isn't data removal, it's dead code removal. And assuming he doesn't want what he wants is kind of in bad taste. You don't know his requirements.
        reikonomusha 4y ago
        As far as I'm concerned, as a Lisp programmer, code is data. :) Yes, and what exactly constitutes "dead code"? Tree shakers rely on heuristics that can fail in practice. There is provably no way to remove functions from a Lisp image and guarantee your application to work. LispWorks has a "tree shaker", but has umpteen options to tame it so your application doesn't inadvertently break. Fortunately, it is possible to remove these functions if you, an application developer, so please. Nothing stops you. It's not even difficult. But SBCL has not implemented these (potentially fallible) heuristics for you, because (and only because) an insignificant number of users would find shaving a little binary size off to be valuable at the expense of program correctness.
      - kazinator 4y ago
        In 2022, if you're linked to libc.so, it's probably substantially bigger than your Lisp image, and so that's where you'd want the tree shaking. Good luck! The kernel supports manual tree shaking: "make menuconfig" and prune away.
- reikonomusha 4y ago
  SBCL certainly produces an executable containing fully native machine code. You can ./run it just fine. I consider how it arranges that code (the "image" you speak of) to be merely an implementation detail that the user is not concerned with.
- lispm 4y ago
  > save a core image. which can be made executable. So saving an image is the way to create an executable. > the people developing it have little or no interest in those features the demand for these features from the SBCL user base also does not seem high. If it would have been needed, then the development could have been sponsored, like for example the support for Apple Silicon was sponsored by users. Though other CL implementations provide different deployment options: ABCL compiles to JVM code. ECL can compile to C or portable byte code. It also has been used for Android and iOS apps. LispWorks & Allegro CL have treeshakers and can generate shared libraries. LispWorks also has a runtime for Android and for iOS.
- mark_l_watson 4y ago
  SBCL supports saving compressed images so even without tree shaking, standalone executables are small. Not a problem. I pay for a maintenance contract and licensing for LispWorks that does support tree shaking.
vindarel 4y ago
Like this, it's easy: https://lispcookbook.github.io/cl-cookbook/scripting.html#with-asdf https://lispcookbook.github.io/cl-cookbook/scripting.html#wi... (save-lisp-and-die run from a terminal)

Load your application up in SBCL and call `save-lisp-and-die` with the options you want (like what the `main` function should be).

fmakunbound 4y ago

http://www.sbcl.org/manual/#Saving-a-Core-Image http://www.sbcl.org/manual/#Saving-a-Core-Image

deleted 4y ago
[deleted]

d110af5ccf 4y ago

You don't. As others noted, you can save a core image. Cross compiling, tree shaking, and other such things don't exist in the sbcl world and (from what I've read in the past) the people developing it have little or no interest in those features. If you need those sorts of features paired with common lisp you could give embeddable common lisp a try. Otherwise if any lisp language will work for you then chicken scheme and gambit scheme both compile to c.

moonchild 4y ago
> tree shaking The technique of 'tree shaking' was originally developed for lisp.
- d110af5ccf 4y ago
  And? When I last checked sbcl didn't support it. Are you implying that has changed? Neither did sbcl support cross compiling. To the best of my knowledge all you can do with sbcl is save an image. When I was looking in to this I read through many discussions where the developers appeared hostile to the idea of implementing these features. A common refrain I encountered was that tree shaking is unnecessary because the core images are compressed.
  - reikonomusha 4y ago
    You can delete data from the image if you want. We used to do it: scrub all doc strings, inlining data, etc. It's trivial. In 2022, removing a few megabytes of data doesn't seem worth the maintenance cost of the feature. In other words, for most users, it's a non-problem.
    - oblio 4y ago
      Tree shaking isn't data removal, it's dead code removal. And assuming he doesn't want what he wants is kind of in bad taste. You don't know his requirements.
      - reikonomusha 4y ago
        As far as I'm concerned, as a Lisp programmer, code is data. :) Yes, and what exactly constitutes "dead code"? Tree shakers rely on heuristics that can fail in practice. There is provably no way to remove functions from a Lisp image and guarantee your application to work. LispWorks has a "tree shaker", but has umpteen options to tame it so your application doesn't inadvertently break. Fortunately, it is possible to remove these functions if you, an application developer, so please. Nothing stops you. It's not even difficult. But SBCL has not implemented these (potentially fallible) heuristics for you, because (and only because) an insignificant number of users would find shaving a little binary size off to be valuable at the expense of program correctness.
    - kazinator 4y ago
      In 2022, if you're linked to libc.so, it's probably substantially bigger than your Lisp image, and so that's where you'd want the tree shaking. Good luck! The kernel supports manual tree shaking: "make menuconfig" and prune away.
reikonomusha 4y ago
SBCL certainly produces an executable containing fully native machine code. You can ./run it just fine. I consider how it arranges that code (the "image" you speak of) to be merely an implementation detail that the user is not concerned with.
lispm 4y ago
> save a core image. which can be made executable. So saving an image is the way to create an executable. > the people developing it have little or no interest in those features the demand for these features from the SBCL user base also does not seem high. If it would have been needed, then the development could have been sponsored, like for example the support for Apple Silicon was sponsored by users. Though other CL implementations provide different deployment options: ABCL compiles to JVM code. ECL can compile to C or portable byte code. It also has been used for Android and iOS apps. LispWorks & Allegro CL have treeshakers and can generate shared libraries. LispWorks also has a runtime for Android and for iOS.
mark_l_watson 4y ago
SBCL supports saving compressed images so even without tree shaking, standalone executables are small. Not a problem. I pay for a maintenance contract and licensing for LispWorks that does support tree shaking.

vindarel 4y ago

Like this, it's easy: https://lispcookbook.github.io/cl-cookbook/scripting.html#with-asdf https://lispcookbook.github.io/cl-cookbook/scripting.html#wi... (save-lisp-and-die run from a terminal)