diff options
Diffstat (limited to 'sci-mathematics')
25 files changed, 281 insertions, 94 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex bbd34e94d1bf..607e5d50e82d 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/cvc4/Manifest b/sci-mathematics/cvc4/Manifest index 447b68c47f0d..4778eee958ba 100644 --- a/sci-mathematics/cvc4/Manifest +++ b/sci-mathematics/cvc4/Manifest @@ -1,7 +1,8 @@ AUX cvc4-1.8-bash-5.2-fix.patch 1092 BLAKE2B 3a637ffb59bcfd6af253d2c7b2964025f66c7bb074e2bfecb21b26399b9582fa3b4cc1c89b7a773bd37f39fcfa79d7cb8f9535fd724538b6cede38c3e964e242 SHA512 a0c51df4013bae3b5990972f39edb9cddbf6f627dec4533b697546e27056b88aa54aa2714e97a6cf8ba8262f86feac0cbce47192527928e652ae7ff2e27dc777 -AUX cvc4-1.8-gentoo.patch 1983 BLAKE2B bd9e7f8b442e151fdc27b45866ed4374ffcbeb5d37edd192cda13ddb3ca547b6e29cfea7641973636a184c14a649bb2131beb4e9c9b90f329dfd0cec8aab0bf0 SHA512 3793c9e318ffb266e505627ac7ea3cbf6a7ba3837a419967b873b72b71bc2bb1a45ae9fd61abaa95af02802267823d8affc1faf077f8ee16eef00ed7715c2187 +AUX cvc4-1.8-gentoo.patch 2181 BLAKE2B 320c6fba385bd2a813db12b8d251253342d602ac9241ca0040dcc3b820c51dd44508dc4287f1de149e430e7116c55454f969bc38999dafc80b0bb3f20c23341c SHA512 bbcacce5b191ea034f9b14d15d90ba4e1407b940e0452ebc1e677fb02c08691b03920e03da9cd41f33106e093578c8bcca12ccb9001bfd56a53b7aae0293ab0f AUX cvc4-1.8-musl.patch 3734 BLAKE2B 892dbba92594f7921932010327bc2110625a10d5cf6857e524c04e7266e7b335ff14d56b43c2b3d220c123a2af3a19ae7495b212896478d07a1da9faebb4d1fe SHA512 b82afaba8688da986b8578177c8e98b9586b63a5263cc9f9c001ec84390b3f7ba5f7028cf4b5a8cb026f980d285eabd68df7c0d93be063f720eae5eb168831a6 +AUX cvc4-1.8-size_t.patch 281 BLAKE2B 5a6381da93e5b2d1603b9bb7f078b320f17e04410085b4f0a7112e842c6893346dc585ce96cf106860cd48fb890f9845e91ea77f477cee90c0d31782caeb1c1a SHA512 c6dfcd03c82bc49dcc31146472c8eef9685dd729f1650bfd032f0b2f42a9c9805c69fbe4ce42cf3954699ed3a868d8f193591e73011eaabadfee732630270b6a AUX cvc4-1.8-toml.patch 1329 BLAKE2B 39def94cd357381b277c5d5e8b39edc5d9e48ea8ecccf190cea13995b4da54a896d9c0f8cf714b8c74425da1c8269fd1cddbef2619a4f59cbc4090bc31ec14a4 SHA512 ca999ee52e8e91259772cb0a4be7ca3149cf46196b599fb8f23301a5b4a4c5154b7419706ba9dd7f279f003692b10fcf406a4159542807baca85683595401479 DIST cvc4-1.8.tar.gz 7554297 BLAKE2B f4d2b223ba2c01ef745520d8874381a1873358fbc7eca12559656512ffeefccec4eca3d73a26debf34110ca14a3bccf35ca87e2a49575b8b67484bed79df081c SHA512 d6b0153b0f5c4e615c995a8eecfbfd783cfc1004c5134c6880230044081c71d638fee39cceb987eb8d72e91b2b6596b184dc0daacec8880cfc176c6dee8aa445 -EBUILD cvc4-1.8-r5.ebuild 1875 BLAKE2B 2b88dff9402b2748f2481a1a73ef2d9aebeb94ccaba704e5cec937fb0d1563caabcbc31a87371628d2823fb96911c4210d73926b282a420ee29d032604d49f67 SHA512 64473b5705760c8c2974c43260995c44c479cabe2f9fa65081fe81c9ca8e91a1d0ef6c35eaacbb18b964b7e4c2849785deafde710493ea3b9ae071c0d56eb388 +EBUILD cvc4-1.8-r5.ebuild 1911 BLAKE2B 5b33efad89f0cf508aff974cdcf79d96438c43392bf4b5e5e197f0de513cde4989a2a06af9cc9921545274b0d88e5794676ea78419d3961f0502d067da73c0dc SHA512 00415726d14943676dd8d989c66715ed8faeaab9c09880188a1da8a77d5d4072335ebf7abf4801f3c5a0111c5823e804cbe5305abeb21db28b9313d0e616d0f5 MISC metadata.xml 840 BLAKE2B d452e6a81280e47283c6ff9fa8a800d89c39920e95416e6b25a3bd55663b8ada050b6c7d21b65053ed2e94ae6affb570946fe699bc6efebb26dfcd06dcd0c184 SHA512 603da6ccd58f6d90f8738047c9f93d2c32583242711355fa619f8acaf8694f0cc1e22d41592914a154cc4cfa31b0ab7308e8584c8951bc78a3bdf8e5f130cb04 diff --git a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild index d7142bce1f9a..1c55641ca322 100644 --- a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild @@ -34,6 +34,7 @@ PATCHES=( "${FILESDIR}"/${P}-gentoo.patch "${FILESDIR}"/${P}-toml.patch "${FILESDIR}"/${P}-bash-5.2-fix.patch + "${FILESDIR}"/${P}-size_t.patch ) python_check_deps() { @@ -67,7 +68,7 @@ src_configure() { -e "s|lo = NULL|lo = 0|g" \ -e "s|hi = NULL|hi = 0|g" \ "${BUILD_DIR}"/src/parser/cvc/CvcParser.c \ - die + || die } src_test() { diff --git a/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch b/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch index 64cf5bd771b2..d80185457744 100644 --- a/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch +++ b/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch @@ -1,5 +1,11 @@ --- a/CMakeLists.txt 2019-07-09 14:47:12.552425226 +0200 +++ b/CMakeLists.txt 2019-07-09 14:50:02.595001358 +0200 +@@ -1,4 +1,4 @@ +-cmake_minimum_required(VERSION 3.2) ++cmake_minimum_required(VERSION 3.5) + + #-----------------------------------------------------------------------------# + # Project configuration @@ -83,7 +83,7 @@ #-----------------------------------------------------------------------------# diff --git a/sci-mathematics/cvc4/files/cvc4-1.8-size_t.patch b/sci-mathematics/cvc4/files/cvc4-1.8-size_t.patch new file mode 100644 index 000000000000..e8d8cbc4ed4e --- /dev/null +++ b/sci-mathematics/cvc4/files/cvc4-1.8-size_t.patch @@ -0,0 +1,10 @@ +--- a/src/expr/emptyset.h 2025-04-10 18:42:13.297861573 +0200 ++++ b/src/expr/emptyset.h 2025-04-10 18:42:59.042293771 +0200 +@@ -20,6 +20,7 @@ + #pragma once + + #include <iosfwd> ++#include <cstddef> + + namespace CVC4 { + // messy; Expr needs EmptySet (because it's the payload of a diff --git a/sci-mathematics/fann/Manifest b/sci-mathematics/fann/Manifest index 7de8432bdbe6..f8762b94628e 100644 --- a/sci-mathematics/fann/Manifest +++ b/sci-mathematics/fann/Manifest @@ -1,5 +1,8 @@ +AUX fann-2.2.0-cmake.patch 674 BLAKE2B 88295231468162b2b4c33a9d563fe170346f05f325a1f8bc76b9e019dc0d2687c25910a0b4903af3ac152c39b577144185f5fa5d3a79c3b0bac9a762060704aa SHA512 3b0eec5d4df528664bf7caf16f3dccc66a2856f98a6c73beb11279aa9e373b97997716b502c73921a1dd76e84f8d70b1dcabd8e06cb599e509d75ddb1569fe80 AUX fann-2.2.0-examples.patch 941 BLAKE2B 82b5480468179cad681e2c1359a84fe550ed4f23b42441d8b943a79c86d51d7b491e879cb597ee0c097acb26210196a7755345e4ece02692a93c3f6ea18b07ee SHA512 617c43352912b965d0c7ef445aecdb15a5148260e3f41c1b0e8cdd5abb0246e6ad0338c74b75c690fbc63175692578dcc596612108c3b9804694cecace046b34 +AUX fann-9999-cmake.patch 543 BLAKE2B 10c0c1aecdaf61d84110c94efce382b86718abde9719750693b9e3d88116ff6f60a02f35a3f54d37f1f81d36c510a414fd73daae44e621b3c7de23a8a507fc5c SHA512 bff284379aef2f2855e82f40f8e14ff1d0e87fa15420fe5d35ba3664a3f6bcc826f941ef2a24bfb81b0f46f2541e6ba013633b946d986dd01cff5f26da80526b DIST FANN-2.2.0-Source.zip 2285087 BLAKE2B aacb49c20c4ea0d86f4eeb3144462051b43480ed613228f3a590ea258878cd2d0528cd301cb993a96ed0bec0d69d5b7c4288f25046d5272c1c8295167862a349 SHA512 c486694aac53cf91a83f8b68d9020fc74ca2bea9416c9d06b6dc8f53d30a2261bd00212e3d439adef9fbdd82532056f7c1afed793f5574c2d6191d84d26fb5c2 EBUILD fann-2.2.0-r1.ebuild 779 BLAKE2B 3c6d4bae9cc62f337755fdd399631e736d924f0e5800c21293ab8d4183c3a604a2a1a3991fc1e48102093fc1932eee654dfba86f609e652ef35f4d656b65e38c SHA512 611f71f34938b6bdec3ad80bcebe7de67fd3d26bf39a4da6ab78f77a688f6291f99a3293021519839ad9ea2703f8b6bad04e78447f60fe2492a8aa5a58c98e72 -EBUILD fann-9999.ebuild 670 BLAKE2B ae5e9c5a3c60e245fd7b2eeae8b2cb195f20f46dae9e59bbfa3f8d79fcdcd81b5e4dd679ec07896ccbcb201a4f68b812332a7a02946287d2551f031bbef5e8ff SHA512 5bb1e786158d97a8cbc371a223a17a0683575ce3f33342acb18bc8bfd66375f45252ea3742e00eb9d24b44aeb5e1105d2e6c54e31083f2338e54a992287dfe8f +EBUILD fann-2.2.0-r2.ebuild 956 BLAKE2B 5e822f8f1617b65e484dda4dc49b53d73e7e836f44e209c96bf236441284b15bb3a70aa4c69e0fb6df6683ba87e7615e5171ac6e0a7d898b20f3e8902784798b SHA512 5d7838723ae9d702a1627f7116c5ae90ada86af98bad76f03698a47d8a3a6764f236cbd083338005c41e8ce6f8a93aad26a5cd99d4d1c15b7eab9190c777d9cc +EBUILD fann-9999.ebuild 1066 BLAKE2B 539d9cf08b7ebfaace7f0f94ae4c0c70d7c27d1a8f4ff83c5d6a2483613b9e9e40feb5191ac562bea4a16d8f4a3b8623e5e72a4a673d92ee806bcd3de5ec3e2b SHA512 2a381bcb99d6a7a4385c1c737d1d87c914f01548efa14b993254c08b2757a720c54526080caa690a95e59cdc02902e7613959ed72ece859a2a1f8a62b3d7d41c MISC metadata.xml 842 BLAKE2B d973f556251c9d1d88a64e1de34982022efceeffc93b4f7b845adabe02c8bd52bba6a0ad1f6193b817aaacd954900d5e6496d78a87c6a5dcac3b6240d5878917 SHA512 9a2801d94baaabe8d7520b5d7322ae6c9a6adc2dc13092b9b9bf8ac013284428cc32a836d1af7a443ab1b46ff1c40578e9d861f0f0e047d9070c7fbb6d4f3a5e diff --git a/sci-mathematics/fann/fann-2.2.0-r2.ebuild b/sci-mathematics/fann/fann-2.2.0-r2.ebuild new file mode 100644 index 000000000000..a2243c6199a3 --- /dev/null +++ b/sci-mathematics/fann/fann-2.2.0-r2.ebuild @@ -0,0 +1,47 @@ +# Copyright 1999-2025 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +MY_P=FANN-${PV}-Source +inherit cmake + +DESCRIPTION="Fast Artificial Neural Network Library" +HOMEPAGE="https://leenissen.dk" +SRC_URI="https://downloads.sourceforge.net/${PN}/${MY_P}.zip" +S="${WORKDIR}/${MY_P}" + +LICENSE="LGPL-2.1" +SLOT="0" +KEYWORDS="~amd64 ~ppc ~x86" +IUSE="examples" + +BDEPEND="app-arch/unzip" + +PATCHES=( + "${FILESDIR}/${P}-examples.patch" + "${FILESDIR}/${P}-cmake.patch" +) + +src_configure() { + local mycmakeargs=( + # https://bugs.gentoo.org/863050 + -DPKGCONFIG_INSTALL_DIR="${EPREFIX}/$(get_libdir)/pkgconfig" + ) + cmake_src_configure +} + +src_test() { + cd examples || die + emake CFLAGS="${CFLAGS} -I../src/include -L${BUILD_DIR}/src" + LD_LIBRARY_PATH="${BUILD_DIR}/src" emake runtest + emake clean +} + +src_install() { + cmake_src_install + if use examples; then + dodoc -r examples + docompress -x /usr/share/doc/${PF}/examples + fi +} diff --git a/sci-mathematics/fann/fann-9999.ebuild b/sci-mathematics/fann/fann-9999.ebuild index e41c4a9c2643..c372b336d248 100644 --- a/sci-mathematics/fann/fann-9999.ebuild +++ b/sci-mathematics/fann/fann-9999.ebuild @@ -1,17 +1,42 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI=7 +EAPI=8 inherit cmake git-r3 toolchain-funcs DESCRIPTION="Fast Artificial Neural Network Library" -HOMEPAGE="http://leenissen.dk/fann/wp/" +HOMEPAGE="https://leenissen.dk" EGIT_REPO_URI="https://github.com/libfann/fann" LICENSE="LGPL-2.1" SLOT="0" -IUSE="examples" +IUSE="examples test" +RESTRICT="!test? ( test )" + +BDEPEND=" + test? ( dev-cpp/gtest ) +" + +PATCHES=( + "${FILESDIR}/${P}-cmake.patch" +) + +src_prepare() { + cmake_src_prepare + + if use !test; then + sed -i '/ADD_SUBDIRECTORY( tests )/d' CMakeLists.txt || die + fi +} + +src_configure() { + local mycmakeargs=( + # https://bugs.gentoo.org/863050 + -DPKGCONFIG_INSTALL_DIR="${EPREFIX}/$(get_libdir)/pkgconfig" + ) + cmake_src_configure +} src_test() { cd examples || die 'fails to enter examples directory' diff --git a/sci-mathematics/fann/files/fann-2.2.0-cmake.patch b/sci-mathematics/fann/files/fann-2.2.0-cmake.patch new file mode 100644 index 000000000000..e3d284b6c19f --- /dev/null +++ b/sci-mathematics/fann/files/fann-2.2.0-cmake.patch @@ -0,0 +1,22 @@ +Correct cmake_minimum_required for CMake4 +Fix paths for pkgconfig file installation +https://bugs.gentoo.org/951922 +https://bugs.gentoo.org/863050 +--- a/CMakeLists.txt 2025-03-24 15:32:02.295787034 +0300 ++++ b/CMakeLists.txt 2025-03-24 15:33:46.099775849 +0300 +@@ -1,6 +1,6 @@ ++cmake_minimum_required(VERSION 3.5) + PROJECT (FANN) + #SET(CMAKE_VERBOSE_MAKEFILE ON) +-cmake_minimum_required(VERSION 2.8) + + SET(CMAKE_MODULE_PATH + ${CMAKE_SOURCE_DIR}/cmake/Modules +@@ -16,7 +16,6 @@ + + configure_file( ${CMAKE_SOURCE_DIR}/cmake/fann.pc.cmake ${CMAKE_CURRENT_BINARY_DIR}/fann.pc @ONLY ) + +-SET(PKGCONFIG_INSTALL_DIR /lib/pkgconfig) + + ########### install files ############### + diff --git a/sci-mathematics/fann/files/fann-9999-cmake.patch b/sci-mathematics/fann/files/fann-9999-cmake.patch new file mode 100644 index 000000000000..a121cc58e0be --- /dev/null +++ b/sci-mathematics/fann/files/fann-9999-cmake.patch @@ -0,0 +1,23 @@ +Bump minimum CMake version to fix build with CMake 4 +Unbundle gtest +https://bugs.gentoo.org/863050 +--- a/CMakeLists.txt ++++ b/CMakeLists.txt +@@ -38,7 +38,7 @@ + ENDIF() + ENDIF() + ELSE() +-cmake_minimum_required (VERSION 2.8) ++cmake_minimum_required (VERSION 3.5) + + if (NOT DEFINED CMAKE_BUILD_TYPE) + set (CMAKE_BUILD_TYPE Release CACHE STRING "Build type") +@@ -161,8 +161,6 @@ + + ################# compile tests ################ + +-ADD_SUBDIRECTORY( lib/googletest ) +- + if(COMPILER_SUPPORTS_CXX11) + ADD_SUBDIRECTORY( tests ) + endif() diff --git a/sci-mathematics/flint/Manifest b/sci-mathematics/flint/Manifest index 46b0b7525e2a..f8ff5163e109 100644 --- a/sci-mathematics/flint/Manifest +++ b/sci-mathematics/flint/Manifest @@ -5,5 +5,5 @@ AUX flint-3.1.3_p1-fix-pc-location.patch 1021 BLAKE2B 742529fe63da7433eedf5945d4 DIST flint-3.1.3_p1.tar.gz 7588734 BLAKE2B 87acf8778e21e37c01e12b198ff81e62ab113df3e0e9c6155ff7dd505828f79d5c49d85093e261ea96397e906350caa03477e3ecbdd1fc09d6ae5c984397a2be SHA512 1b16ff2fb9cb2ac4b75513278b8c14683e8d83db39985631df14d6ea74bee4d6ea818a200321d5f0de6f1af89898f7a99dc7088f712f4c6db1a2546199aefba7 DIST flint-3.1.3_p1.tar.xz 5657304 BLAKE2B 7a76cbd7e3ea6ecfb4728545c427eba48ab476b257316792305522770e03b335d558cc104bac50b1faf2e8e25663f6ade20eef99e85999f7209091bf3c6e674a SHA512 430e83be2d94c059066b7201319dbbbe414ccd10a4f359a865e54f3912b8b8e8f10dfd36ee81c96335553ee2736cf2ef9e1ffdf488c9706360b9e0e8a50a4eea EBUILD flint-3.1.3_p1-r1.ebuild 2143 BLAKE2B 0fd33eed838547b58b961280b3aacfbb21c4d4829d2edff5e6572b451ccc5f5b2f9fdb4506fbd77034dde8cdb23fa6fd9f3bd8b2a3d1e5ed66b7807dd61dc0aa SHA512 0e3710c96a76ea0bf1a562d661d55a43097b81e6a4a120689d3f8dcd52239d5c3a2a4cac89a7e4e9501e07e47a32cc0ef3dd592799859a1005597ad092542850 -EBUILD flint-3.1.3_p1-r3.ebuild 3073 BLAKE2B fd660af9494479f43e605545cd71392e604de2e2557a3d73231b9f2801353ae91160522dee0b1205151f88aa341ef72e57050be3a98c3e81e9c3f9d6aa4f76e8 SHA512 950d7e16ba9e2d39ef1152be8b916dabf4ee050b6fcb1f4e2b44b29ca82c4af94353686ae26454c610168b61be92041b16a461d7c46d94f6b94639cb69e1b5ef +EBUILD flint-3.1.3_p1-r3.ebuild 3072 BLAKE2B fb41298c6b7a37183febcf7bd7c499a44d7c8cb82f65e85d6ddd0939d8bb92f4a69bece891ee63bac88189fab4aa6afbc23d86c1804ab1e96fce009c5a27708d SHA512 5deb7f2a31ce1cbe46065f73a3433d8a3895df47a558fe71e6253331d6142e386bce64348d3efca6c9dbd91a1ec2d77550b49e105b3382ab607f90d1a8737930 MISC metadata.xml 640 BLAKE2B b95d6f493564025e43604bffa340fffd88fcedf29c282fcc3c18e08ac089cdf1e10837787af664dd250a77a62237bf3665ff0a3045ca52680dd67aa0b39eeba7 SHA512 a9a64076e7f0df29e6a05a9d349c530a4ee4285b6a444425681eddf6ae1e8b41f610fda0bd7cc86b5177b36f34bc3072b67c7edac2cc8c0709a032b000576a14 diff --git a/sci-mathematics/flint/flint-3.1.3_p1-r3.ebuild b/sci-mathematics/flint/flint-3.1.3_p1-r3.ebuild index 0766a2300847..9d24bf685140 100644 --- a/sci-mathematics/flint/flint-3.1.3_p1-r3.ebuild +++ b/sci-mathematics/flint/flint-3.1.3_p1-r3.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -17,7 +17,7 @@ LICENSE="LGPL-2.1+" # Based off the soname, e.g. /usr/lib64/libflint.so -> libflint.so.15 SLOT="0/19" -KEYWORDS="~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~x86" +KEYWORDS="~amd64 ~arm arm64 ~loong ~ppc ~ppc64 ~riscv ~x86" IUSE="doc ntl test" RESTRICT="!test? ( test )" diff --git a/sci-mathematics/ginac/Manifest b/sci-mathematics/ginac/Manifest index 8091530dcc00..19de3bfd2c2a 100644 --- a/sci-mathematics/ginac/Manifest +++ b/sci-mathematics/ginac/Manifest @@ -1,6 +1,5 @@ AUX ginac-1.8.2-pkgconfig.patch 340 BLAKE2B 1f405dea9cc0a68fec86a65765247e93959a4b7ab4b962855259dd4205d139deb11e52366760a3ade6200ef53938d56dc08e5eb132724dc840291d4be37d74f0 SHA512 6629df1b961d8697e6ec1080ba13caa81eaf7596f103862e35f80fa13ad552e0cfe6d53733dd2ea8b4ac83075cd60d9e3f93b5f01886933bcfe97e919b6caef9 DIST ginac-1.8.7.tar.bz2 1153952 BLAKE2B 272a9603741d43d4ba4f7ac3478aac405490cf747e20a5f77d7d6c672c6aee972ab77ddf4cd68daa3c432ea0b02a46ba295311967c2c5a2135bf34070a25f272 SHA512 29a5dbe1fa8a40668a32eb0065d1f676b074222d76ed70a05c5841a4be92c4b1a019ae3fc820e1c7007e641ef8ef94d00adab901f89673df0d372a4c8af8e51a EBUILD ginac-1.8.7-r1.ebuild 1520 BLAKE2B 7c999ade6c88ee0815f3bb508ec2054dae9f3911f2ad7ef01af36dbbf52f341d1765121f4f0c65beb3b694763e62f7f7e28c9a05d5baa33251969e3bc785eb9b SHA512 0a976b1092d4738e2dce36bb251778c9fce7d696b5b4a37ff050cfd60be5664a85f4d3304d5f2737623fa6d78a2d2febd1a29719572c9f87dd9b2803edf67b06 -EBUILD ginac-1.8.7-r2.ebuild 1511 BLAKE2B 877ef797f014448bcd918e11b5d4f3bba8dba1c4d5c9c630fc5194b4aa42efe32967f6a0376593c04c2ccba4e1e403bc209605dbd4ac14e6fd18dbf21e1419bd SHA512 c0f7482332ab7e1b8f9d6e5146d2edc7013956328ae9fbc02fd9eeba4cc8df2e08fc9624d67122102d2056eb8da5e5b5b539ed93a0648369ef65cba3e5be7640 EBUILD ginac-1.8.7-r3.ebuild 1533 BLAKE2B af1cb196aaf3263c1c1cd3e2f874331dd7d228379cd5b52fccedf5b7b27fac04ee1cacb05ee34de65e8fc1f9d80ba6b9852de021340add0b365a1cc0c4f6acd0 SHA512 a21786f99b26e10d6824abbffef0aeebbeb7d83bc781e7db8a93ab16e9e8408b3e63f949f512311acd2d49e95c60e87b885a4afd62662492bea04d2164dcfa1f MISC metadata.xml 793 BLAKE2B e657f7bb74f228c2a4be58dc2fee5dced4002195d0a33d153a354a962552a8c49395cfb92a9b0de0b5090d8009de29e13c001301b041dce149dbb9fec9799b95 SHA512 c8da993984bc0313f9586aad8899ce1fd43c304da66486aa68a1c33bb1c75aac63e129eddeda925081f624c38064634187fc24ce39c5c337b64f2889443befad diff --git a/sci-mathematics/ginac/ginac-1.8.7-r2.ebuild b/sci-mathematics/ginac/ginac-1.8.7-r2.ebuild deleted file mode 100644 index 457fed4b44a8..000000000000 --- a/sci-mathematics/ginac/ginac-1.8.7-r2.ebuild +++ /dev/null @@ -1,76 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -PYTHON_COMPAT=( python3_{9..12} ) - -inherit python-any-r1 - -DESCRIPTION="C++ library and tools for symbolic calculations" -HOMEPAGE="https://www.ginac.de/" -SRC_URI="http://www.ginac.de/${P}.tar.bz2" - -LICENSE="GPL-2+" -SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux" -IUSE="doc examples" - -RDEPEND=">=sci-libs/cln-1.2.2" -DEPEND="${RDEPEND}" -BDEPEND=" - ${PYTHON_DEPS} - virtual/pkgconfig - doc? ( - app-text/doxygen - dev-texlive/texlive-fontsrecommended - media-gfx/transfig - dev-texlive/texlive-latexextra - virtual/texi2dvi - )" - -PATCHES=( "${FILESDIR}"/${PN}-1.8.2-pkgconfig.patch ) - -src_configure() { - econf \ - --disable-rpath \ - --disable-static -} - -src_compile() { - emake - - if use doc; then - local -x VARTEXFONTS="${T}"/fonts - emake -C doc/reference html pdf - emake -C doc/tutorial ginac.pdf ginac.html - fi -} - -src_install() { - default - - if use doc; then - pushd doc >/dev/null || die - newdoc tutorial/ginac.pdf tutorial.pdf - newdoc reference/reference.pdf reference.pdf - - docinto html/reference - dodoc -r reference/html_files/. - - docinto html - newdoc tutorial/ginac.html tutorial.html - popd >/dev/null || die - fi - - if use examples; then - pushd doc >/dev/null || die - docinto examples - dodoc examples/*.cpp examples/ginac-examples.* - docompress -x /usr/share/doc/${PF}/examples - popd >/dev/null || die - fi - - # no static archives - find "${ED}" -name '*.la' -delete || die -} diff --git a/sci-mathematics/lcalc/Manifest b/sci-mathematics/lcalc/Manifest index 26039fb35f3e..fae635122ecd 100644 --- a/sci-mathematics/lcalc/Manifest +++ b/sci-mathematics/lcalc/Manifest @@ -1,5 +1,5 @@ DIST lcalc-2.0.5.tar.xz 830360 BLAKE2B 4a282de8548bc0b3d95fe079362ea98dd1397a1f0f7c4c61c6d2df8c5f95b9638aa628a25b138e6037520c69e56bfab635872115139caf3270d473e01276b980 SHA512 d3b7fa25dd3c2a8f88671076dfb5ab5e933be7feff24bbd160c92a476953f5553f9fb58f72c36b9c668929385084918fc3396e1a0bcc55de12ea8cb647c53929 DIST lcalc-2.1.0.tar.xz 831000 BLAKE2B 2b48fbf488a95f96a8a33b778b5094da4a566e6c4d0b0dddbaad2fb1a33d70e34aed7dbb3b517dbb37622fd7978630ed50c0b342d1d5135588c565640a3dea05 SHA512 31f31f6877c47756bc5b6e91da3ecdbeec9131f7c99d046b7e186f743b0726dc1f257fa107e86e6ececabacbd16a61329aa058196f0e83ef7df517588ec7ff28 EBUILD lcalc-2.0.5-r2.ebuild 1010 BLAKE2B 60e5e26b9a7601229eb54439ff3a61513ce5236c2766fb09feb29f7e0e06495e9713c8017037736518c89254d25deafb4640f3d87cc61341eeb01741c74fd112 SHA512 d70f132f0a604bbe59d4a3f9e1a03e27148023978cb21a7b7b771a4363b3cb4c5c7670bf4f2c5e79f0af0fc42276797aeed7741a1fd67ef3c3d73e9f9b0ca459 -EBUILD lcalc-2.1.0.ebuild 1015 BLAKE2B 1083bde03d7d2a801f7832754f1a45158b2676fd1bfd7e369e09031a141e5f170fd1357df0b9a82a0f109ee632865090b38fdae81b6116d339c0c8f234ea4fe5 SHA512 357f1c03c6794c294a9b60cea1bd1fb8347caaef353b82299e7bd5769a7596226a314928474ab0356bc53f2a8b7e8fb2d28b309fd4eb2eeeb01aa93a5c1544d6 +EBUILD lcalc-2.1.0-r1.ebuild 1134 BLAKE2B 161cbbe725a9b39560b66f9725175e05cd2e1d5e9a7418ada429b59fc084d0375f37c7a1120a70cf35404757c015c62fc5970f0a3c711dcc4f1d855a3a5b5bc4 SHA512 e1787e9cd9d964801cd2a7ef8070f134e7f7005c3cd932e60339fd88e2e09328c29e2bd34946610adf2de053133a4b6feca70cdb331a6bbdc0c953595b2fe89a MISC metadata.xml 1165 BLAKE2B 77544a05687fad32c18cb8d840d8de4291cae4135976bd741bbfd57a015956d5104026b99b1aec934d6a260501d89cd947e052a2ac85e35d2c93f7fc08224ac1 SHA512 cce822c8b50d97a7f8405634f565c3fbe147732db57bd66cccbaad2c2eda23076b76d0dfa442d462d55625a5dff06dde9bdf5e6ab4a9c9417d2f69972cc87add diff --git a/sci-mathematics/lcalc/lcalc-2.1.0.ebuild b/sci-mathematics/lcalc/lcalc-2.1.0-r1.ebuild index a39356808db6..8143393823f7 100644 --- a/sci-mathematics/lcalc/lcalc-2.1.0.ebuild +++ b/sci-mathematics/lcalc/lcalc-2.1.0-r1.ebuild @@ -3,6 +3,8 @@ EAPI=8 +inherit libtool + DESCRIPTION="Command-line utility and library for L-function computations" HOMEPAGE="https://gitlab.com/sagemath/lcalc" SRC_URI="https://gitlab.com/-/project/12934202/uploads/679cb360a06a713233876cd6fa0ba2fa/${P}.tar.xz" @@ -25,6 +27,13 @@ DEPEND="double-double? ( sci-libs/qd:= ) pari? ( sci-mathematics/pari:= )" RDEPEND="${DEPEND}" +src_prepare() { + default + + # Attempt to fix bug 953363 (using the fix for bug 914068) + elibtoolize +} + src_configure() { econf $(use_with pari) \ --enable-precision="$(usev double)$(usev double-double)$(usev quad-double)" diff --git a/sci-mathematics/msieve/Manifest b/sci-mathematics/msieve/Manifest index 85d3a155b943..94a915f849d8 100644 --- a/sci-mathematics/msieve/Manifest +++ b/sci-mathematics/msieve/Manifest @@ -1,6 +1,8 @@ AUX msieve-1.51-reduce-printf.patch 1073 BLAKE2B a977fb38ccfe9170bee1af8bdeed846ae5b2766f5b6c5334788748efc9c0a20e212a09df472452dbe1638d2a3fe5807d5f6fb38a934b38ccb9e8731dd0f57c21 SHA512 f675bbbe6070d3908fcfaff5ae4394b48b66e002c7b721e823aae83c9810a77272f7d148eb63b7bf1d2e2a473bf3aee26cc7a5f75d3e7d4b0b93771dd76f0325 AUX msieve-1.53-fix-version.patch 1002 BLAKE2B 76f4e62f9e7714d75d0015ef6204b4a6b38663a49c9f941f961ad604fcc221909ca1ef5758d1a7389bff23bed4b1744e6db558963ac2a441dc49fa0d45a8e1ab SHA512 5069306c34a0fbd5ac9004495b1055f6e1d5f2fda57bfdb781609db0506f2a34625bc8fc1d4d00d1acfc9d893ed2c718ebcdc33b43ab576d601f06c7572729ce +AUX msieve-1.53-gzfile.patch 566 BLAKE2B 0349b7798928907e51b2b350cb2eac9e366a0e0266b41baa46004abaaa4eba997c88d9825236eb4157f8176011945d077006473696fcc08319987f5451bd8f32 SHA512 638038fe57e214207feef35653b41cc10d95cdc9f3e9235e688d39d8fdb5cb4a505ab2b11147a791325ee639cde552142ac64c816963992df27eca4b54bddc37 AUX msieve-1.53-makefile.patch 2983 BLAKE2B f6f6c3ddc7447d5e2e258c8d4689693f7545596b988a0de7d71be7b2b51684f939a1032e8a828141b422a1d09a7268193160c9b791a20075b0c78bfc71bb3126 SHA512 71e171edb313f78b9fcd7528d21c26b8e2a87b2bf262421699715281b4d642844e203aea8d6c5eecd4ea3bef1ea9c8d7e304b1aec5e6bb52052a1f0201886a2c DIST msieve-1.53.tar.gz 976135 BLAKE2B 587007c4273b9e0ceb6dd17fb9310070b760f68f8f1c56014a168242d0989069a5257de39cba30c939b3b7e02918635d12b3153d05cd2abb9e4a6445c7ef1886 SHA512 e50e8913d38ed4108f5f2ecdbb338968edd416c56c5b7a92d8598b81fc16014ce7c7df963101c65f5bc88d1c7b2d8dbaa572efbecf53d720430a327929c9ce12 EBUILD msieve-1.53-r1.ebuild 1063 BLAKE2B ff14acb1bdee6685acd6dbac89c187c064e31d58ecd4bca03fcc563fc34bcb1f67c258ec63f5c693dc875ac69f7768ae1d43985104195e52410e51c6a7674f1f SHA512 18ceea669db24f06d92b2b63f1543e525c1a6fbfd44e616b4487c389761d0f739441860074b5e4b1d1535066569eeb640e78c20dce9ec6ed10e80ea9402c0f15 +EBUILD msieve-1.53-r2.ebuild 1178 BLAKE2B 3b6d3a3c47d4d0c8caf1216c4974af05d34c33c23f129633d539f2b615d30f489761f7e4cd640eee448722ed0829e3a073b9f962d88e7bb6ce6489b0f933ce94 SHA512 3c4e4c035a2d2a805d17390e1ad6af353da2e66fbfa865889dffef7d2ac04a5d86df1adf5e560e0ca0d4e99b44e864694fdb3c867e921c5359e43a8db413021f MISC metadata.xml 333 BLAKE2B d39c13d7d0b53f9e6bcd216bdd7e517152c3c74c8ef1b22e18dcc3a390ab7124cd2d9b6cfc81d5c9f58669572eed3045033b5154136dacc1729c9d50ddf28200 SHA512 692294346a4a20ac8daffe6d52026ae20200a673f88d2753780e676fa82f2bfef44c9081350ba724985af1030aaf41197c9dc6966b6c72fa7b973c81aee1e630 diff --git a/sci-mathematics/msieve/files/msieve-1.53-gzfile.patch b/sci-mathematics/msieve/files/msieve-1.53-gzfile.patch new file mode 100644 index 000000000000..981a747eadd6 --- /dev/null +++ b/sci-mathematics/msieve/files/msieve-1.53-gzfile.patch @@ -0,0 +1,25 @@ +Don't double-pointer and then assign from single-pointer +Fixes compilation with GCC-15 +https://bugs.gentoo.org/920312 +--- a/common/savefile.c ++++ b/common/savefile.c +@@ -152,7 +152,7 @@ + fclose(fp); + } + if (s->is_a_FILE) { +- s->fp = (gzFile *)fopen(s->name, "a"); ++ s->fp = (gzFile)fopen(s->name, "a"); + } else { + s->fp = gzopen(s->name, "a"); + s->isCompressed = 1; +--- a/include/msieve.h ++++ b/include/msieve.h +@@ -101,7 +101,7 @@ + uint32 read_size; + uint32 eof; + #else +- gzFile *fp; ++ gzFile fp; + char isCompressed; + char is_a_FILE; + #endif diff --git a/sci-mathematics/msieve/msieve-1.53-r2.ebuild b/sci-mathematics/msieve/msieve-1.53-r2.ebuild new file mode 100644 index 000000000000..7989eeb85b3c --- /dev/null +++ b/sci-mathematics/msieve/msieve-1.53-r2.ebuild @@ -0,0 +1,61 @@ +# Copyright 1999-2025 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit toolchain-funcs + +DESCRIPTION="A C library implementing a suite of algorithms to factor large integers" +HOMEPAGE="https://sourceforge.net/projects/msieve/" +SRC_URI="https://downloads.sourceforge.net/${PN}/${PN}/Msieve%20v${PV}/${PN}${PV/./}_src.tar.gz -> ${P}.tar.gz" + +LICENSE="public-domain" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="zlib +ecm mpi" + +RDEPEND=" + ecm? ( sci-mathematics/gmp-ecm ) + mpi? ( virtual/mpi ) + zlib? ( sys-libs/zlib )" +DEPEND="${RDEPEND}" + +PATCHES=( + # TODO: Integrate ggnfs properly + "${FILESDIR}"/${PN}-1.51-reduce-printf.patch + "${FILESDIR}"/${PN}-1.53-fix-version.patch + "${FILESDIR}"/${PN}-1.53-makefile.patch + "${FILESDIR}"/${PN}-1.53-gzfile.patch +) + +src_configure() { + tc-export AR CC RANLIB + + use ecm && export ECM=1 + + if use mpi; then + export MPI=1 + export CC=mpicc + fi + + use zlib && export ZLIB=1 +} + +src_compile() { + emake all +} + +src_test() { + "${S}"/msieve 3595 || die Failed to factor small semiprime +} + +src_install() { + dobin msieve + + insinto /usr/include/msieve + doins -r include/. + + dolib.a libmsieve.a + + dodoc Readme* +} diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest index 04ebf4c30444..2ebf5da62869 100644 --- a/sci-mathematics/why3-for-spark/Manifest +++ b/sci-mathematics/why3-for-spark/Manifest @@ -2,10 +2,11 @@ AUX why3-for-spark-2020-bibtex.patch 288 BLAKE2B 50459e0dfe6ef3d5b455993e9e7fbc3 AUX why3-for-spark-2020-gentoo.patch 332 BLAKE2B d71897d1d253a95f2a783483ee7bb0d243961cbc7218e05f3717a95388da0613e3f162a39cb4dac816035d6381ac69f189e352f2d83530b70b46b2439f7b92c3 SHA512 766de53c5cdede4bfdbac671851ec7de5060712622d4c89ce9117ef31596c2e4bd938bd2fe50d6a969f93ae252c40c83c2f782ad710fd52ab652434765483f90 AUX why3-for-spark-2021-flags.patch 1234 BLAKE2B 617040fbf9204382adda8161a07ab5244bb60daf1936a8c549ccd3c28a10e447c80cf8875ef2d16103751dfc9881c15e0a8f39f2877fe7d0adf9a8dd374e1e21 SHA512 abbe1b1f9ed6b5aedf0521e0f8d19b6f0267c5304000419f6df91b581bfa99a46c4b46ceed5a294ffc47c0b2f987666c6cd5801049da14b79f24885cbd227bcb AUX why3-for-spark-2021-make.patch 350 BLAKE2B 970a7ba442a22d96e5807aacd07997587c20a53660045392229e2069801ae4b8f92c5385fa732341acb2498dbcf515d51aa5f2e96d6375006dfedc7ee2eea53f SHA512 b729369bb74e3a8546b449f186cac490d83e764a4fe801de9dd9cb134a8e21dcd9b45af6c63733d953b3072e4363e95599d0cd8e6dfdb936648c3acb9918828e +AUX why3-for-spark-2021-sighandler.patch 408 BLAKE2B e02ab70cd383afa500c1d28c89105747c7e554bd8fc67c51d91d28d598350154e93553d4dc2bc5104508488824208c8b10dbc0ddeb6b30227e5c91b21d91634c SHA512 5b059db627e91b283fac8958e83dfe0262628d491142c1e0815c950f242a0add1c83478308d02ba77119361bfa74ecc18c240feb6eedafae66261c4efeb54d3a AUX why3-for-spark-2023.12.13-flags.patch 863 BLAKE2B c6456f944667dc72eb87b2e76d3ac0537208bbbda6b9fa4584295380fab030a2b3751cf1cf490c88e78beb1547ac2daaec2e8246258a640d0d94d56ddeb9425b SHA512 f5db8c0c03eff52bfe9f675dc7e784d8dd86e37e070fa5756dbc7065b88577c7006d9d132fc4093b25abde692b114facf9445965b5485bea56c97290b5087af5 AUX why3-for-spark-2023.12.13-spark.patch 357 BLAKE2B 5382fc4b53392c237552110497d9a86f5f215f9b7b83ba8f1f0357fee9c8defdef73b6793efe4a82ebc3d57d00325d4db622f2ac7639f88e00b792e214b1a7c7 SHA512 910fbf286476510c3fcf1b4662694b67398ea35edd2e0c8f71a27f767a341ef472f9c74c754b185d59bbd11493f369dddc340ac80ba63f5734b9e6c84d1ca5f8 DIST why3-2021-20210519-19ADF-src.tar.gz 10386938 BLAKE2B 93b6323c562126244f5cccef34088a521fe3dc1cec07c966e94472503ec8492707b20a641936449307f0439e711a82260d36679cbc69f53df8e7886a1d3673c3 SHA512 65e3c1430001962f2c7cce786f3e30f14b5295cff89c4087d95c1545e81743723319ba0309dbe15c4c46552110b25ff57addc3ee085dade02ea59a2273b127db DIST why3-for-spark-2023.12.13.tar.gz 7119379 BLAKE2B 4fd78efaabc2ca40853a905b1581ed976660f5b1b01ab9490c422022284132d8306289aad3eb2111d85d5cde5b50242b5d94d313e8d78a7443b7fcc4298fd11b SHA512 88220595eae9c5cf4125c0dc9d5176e637a1f1e355f61f51176bdb7643a000c837e501101e45c2b50ae3f41f81436e1133be241fd5fb0b6816823b2106113ae7 -EBUILD why3-for-spark-2021-r1.ebuild 3103 BLAKE2B fd8e8cd70d1d38c69fad088c3ba66f101e335bea625ab3dffe996d1462f364a2e4e5489869c462396b4a0ec7a4e418df593f1869927188840ffadd4b56a02cb6 SHA512 dc2472a0a6375bb8cf08760d438fdb4cd3f4dcc41063f6b4950657cf7d277c7b6506269fbbd8c711b951fc8cfb8d65fde9df5fa4af556c7a68814001961370e9 -EBUILD why3-for-spark-2023.12.13-r2.ebuild 3469 BLAKE2B 4bcbc21b2daa2bebe1e1f927393423c2a7c9cb9fe3629a897858595eb23780c0735cb773239634ca3f71bea7a8b793a5c265be753983c709dc7e6ded567c2905 SHA512 e9f6ca9c78c10d3a92019d1a897a878e9cb23339704c9689d8f8ed27bb8c71d8c4394e3b7b46addc38e837b7871b934ffd4b1238a67727df4d82a8efc36c2349 +EBUILD why3-for-spark-2021-r1.ebuild 3140 BLAKE2B d060cdd988c4c77a229b49178f790f64448c7e6efafeca4105916e571e3da461016718240005ad2d53b7c6c09123454780aaa597dccb733f59c4367adc9d7958 SHA512 2b2c1cea8f7ca7ebb7e6b529dc5005fb7831ef88ab8bee1debe06866d2ddab04d303e9a2d968b905272450713f5ccdaf7019b28c19a2d0e8fd739b2bbcd048b2 +EBUILD why3-for-spark-2023.12.13-r2.ebuild 3512 BLAKE2B b2147ea45ccfd09a770e21ae4f95d4bba817fc54110e8af38aeed67dc80b49c9453e251700a47fcade873938d587b0a2a47742ec64c903bd501af419b5053554 SHA512 8b0883dcb480f18929c86f76a4d16efee52b61e8513e2afcd5ce25f611295fa246b4fab3c7d046cbffb1281c2035f75fef78ae6f75912b4019cbf366f999f2d1 MISC metadata.xml 1561 BLAKE2B 48c1ebe394b9a4152cd3b3a0560ff5e2d0e93e48422265d224b49b80b5b625b110f3561a09825e7e6efaf1dbb1dca8362612cfdccd43d954f4a848fb39624653 SHA512 02c1cecdd192e289d0146d0ba16148a2fcd9daddc39b6afbaa2a510594475a12cacd4b4c92d1c1b7bf40c291a90d66b887fdbf19fa82af45f197e2323e4b2b20 diff --git a/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-sighandler.patch b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-sighandler.patch new file mode 100644 index 000000000000..923c7c04033c --- /dev/null +++ b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-sighandler.patch @@ -0,0 +1,15 @@ +--- a/src/server/cpulimit-unix.c 2025-04-12 09:08:31.099116998 +0200 ++++ b/src/server/cpulimit-unix.c 2025-04-12 09:11:45.097592212 +0200 +@@ -42,10 +42,11 @@ + } + } + +-void wallclock_timelimit_reached() { ++void wallclock_timelimit_reached(int signum) { + fprintf(stderr, + "Why3cpulimit: wallclock timelimit %d reached, killing command\n", + wallclock_timelimit); ++ (void)signum; + } + + diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild index 962d85cf88de..88eff56c735b 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -54,6 +54,7 @@ PATCHES=( "${FILESDIR}"/${P}-flags.patch "${FILESDIR}"/${P}-make.patch #Bug #883167 "${FILESDIR}"/${PN}-2020-bibtex.patch + "${FILESDIR}"/${P}-sighandler.patch ) QA_FLAGS_IGNORED=( diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild index d05877b02402..d4757caaf1b7 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild @@ -53,6 +53,7 @@ PATCHES=( "${FILESDIR}"/${PN}-2021-make.patch #Bug #883167 "${FILESDIR}"/${PN}-2020-bibtex.patch "${FILESDIR}"/${P}-spark.patch + "${FILESDIR}"/${PN}-2021-sighandler.patch ) QA_FLAGS_IGNORED=( diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest index 2a6a677eb317..154c85d4d302 100644 --- a/sci-mathematics/why3/Manifest +++ b/sci-mathematics/why3/Manifest @@ -3,6 +3,6 @@ DIST why3-1.6.0.tar.gz 6850062 BLAKE2B 91db6f67a9d0fe24b7d7d18e6c5e9cd362563a557 DIST why3-1.7.2.tar.gz 7005562 BLAKE2B cd1b25e35147a319e5d5d1f1380ecfaa3555624c797459e8df5cb3b1558928d9c02b567645a2f2952b877c7135a5a393f4b734dd35e569bea6e6b073708901ce SHA512 7e80671480ce0dc3c69514bea2836f5899c686b43a4e8607c27d28e63f78150150dc45fcac5760dbee9721d363e456b1dcaeb1501fc9f63f360722a1021f675f DIST why3-1.8.0.tar.gz 7373730 BLAKE2B c650d0578c6ae28f01872f01ba2c6e58ebf00c8fc87f4040f51430aad6b94b52f031b17d5b75178a6a6d5f254f3d42dbbdb031f676335a2d896021c0663192a9 SHA512 8d30ac4a1280a7d7741ef862365e06aa3218a78fd01ca7f969f0d6515245c7259fcc81897bfe08c581c6b37639d1465ab4a96657f3baf4c747988df8201d4549 EBUILD why3-1.6.0.ebuild 2349 BLAKE2B 946115ce4d70ed1505fb3072c7ad6e67c6c3ea0c97a03dd6141b069ef8b2502f43e44717ff9f3dbc5c4de367fb25d7dbd98369f8313ff75ba0471f35c320df04 SHA512 8a196dfa7a161c980e2023f1363d6ff91af3ca854e96539ca44d004efa2b5d813b480c79dd0d51e31796a0c0b6f886d094bd06751469dd8b236aad239ddaf1f7 -EBUILD why3-1.7.2.ebuild 2410 BLAKE2B 00e650a1716213d2be02c98e07157d44311996a6faf64c52193f7bbe1dcf16dde133a81468cc36e950a48c0891100096119960323b0045a79ae068599c6685b3 SHA512 aa928c405d247f6462b2e2571f5efe2e01993034d6515d6f0c4a3bb847fb352f319621ec1d31ffb3e6f8336cc32372cb6170e621bf9507e71866c5b1dddfd612 +EBUILD why3-1.7.2.ebuild 2651 BLAKE2B 164dbc129415f259d168a1a0257856120c788c80b248a991bd0768c78e75a64d549da241c5a3b9458b67e7d6a3876a132d78f85aba100a5aa6c2e401453f0c35 SHA512 ce26049a9db0010af072a5e36cc92c0f53fc61bc8bb83ef517c0b10a6b959c170d14acf351bda8efed94ca4ba660324367dc9856bab9a01da326e70c3efcd21b EBUILD why3-1.8.0.ebuild 2764 BLAKE2B 1380a104d899b427a4009cf4ac38bfe813c802a1dede77666efafe8021eb259d1ee49ef9a49da345e2dc912ce308fb467641c85018fe8c8396eeb5381519f13d SHA512 6452354cb1a3f30541e2e50fbec3f307985af70ecee63cea2ddac9c51ef6d760e294eea21b24336150cfc8aa0ebd76c8c4fcebf7c568422c90ff58bb35a11c8f MISC metadata.xml 1902 BLAKE2B 1868834e446b471f4b3f7b11fc987661dee83790110fa31c73f0060fd8340891ff85ec16591d1326977760c726ec04bd06a4cca46fb1a87f792340a002cba247 SHA512 4dc9408d44eafc037bfce9c996570e58c161e07c3ded2a052954c834fcf8c3a36cf8429493bc705ced7445d199eaf207cabb5df1b0ed6b625015af518e55d9e9 diff --git a/sci-mathematics/why3/why3-1.7.2.ebuild b/sci-mathematics/why3/why3-1.7.2.ebuild index 7e5ea53e4f28..aabe6abb7ced 100644 --- a/sci-mathematics/why3/why3-1.7.2.ebuild +++ b/sci-mathematics/why3/why3-1.7.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -60,6 +60,17 @@ src_prepare() { # remove QA warning about duplicated compressed file: rm examples/mlcfg/basic/why3shapes.gz || die + sed -i \ + -e 's: effect: effekt:g' \ + -e 's:(effect:(effekt:g' \ + -e 's:\.effect:\.effekt:g' \ + src/extract/mltree.ml \ + src/extract/mltree.mli \ + src/mlw/expr.ml \ + src/mlw/expr.mli \ + src/mlw/ity.ml \ + src/mlw/ity.mli \ + || die eautoreconf default } |