summaryrefslogtreecommitdiff
path: root/proofs
diff options
context:
space:
mode:
Diffstat (limited to 'proofs')
-rw-r--r--proofs/signatures/CMakeLists.txt3
-rw-r--r--proofs/signatures/signatures.cpp.in2
2 files changed, 4 insertions, 1 deletions
diff --git a/proofs/signatures/CMakeLists.txt b/proofs/signatures/CMakeLists.txt
index 139a7c80e..fd81e2d42 100644
--- a/proofs/signatures/CMakeLists.txt
+++ b/proofs/signatures/CMakeLists.txt
@@ -25,6 +25,9 @@ endforeach(f)
string(REPLACE "\\" "\\\\" CORE_SIGNATURES "${CORE_SIGNATURES}")
string(REPLACE "\"" "\\\"" CORE_SIGNATURES "${CORE_SIGNATURES}")
string(REPLACE "\n" "\\n\\\n" CORE_SIGNATURES "${CORE_SIGNATURES}")
+
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)
diff --git a/proofs/signatures/signatures.cpp.in b/proofs/signatures/signatures.cpp.in
index 0040eb0c6..37c152b2f 100644
--- a/proofs/signatures/signatures.cpp.in
+++ b/proofs/signatures/signatures.cpp.in
@@ -3,7 +3,7 @@ namespace proof {
extern const char *const plf_signatures;
const char *const plf_signatures = "\
-@CORE_SIGNATURES@
+@CORE_SIGNATURES@\
";
} // namespace proof
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback