sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-also-static.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -1,4 +1,5 @@
 add_library(btor2parser
+  SHARED
   btor2parser/btor2parser.c
 )
 target_include_directories(btor2parser PRIVATE .)
@@ -10,6 +11,19 @@ install(
   PUBLIC_HEADER DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}
 )
 
+add_library(btor2parser_static
+  STATIC
+  btor2parser/btor2parser.c
+)
+target_include_directories(btor2parser_static PRIVATE .)
+set_target_properties(btor2parser_static PROPERTIES OUTPUT_NAME btor2parser)
+set_target_properties(btor2parser_static PROPERTIES PUBLIC_HEADER btor2parser/btor2parser.h)
+install(
+  TARGETS btor2parser_static
+  ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR}
+  PUBLIC_HEADER DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}
+)
+
 add_executable(btorsim
   btorsim/btorsimam.cpp
   btorsim/btorsimstate.cpp