diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-21 15:23:07 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-11-22 20:23:22 +0000 |
| commit | 699ad8c143983097cb24fac45c37f3246c7fab7b (patch) | |
| tree | 981046ca80da76da231a64bf1d601715c6440c86 | |
| parent | 7214ec6a8caf4cfd021a09527e7d17fb493729c6 (diff) | |
| download | klee-699ad8c143983097cb24fac45c37f3246c7fab7b.tar.gz | |
[CMake] Add another missing LLVM component dependency for `kleeModule`.
Reported by @jirislaby in #507.
| -rw-r--r-- | lib/Module/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Module/CMakeLists.txt b/lib/Module/CMakeLists.txt index c927fa1b..006443a9 100644 --- a/lib/Module/CMakeLists.txt +++ b/lib/Module/CMakeLists.txt @@ -22,6 +22,7 @@ klee_add_component(kleeModule set(LLVM_COMPONENTS bitreader bitwriter + codegen ipo linker support |