diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-12 11:10:01 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 479aebfc657eb9bc90fad550f51ec3b3d2efec76 (patch) | |
tree | ea4f7ff7b016d59954f57ec333e553655e64cdac /proofs | |
parent | 2c68c3e9009d7c893f92b7023c2122c763e697ca (diff) |
cmake: Add make install rule.
Diffstat (limited to 'proofs')
-rw-r--r-- | proofs/signatures/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/proofs/signatures/CMakeLists.txt b/proofs/signatures/CMakeLists.txt index 7ef94c388..8af026952 100644 --- a/proofs/signatures/CMakeLists.txt +++ b/proofs/signatures/CMakeLists.txt @@ -31,3 +31,4 @@ configure_file( ${CMAKE_CURRENT_BINARY_DIR}/signatures.cpp) libcvc4_add_sources(GENERATED signatures.cpp) +install(FILES ${core_signature_files} DESTINATION share/cvc4) |