Heiko Schroeter schroete@iup.physik.uni-bremen.de writes:
No, my primary Linux box is an Ubuntu amd64 machine, and it does work for me. Just to make sure, you are using an x86-64 SBCL? (what does (MACHINE-TYPE) return?) Also, what about trying:
This might be the error: (machine-type) returns "X86" !!! Funny enough though.
Yeah, you can't load 64-bit libraries into a 32-bit SBCL, but if you have the 32-bit libraries (in /usr/lib32 or /usr/local/lib32 probably) then CFFI should find them.
James