diff options
author | Maciej Barć <xgqt@gentoo.org> | 2023-01-13 16:48:37 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2023-01-13 16:48:37 +0100 |
commit | 9ff3536ab4977b09de6c89fa49178cc6d6e81cdb (patch) | |
tree | dcd4b4e24073bba82d8e26561751a2247fc0e4ae /sci-mathematics/btor2tools | |
parent | sci-mathematics/boolector: fix build to not require static libs (diff) | |
download | gentoo-9ff3536ab4977b09de6c89fa49178cc6d6e81cdb.tar.gz gentoo-9ff3536ab4977b09de6c89fa49178cc6d6e81cdb.tar.bz2 gentoo-9ff3536ab4977b09de6c89fa49178cc6d6e81cdb.zip |
sci-mathematics/btor2tools: remove unused patch
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/btor2tools')
-rw-r--r-- | sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-also-static.patch | 28 |
1 files changed, 0 insertions, 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 |