James Bielman writes:
Hmm, I've tried to install an x86 CLISP in a 32-bit chroot to prepare to implement and test this, but I'm a little concerned about the fact that MACHINE-TYPE still returns X86-64 on a 32-bit x86 build. Is there a better way to tell whether we are running an x86 or x86-64 CLISP?
I'm sorry, I don't understand what you observed, what you want or what you need. Feel free to elaborate.
Regards, Jorg Hohle.