gentoo auto-resync : 13:01:2023 - 17:49:18

3 files changed, 2 insertions, 34 deletions

diff --git a/sci-mathematics/btor2tools/Manifest b/sci-mathematics/btor2tools/Manifest
index a6f98fe33e62..e0ed4e1729ea 100644
--- a/sci-mathematics/btor2tools/Manifest
+++ b/sci-mathematics/btor2tools/Manifest
@@ -1,5 +1,4 @@
-AUX btor2tools-1.0.0_pre20220518-cmake-also-static.patch 804 BLAKE2B bdfb9e99a98f9cd9989ba0eb10490877b24553c5db478281c8771bb922060c20412521dbab513e5742daa4878189313cae075d044b4ba4ee8f265bde15aef520 SHA512 ac03a333bd0563559b940d4b4b0f2e5da4440503e5ec84b0a28ddb4c4b5a17cf96910c025abe088f93dc82147023cfaa598eb18a6aa409e690baffe0166d10d6
 AUX btor2tools-1.0.0_pre20220518-cmake-clfags.patch 551 BLAKE2B 8cc8c427a2ec7defc4bd7f251b2a2a6484bc321b0f0d88a7099e8a69963cfbf6b69d13dbce4f54874d8138ec01ae870752a947a01c93c3cf996456c546ce012e SHA512 a6c446440405ab44b9bffb8316d170782241d77334c5837820ee0ea1e6da5ff97121b966a49af9c15e8e0e2a184ae3781166eb9c0ba07c4319dd92fed105ae2d
 DIST btor2tools-1.0.0_pre20220518.tar.gz 87420 BLAKE2B df8ddc8f286c32c580a8feaf0c7e90dff113d2b0303e3da0a378f2906cd34134ea91707cd40c95c38782990bf4d815416b3a566680f4d6668ddca46321ae530a SHA512 96e17327de311b3d16e086031038a8248431d0dda75b83ce137d6526a096b69fc062290f92ec5b58fffb56aa25437835f97a96bd15f0044d4d52263bf386d928
-EBUILD btor2tools-1.0.0_pre20220518.ebuild 783 BLAKE2B a911486c6340478d3c00421c77f8f4eca47e442cae1fd0df8c048e5ea27065c219ec58af95618eba7b837b4ee20b250746a92d0d915a66a1f01b1287feabed62 SHA512 2bb3a28dd080ffd68f8e37c92a58a12ac1f19a2864e116d4c66d46e2e793d733fe1d9fdfc2539c1c3c108f6590cb4bb0564c009d8b0b854c7f43bb1e0f644f7e
+EBUILD btor2tools-1.0.0_pre20220518-r1.ebuild 738 BLAKE2B 34983b33e56d2fc4494f074b03f7c4ac3ce24d82781e5a0193e8241431f0884e4f4e7bede71e4f26364f009ba0b096fc8f08ea8f9e1295c672d6ade77bbebf88 SHA512 af0b1e3d2b61cefc2006c17f15d722a65b2689bae14a914d50ba62d5f9b234605b5eb82b572732799a96c77d61d6237ec06e1b3ab0010857d8cf47912f938fd3
 MISC metadata.xml 437 BLAKE2B 93f1e3a98b8dd3edd95de3bd8f830427a9e05dcfc73690899ed16ec49be25bfd524d86fcaa9735d15c22515b98d13ded8a95c7a39e4970e3035c72e4cbe7d544 SHA512 39b7bd39e597f6d3086358738cb2d668f0317af3a8674eb4c032f59c64de0ceada799900bd193f244f049f51e1a91dcd9bb4474db39ac88967086206f3090a62
diff --git a/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518.ebuild b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
index efade1283737..e967b953fb59 100644
--- a/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518.ebuild
+++ b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
@@ -24,10 +24,7 @@ LICENSE="MIT"
 SLOT="0"
 IUSE="examples"
 
-PATCHES=(
-	"${FILESDIR}"/${P}-cmake-also-static.patch
-	"${FILESDIR}"/${P}-cmake-clfags.patch
-)
+PATCHES=( "${FILESDIR}"/${P}-cmake-clfags.patch )
 
 src_install() {
 	cmake_src_install
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