I’ve been trying to build llvm 2.9 for KLEE on my macbook, and am encountering the following error when I attempt to make:
use ‘template’ keyword to treat ‘newNode’ as a dependent template name
Node[NewNode] = this->map->newNode();
1 error generated.
I saw something similar googling around for the error, it may be a disconnect between this version and OS 10.9.5. I can install 3.6 just fine with homebrew, but unfortunately KLEE only supports 2.9.
If this is a known and as-yet unresolved issue, just let me know and I’ll attempt to find an alternative solution.
University of Texas at Austin