diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-13 09:06:33 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 7c3f54f21acf99681c34ced71c8033bafb853052 (patch) | |
tree | 067ab54c96375c87ef6a7a17fc483e88dbd2d49c /src/CMakeLists.txt | |
parent | 7c2e3700d5f1fe13885cde7f03396c0510d72109 (diff) |
cmake: Add libsignatures for proofs.
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index e1e03bd97..92a5ba335 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -580,8 +580,6 @@ target_link_libraries(cvc4 ${LIBRARIES} ) -# TODO: if proofs: libsignatures - include_directories(. ${CMAKE_CURRENT_BINARY_DIR}) include_directories(expr ${CMAKE_CURRENT_BINARY_DIR}/expr) include_directories(include ${CMAKE_CURRENT_BINARY_DIR}/include) |