Mac OS X 10.7.5でLLVM→JavaScriptコンパイラのemscriptenを試そうとしたのだけど、以下のようなエラーと、Pythonが予期せず終了したというダイアログが出て、うまくいかなかった。
WARNING root: Could not verify LLVM version: list index out of range
WARNING root: could not check fastcomp: need more than 1 value to unpack
INFO root: (Emscripten: Running sanity checks)
WARNING: sanity check failed to run list index out of range
ERROR root: compiler frontend failed to generate LLVM bitcode, halting
MiniSat in your browser http://www.msoos.org/2013/09/minisat-in-your-browser/ を自分でも試してみようと思ったのだけれど……他の環境で試してみるか?