There seems to be a --sbcl option to set which program is invoked for sbcl, but no corresponding --ccl option to set the ccl binary. It seems hardcoded to "ccl".
This is a problem if you really want to use a different binary to e.g. produce 64 vs 32 bit executables.
There seems to be a --sbcl option to set which program is invoked for sbcl, but no corresponding --ccl option to set the ccl binary. It seems hardcoded to "ccl".
This is a problem if you really want to use a different binary to e.g. produce 64 vs 32 bit executables.