gentoo auto-resync : 08:03:2024 - 13:07:48

7 files changed, 6 insertions, 63 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 0ef6838eb336..885ad7215f5a 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/acl2/Manifest b/sci-mathematics/acl2/Manifest
index ed5b21757147..42d9fd09253a 100644
--- a/sci-mathematics/acl2/Manifest
+++ b/sci-mathematics/acl2/Manifest
@@ -2,5 +2,5 @@ AUX 50acl2-gentoo.el 230 BLAKE2B 42394e3aa3c8925a09ae331c0e133ebe0eb917991301172
 DIST acl2-8.5.tar.gz 222696244 BLAKE2B e5aa8360d9f94ed398d11c4e0873818f8f49ed0e072192c7d62dde99b4a7f98b4240b352818e7691ebc98f85ab3c10981c36bb1e35317e50a111c9c7f3f57b33 SHA512 5a2e004713350ae41ced830aa8620c27963eb108baa499f7e52a1c60961b220ef7a026efdfef6cea1063f731b50f3cccbe1583a9957c9cf269b0a958ec83fe48
 DIST acl2-8.5_p20240307.tar.gz 228577404 BLAKE2B af7b4f9995b568ba733a1071fa8069798091ea66b91acc9fb839a6f9ba7843762d7130f4d6b653054de4adea91569904ee4c3dcd035350616418c13fa762bc10 SHA512 b5484a49702fa6c657ebf9551dcec2b6a9c0632e137db1480f93ef9aec83fc9bdb9ca95c46ed324b4ff6ab1a428c8ca50bd1750e1bfd6c024d46a4d27728a24e
 EBUILD acl2-8.5-r2.ebuild 2155 BLAKE2B 7d485d49327b5f2d4e02e5caad6475f528623dcb5124ac84bc3cf732a1a44e91d6b041f1f0a4f930e4d8b0ba256c2368328233ee330c6ec7709599c476e5adf5 SHA512 b85c1d4a5799e8ec27378bd7e0c1a2f57cf131f88e35b424b1ed325b9264ddad4cc061281c3d1cf7164c962d0220c6faf159161a2478816fbbaed196febd7324
-EBUILD acl2-8.5_p20240307.ebuild 2672 BLAKE2B 2282f82d0f1cebfdfd56613781527751dbc51f924da55367d4c2a186f96aabcb1558443da99ffe778d26c11b990b040ba5683ee418269e3407108b8169fa5e5c SHA512 5cc49472d29845317680be49c98800301f5dd7f90c954564b636b4da03641ee97d1c3e4cc448f85bf3563036be23c66f248e7daf18589d2841e7cd53b4937673
+EBUILD acl2-8.5_p20240307.ebuild 2674 BLAKE2B 1a1d3294b3445ea885c5c68c926b8d650ed62a272d6f6d49d769f83df7d9f55d3e9f46271ce5bc62cfb45156f1e10e8588975ba029d8c03de9e2dec789a0219b SHA512 fe7509a92b62093c49aa677092b39f138818add84c41448303f381a624c55498855f92869c7994b467784f4ff57c8b89fb7dbb3875b4b2a108fb14c11d22a636
 MISC metadata.xml 816 BLAKE2B 791aff8f16b043469eb568aa6d50c2dabb2ffc3686ee846e98fd8f6e48533f5e4f86d500d8065a3a91cfce767c4990aabaf437eb97e57f8deabe19a6b9248116 SHA512 42a005fb8d3831cc422fed00a18419b959d40c3ee25a437efbfb836d9cb008fe22390a1986b090261c735fc0ff18688331ef884ee892703b166807616b947e64
diff --git a/sci-mathematics/acl2/acl2-8.5_p20240307.ebuild b/sci-mathematics/acl2/acl2-8.5_p20240307.ebuild
index 3d2c045b3a81..1e9c0d6d06d5 100644
--- a/sci-mathematics/acl2/acl2-8.5_p20240307.ebuild
+++ b/sci-mathematics/acl2/acl2-8.5_p20240307.ebuild
@@ -96,10 +96,10 @@ src_install() {
 
 		HTML_DOCS=( doc/HTML/. )
 		einstalldocs
-	fi
 
-	# Some binaries in "books". Not needed since the sources are there.
-	find "${ED}/usr/share/acl2/books" -type f -name "*.elf64" -delete || die
+		# Some binaries in "books". Not needed since the sources are there.
+		find "${ED}/usr/share/acl2/books" -type f -name "*.elf64" -delete || die
+	fi
 }
 
 pkg_postinst() {
diff --git a/sci-mathematics/psmt2-frontend/Manifest b/sci-mathematics/psmt2-frontend/Manifest
index a26509e62f8c..daab7ee54b3d 100644
--- a/sci-mathematics/psmt2-frontend/Manifest
+++ b/sci-mathematics/psmt2-frontend/Manifest
@@ -1,6 +1,4 @@
 AUX psmt2-frontend-0.2-gentoo.patch 607 BLAKE2B 4d3a967d9c694e74b1e33426d73f41e97be37510241291339e4d7c4e677ef247cc9dd28728df4fcdb6a0819aa8d1ccb6233d65cb206cbf78dcf9004af7744a7b SHA512 6ec9c1c89ceb023b57820f083722b4c4a693a27c38fcc63a9bf6403853c716a398f055a8db579e683a03f2ca8ccfcd9235796ce1f44867d47805279f6a0a8700
-DIST psmt2-frontend-0.2.tar.gz 26976 BLAKE2B 2b45ceb8d824f5b11455ad0026064b6329b6c6e6173c091b36dc42e8c1dd36924d12d9296db3dcfe748a84fdc37a1a530f3ef485bec904c19a0e6aa8034149f9 SHA512 c29802f4265a1cbdb05ee9154ce2c156136af258bc7283dd0fb1d1b2ce162b671553cab96484036d898e3ff7c26ab133f5c2e1ca88e9e48660b2faa139fd1f41
 DIST psmt2-frontend-0.4.0.tar.gz 70801 BLAKE2B 337b3a87e9bff1c48eec9be4b1b50539c0114cdcdba1ac9c64ee180f73451b6a500f4a970a4f557dc3b886c5932bb72bb0b1b5e130a833b05502954c5279e702 SHA512 68b883f4bc4e0e39162807ffae251782871f372850c469889ea5ba5cf59388e363b1de5bc8087ad8624a1466b52611d0e41d78c6c3e6ac8af7c6e6e5c35630c5
-EBUILD psmt2-frontend-0.2.ebuild 949 BLAKE2B c86ff25357b7d930a560559921f063bbd9fdfbe055eb2e06413e3619ec1834c24052718b30e022be46761846c57176e81fb5fa0374bb98b2c2be41b31c094a3f SHA512 db228543428bb17b0b7bb313deadebc6b01edf034bd48879aeed33fdb26a90f5cd51e3f95884dfff5bcce77a602ac64d95af7a4390350e96d7a77d6d89801feb
 EBUILD psmt2-frontend-0.4.0.ebuild 591 BLAKE2B e6c8444f7401566e19ce5cfeddfbac2d7df46d78d7b6bd171df3cf547cdaddd245fde9e157b23707d29bf73fef6226f90f81e735a91d9baa10590d576d05acc1 SHA512 2f594d42be049cceb40fffe52b336790863abd16b1507c1edd8061c737c7f29125828b51d2eb99fd1f63a5bd05e0501ae9df39901ea48c9fc677ad113083058a
 MISC metadata.xml 731 BLAKE2B 14577e7299ccd12be2ce493d8544a43bf3cafc7ffe7dff3be057f1428b467a0f47195b937303c50b284e5df1896765436d0f122472fe2d9aab0ddcf45f7fe140 SHA512 6bf3fdf46245ea1c9ff4b032ebba4feb6b519ec16605b1f486a2daf28961a4fe7f58b419b31eacf077e2cb64ca3e846dc21d741c7a4be3b57003e55c572c985a
diff --git a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
deleted file mode 100644
index 09760d868d06..000000000000
--- a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
+++ /dev/null
@@ -1,43 +0,0 @@
-# Copyright 2019-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-inherit findlib autotools
-
-DESCRIPTION="Library to parse and type-check an extension of the SMT-LIB 2 standard"
-HOMEPAGE="https://github.com/OCamlPro-Coquera/psmt2-frontend"
-SRC_URI="https://github.com/OCamlPro-Coquera/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0"
-KEYWORDS="amd64 ~x86"
-IUSE=""
-
-DEPEND=">=dev-ml/menhir-20181006"
-RDEPEND="${DEPEND}"
-BDEPEND=""
-
-PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
-
-src_prepare() {
-	default
-	mv configure.{in,ac}
-	sed -i \
-		-e "s:configure.in:configure.ac:g" \
-		Makefile.in || die
-	eautoreconf
-}
-
-src_compile() {
-	emake depend
-	default
-}
-
-src_install() {
-	default
-	QA_FLAGS_IGNORED=(
-		/usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.o
-		/usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.cmxs
-		/usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.a
-	)
-}
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 55abfde64de7..77e950cf78db 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -3,5 +3,5 @@ DIST z3-4.12.6.tar.gz 5492517 BLAKE2B 721db0881ec77112ca0461897fa01f2b7e9f874897
 DIST z3-4.13.0.tar.gz 5520232 BLAKE2B 0889c03991311c46c361f269b85fb316c0b4be5cee84f1bb420ef640876058431fe5ec00f58a3dc9377ed3a2ea1cd908a8d9731f9575cf0e4a819fe1f50be670 SHA512 8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd
 EBUILD z3-4.12.5.ebuild 2858 BLAKE2B 09cbdc8fc592e03499d1d8108717b60424729a8f384ae48e954372a5da1a69b5d7f00b20537891ee449d64fd6f3419df21b73a8380774d0e869bf42492a4b87c SHA512 5710b3de087309c72d5e7b17f611eb3107962486c405ec4f78da5958564616123c904da8e8db48acc92dd5aa9614531b608623728455b88bb4ca147fe85f7c24
 EBUILD z3-4.12.6.ebuild 2864 BLAKE2B 851428e20029b95c87ae417d681c011d10d9e11da1237ef0c58b50b24a95c577129d01809c020c31e4ae3d22183e434d8f4e89e37f2f6178dc508d0aa1f899c4 SHA512 2f2e7753686646d287033cb28aa3a0489e0386d339cb8bb054c3acbd673f9fdd13acc8f3168f0d2a040f060f2dd001e1d14f4b34f35c4519cef76989de75c08e
-EBUILD z3-4.13.0.ebuild 2864 BLAKE2B e36e28280664e44a9d7100e5e5369ae5525f7b4ecaac3b8029637831f15a0dcf3ee3d71650261ba7a1ab3531219594b7ade42fc3125db4e1c43d83c4e06a462b SHA512 6bc90afa25de2fbf46f682eeb036523675634d3e9ffa9e0cb00a380302d7d1b31b2ee4a11555066c4b25cb22ec264d6f2a8f7f56ac2e840cee4a938038c2dc33
+EBUILD z3-4.13.0.ebuild 2606 BLAKE2B 20c67a359fbf84f2f639dd2b496a3528f04e01d0be3fb41a2e013fb1200a61da65cc041ba23f44f80db000ab1d6d265790222952fc4eb5dc60acd624a1808ea3 SHA512 a1a0d85858b83acef24bf6df1c4bdd71868e1cc7aa45f2e311a40225fa3999ece72a38162c8d72cc609207dd70b5d2127b4902dd10a90b5def052a2e9a3dd570
 MISC metadata.xml 1718 BLAKE2B a94783909c12aa7dd2d5fd1f9d2fc75e20ca91b6abffd6dc020f602e57ef698f7184acaf14def4b6e21bb659e595abd44956ba37a679134d11b523103b0461df SHA512 ed375986a8010a7ae1eadab3107342126194a5513cbb22ce2064ffeff42c7184ea94f4f69017204c73bd61236847475cd1f0d8b3ba369236b26630dc8b2f46a2
diff --git a/sci-mathematics/z3/z3-4.13.0.ebuild b/sci-mathematics/z3/z3-4.13.0.ebuild
index f5b80b16a7e7..ea1e9651b9f5 100644
--- a/sci-mathematics/z3/z3-4.13.0.ebuild
+++ b/sci-mathematics/z3/z3-4.13.0.ebuild
@@ -5,7 +5,7 @@ EAPI=8
 
 PYTHON_COMPAT=( python3_{10..12} )
 
-inherit cmake-multilib flag-o-matic java-pkg-opt-2 python-single-r1
+inherit cmake-multilib java-pkg-opt-2 python-single-r1
 
 DESCRIPTION="An efficient theorem prover"
 HOMEPAGE="https://github.com/Z3Prover/z3/"
@@ -37,18 +37,6 @@ src_prepare() {
 	java-pkg-opt-2_src_prepare
 }
 
-src_configure() {
-	# -Werror=strict-aliasing
-	# https://bugs.gentoo.org/879327
-	# https://github.com/Z3Prover/z3/issues/7143
-	#
-	# Do not trust it with LTO either.
-	append-flags -fno-strict-aliasing
-	filter-lto
-
-	cmake-multilib_src_configure
-}
-
 multilib_src_configure() {
 	local mycmakeargs=(
 		-DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}"