23:41:44thmproverI mean it's just the latest pull on the master branch from github (as of a few days ago). I'm not sure if I should instead use a specific tag or branch.
23:48:42thmproverBut yeah, even on my laptop (with an Intel core2) it hangs on optimizers.lisp; maybe I'm doing something wrong?
23:49:58thmproverI basically run: git clean -dxf; git pull --rebase; cd lisp-kernel/linuxx8664/; make clean; make; cd ../..; ./scripts/get-binaries linuxx86; ./lx86c164; (ccl:rebuild-ccl :full t)
0:02:43thmproverOK, it looks like the v1.12-dev.1 tag is functional, but the v1.12 tag is not
0:27:31thmproverOK, it looks like the v1.12-dev.5 tag has the bugged optimizers.lisp problem, but v1.12-dev.4 compiles fine (on my x64 laptop)