diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-13 15:24:46 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 1d8989a959c2a555f106022fd9a017f5b640eda9 (patch) | |
| tree | 5da1252cfce0cbdd7fcf78ef075a479bf9575525 /src | |
| parent | 013a0fb7fe918d707604690a96ef6c0559af7440 (diff) | |
cmake: Add module finder for SymFPU.
Diffstat (limited to 'src')
| -rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 92a5ba335..f8c9752f0 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -577,7 +577,7 @@ set_target_properties(cvc4 add_dependencies(cvc4 gen-theory-files) target_link_libraries(cvc4 base bvminisat expr minisat options smtutil util replacements - ${LIBRARIES} + ${CVC4_LIBRARIES} ) include_directories(. ${CMAKE_CURRENT_BINARY_DIR}) |