karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

Cmake works even if llvm is not found #48

Closed xbrukner closed 12 years ago

xbrukner commented 12 years ago
cmake .
-- LLVM llvm-config found at: /usr/local/bin/llvm-config
/usr/local/bin/llvm-config
bash: /usr/local/bin/llvm-config: Adresář nebo soubor neexistuje
karelklic commented 12 years ago

CMake caches and re-uses the program paths that were previously found without re-checking their presence. This is the default behavior of CMake.

If you want to force CMake to search for a new llvm-config, you should delete CMakeCache.txt.

I tested no llvm-config is found with deleted CMakeCache.txt when it is not present on the system.