diff options
Diffstat (limited to 'proofs/signatures/CMakeLists.txt')
| -rw-r--r-- | proofs/signatures/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/signatures/CMakeLists.txt b/proofs/signatures/CMakeLists.txt index fd81e2d42..7ef94c388 100644 --- a/proofs/signatures/CMakeLists.txt +++ b/proofs/signatures/CMakeLists.txt @@ -30,4 +30,4 @@ configure_file( ${CMAKE_CURRENT_SOURCE_DIR}/signatures.cpp.in ${CMAKE_CURRENT_BINARY_DIR}/signatures.cpp) -add_library(signatures SHARED ${CMAKE_CURRENT_BINARY_DIR}/signatures.cpp) +libcvc4_add_sources(GENERATED signatures.cpp) |