commit: 9ff3536ab4977b09de6c89fa49178cc6d6e81cdb
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 13 15:48:37 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Jan 13 15:48:37 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ff3536a
sci-mathematics/btor2tools: remove unused patch
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
...tools-1.0.0_pre20220518-cmake-also-static.patch | 28 ----------------------
1 file changed, 28 deletions(-)
diff --git
a/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-also-static.patch
b/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-also-static.patch
deleted file mode 100644
index 061ddac84194..000000000000
---
a/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-also-static.patch
+++ /dev/null
@@ -1,28 +0,0 @@
---- 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
