Cannot install LLVM
ssmoha7 opened this issue · comments
How to install LLVM without having sudo access?
when I run: cmake -G "Unix Makefiles" ../llvm
I get the following error if I try to build it locally:
-- Could NOT find Z3: Found unsuitable version "0.0.0", but required is at least "4.7.1" (found Z3_LIBRARIES-NOTFOUND)
Hi,
Supported Clang/LLVM versions for SparseX are "6.0.0" "5.0.0" "4.0.1" "4.0.0" and they have to be installed from source. You can follow the instructions here on how to download and install them.