diff options
Diffstat (limited to 'sci-mathematics')
68 files changed, 1381 insertions, 293 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex 28faa857b011..7ce541b13a48 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/boolector/Manifest b/sci-mathematics/boolector/Manifest index 95ae96a2b6dc..35495146d492 100644 --- a/sci-mathematics/boolector/Manifest +++ b/sci-mathematics/boolector/Manifest @@ -1,4 +1,6 @@ AUX boolector-3.2.3-cmake-std.patch 350 BLAKE2B bcdc394f1f1c9ef17605f0c12c2279d7842a4c106d70132760ed7c3fe215d41ba25551ae18e9d29f5697fb2c7546cef96b3a1c3ebb5b79da6c6ed4ada98d1dbb SHA512 6345feda413d4959cd95af0708f522d3569bea66ceab524b6f2378e473f1a64417b5fbcfbd865c10c14c0dfb0cd11c585db6ffa7c79d930b90aaf47693d47aa8 DIST boolector-3.2.3.tar.gz 1566566 BLAKE2B 1c9adb1272c2289af6afce0149b11ce36a42aef47f1b3353f5f9dbaf12287718f29e45415b82b723bd37fb0438517c48d64a12f0c038105edeb6036f49189ac7 SHA512 a85c10edf05455e2911614f9d8f2b214a136470852b31a631c96247416dab822efcc6d9047f3a85c85aff499e8eb62fb36e52f2633511c5b42d287c4962c4239 +DIST boolector-3.2.4.tar.gz 1567983 BLAKE2B c74e6b7be2931ae164b3cde5ff3c9b60b12ad49b4be23ddb2931f5a71ffbfb5bb98a29ea46780275414bbe2e3e65b6108e489254251f8fd820a89162dc6eaae5 SHA512 57ba34264abd1d4350403b45995b040bd792dbea7d07a1c64d067ddbddeb3944d8515ce667ae4ffef70d35b5be68cfc5938acd6a8a7b242a09f218474024b821 EBUILD boolector-3.2.3.ebuild 1899 BLAKE2B 0856b67a9ce86a78b00b556d087c8d2ccfecddf25899e57da146d3698233c8edd773d8d553d77741afa3488fa8669bc042ee787e7d0a89c2b889238b4d9b0982 SHA512 642e7323639f49f97a613ed9f15ebabcd51969b0b5b75fc2530fe73cb36000b5baf7adb30a000d143de14d8957f78cce506d9f0bd92d50b3ff4da4a401b08839 +EBUILD boolector-3.2.4.ebuild 1899 BLAKE2B 4b5db04d6c7739096eea5baa44040a68e9b1d9c74da3fb273fe4277956c63e7d5da66b379452101636f6afb3b05bdc7563ed08ee5251dab689a3cbc245abca4e SHA512 a9feb0a9f0c2c731dd04710d1c8ab9567463a66cea089b3c2e984fe73c805c65a8852b952aa7b653ff6d53519f97d95ae0d5652bc8c69e6ee657bbe034276805 MISC metadata.xml 1245 BLAKE2B a04e1e5a6af857100b8b569f57f4d2610593e9eb741513e4e6405a8fa9828471b92aaa1ad57a3163dc2f251b5664493692f92477b7191621ff8fd76eed9f57e7 SHA512 81257f7be3b21bf10caad654d5747ef2d978c0df5a05049b890420e2d170b7a4fa06151da0604a8b1b6e7daf2fb01344003c9243205a94b4040c580beb414836 diff --git a/sci-mathematics/boolector/boolector-3.2.4.ebuild b/sci-mathematics/boolector/boolector-3.2.4.ebuild new file mode 100644 index 000000000000..2a1d832b43c3 --- /dev/null +++ b/sci-mathematics/boolector/boolector-3.2.4.ebuild @@ -0,0 +1,86 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +PYTHON_COMPAT=( python3_{10..13} ) + +inherit python-single-r1 cmake + +DESCRIPTION="Fast SMT solver for bit-vectors, arrays and uninterpreted functions" +HOMEPAGE="https://boolector.github.io/ + https://github.com/Boolector/boolector/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/Boolector/${PN}.git" +else + SRC_URI="https://github.com/Boolector/${PN}/archive/${PV}.tar.gz + -> ${P}.tar.gz" + + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="MIT" +SLOT="0" +IUSE="cryptominisat examples +gmp minisat +picosat python test" +REQUIRED_USE=" + python? ( ${PYTHON_REQUIRED_USE} ) + || ( cryptominisat minisat picosat ) +" +RESTRICT="!test? ( test )" + +RDEPEND=" + sci-mathematics/btor2tools:= + cryptominisat? ( sci-mathematics/cryptominisat:= ) + gmp? ( dev-libs/gmp:= ) + minisat? ( sci-mathematics/minisat:= ) + picosat? ( sci-mathematics/picosat:= ) + python? ( ${PYTHON_DEPS} ) +" +DEPEND=" + ${RDEPEND} +" +BDEPEND=" + test? ( dev-cpp/gtest ) +" + +PATCHES=( "${FILESDIR}/${PN}-3.2.3-cmake-std.patch" ) + +pkg_setup() { + use python && python-single-r1_pkg_setup +} + +src_configure() { + local -a mycmakeargs=( + -DBUILD_SHARED_LIBS=ON + -DBtor2Tools_LIBRARIES=/usr/$(get_libdir)/libbtor2parser.so + -DUSE_PYTHON2=OFF + -DPYTHON=$(usex python) + -DTESTING=$(usex test) + -DUSE_GMP=$(usex gmp) + -DUSE_PYTHON3=$(usex python) + + # Integration with other SMT solvers + -DUSE_LINGELING=OFF # Not packaged yet. + -DUSE_CADICAL=OFF # Fails to link. + -DUSE_CMS=$(usex cryptominisat) + -DUSE_MINISAT=$(usex minisat) + -DUSE_PICOSAT=$(usex picosat) + ) + cmake_src_configure +} + +src_install() { + cmake_src_install + + if use examples ; then + dodoc -r examples + fi + + if [[ "$(get_libdir)" != lib ]] ; then + dodir "/usr/$(get_libdir)" + mv "${ED}/usr/lib"/*.so "${ED}/usr/$(get_libdir)/" || die + fi +} diff --git a/sci-mathematics/cgal/Manifest b/sci-mathematics/cgal/Manifest index a1ffab94cb85..f71e89bbd48a 100644 --- a/sci-mathematics/cgal/Manifest +++ b/sci-mathematics/cgal/Manifest @@ -3,9 +3,9 @@ DIST CGAL-5.6-doc_html.tar.xz 72825232 BLAKE2B 08a5148592771c933126e38a74d77a982 DIST CGAL-5.6.1-doc_html.tar.xz 55148128 BLAKE2B 526d71be5c474570f5d17734a0931ecc3ba4564a7660d798dc00ea901cc27a421e02032490f3355d58dc6ed0b213e916288a025d3d3de4be2887fcb7b42e52a3 SHA512 88b313bc62007412a3b31ae494bd6e03ee4910d689fbc6dbd22c3a38bbd02ffcad5fcf7e71583dfc5a0ef32577e2a1639972d9e5c5e8bef38443e7dd953e7543 DIST CGAL-5.6.1.tar.xz 24893904 BLAKE2B 51abb85af785a6428893df282ce8e8dd6f2aed705d89b057e52f08e4cc42bf2696f676553bd89adb5178915b980b2566bae61bc9809ba58913b9244dac26034d SHA512 34b0b5958253fd4bcfd83ec40d3232bcd1f3ee4c07739ad3e19bf97104c628d10601909cc2343e48fceca0407a41f2c31a686b182b795e471a9a02f1964574f0 DIST CGAL-5.6.tar.xz 24874364 BLAKE2B 556c05177f8b3bcecfd16f2bd38cb6505ab04fb41f1fdcfc97a300f539c7642c3529c75cbe29fd6186b329b3ea844698e752d04690d010a7a5c3f5b6ad3a141f SHA512 1d91ad870b63bce36e060c0de7fa2e7ab98f9d9f6cf7c94d91a6677db237f50c28f8fc49f24bef943b2adcb5a4a8acf01dd94092a97024c33413763348131ea4 -DIST CGAL-6.0-beta1-doc_html.tar.xz 60360336 BLAKE2B cf9612d1168caa03985b432aba5b272ccfc879bbf7ee4cd8d22196f29c74957481aa6704a3c653bd2bfd8aee2d1d05beb1f966201d28d9a186f06441f10087f8 SHA512 9d547114a29abbcf0a3ac486b7073fed77a4bc240f2c565c14acc857e4bb52af348bb73ef318280da577beb2346b79b14db92e33816b9d564ae27dbec924e6f7 -DIST CGAL-6.0-beta1.tar.xz 26383632 BLAKE2B df1e2b00ea5f4a936080d2f308c77fc4053d34b0924dea34431c657f2bdee7a7122aaffb89d323877c360cec65ae238fa188cb03140b337805c26d48a812c05a SHA512 bcbfd6f8704a9d64c3371b1ba0bf4ecd601178a2a849065bff2c5ec3651317237e2d4ee961dcc68936bb0c0a8e7d00220943067bfd18b51f35bc035f76a10891 +DIST CGAL-6.0-doc_html.tar.xz 59969836 BLAKE2B 4b1a64767e4fba2cd99ff79c361a155a4fd96feac016bf2e556a68eedbef97565db5f3cd58cfc862fbadb7aa0c8ce7bbe85fd7c0a6e17554e384f09004792f3c SHA512 38d77f14bb3ec3fcdec9f8a951970ed843a7171d3cb3bfeb9d4bf5b8312857ba405ec71afcb04bbc4c703286c66ce364c7f0383831aa46b2ef3a6cf30ad2ab15 +DIST CGAL-6.0.tar.xz 25979696 BLAKE2B dfc7785cc6398334b877a8839c2ea20e4540663f86230d54b45771519cf2ade31bb943e512714b72e5bc5af80978cfe9833332bbb1a75fa009de9d6caf6c8f89 SHA512 3c7aa6e5a014867cc2a2038c96ab7f62ab735d678efc580cc498fa27209cd338c4bba9524ea90d4dd88442e4df648791b83c465e7319ae5870f8c3c8827128e7 EBUILD cgal-5.6.1.ebuild 1238 BLAKE2B 8094fe3fadccc096665fd7898c2efc7d5d6644e0353b2e6a704aebe1656cb159e30a8eaa17aa9b026f9a62f7f059415c4915a93e45337413b528ce4507f78f39 SHA512 7373abbe5b5d4348a71675b676176e0edc11a56e1c8c24b037ef3f2b5b77e3023a7f6a7ba976e79b7da496e0ea9e5c001aab7b8899d65a517866969a78696bf5 EBUILD cgal-5.6.ebuild 1248 BLAKE2B 85bf70631e6dbc0adb5aa26d52ee6f5948d8ae1f59f0db773a47d41eec88d50aabc5f61b6977e8fadcc55dcb0994d2e355551d98e1b2f5660633df99c2cdec81 SHA512 6f90f4c5b621b214a93556d19f4b1b9b4816cdc759a7d16ed12c7353b00d0b88277f6e4e4bdf39f45fc2cbf558cf03750f406a2ce5c8d642899124d19acc22bb -EBUILD cgal-6.0_beta1.ebuild 1268 BLAKE2B 4b748619cda3f713e1678bdb685c08669610558ce8744defa91884d4fb3f272699cd6ae6c3849c5fdacf702cf37ed1928dc0eb5c01af6d2e1009e8be72e6ef14 SHA512 81e4985f29bdf65486041cff05fb94064845f78a828406f3084db10fab780302cdd0f230d8d6e526f17ed6dc61d91458b47ec57e5239c31ac82feed2cd4e5ba5 +EBUILD cgal-6.0.ebuild 1268 BLAKE2B 4b748619cda3f713e1678bdb685c08669610558ce8744defa91884d4fb3f272699cd6ae6c3849c5fdacf702cf37ed1928dc0eb5c01af6d2e1009e8be72e6ef14 SHA512 81e4985f29bdf65486041cff05fb94064845f78a828406f3084db10fab780302cdd0f230d8d6e526f17ed6dc61d91458b47ec57e5239c31ac82feed2cd4e5ba5 MISC metadata.xml 1118 BLAKE2B ed180a3128a37bc151ce89a0edcc076b09449a43e9ce7633ac0c0343b20cdd585cf6b68dc92262730d8379b4eb0d4b26feba90327384f2e4546fba27336d96ca SHA512 c407490521df2908343dbc870684938dfe71e5f4a072f016361db9f08ebb598540c69a704ce97cf803b4e23846a18c259fc208f286f0d11d8acbadd32182142c diff --git a/sci-mathematics/cgal/cgal-6.0_beta1.ebuild b/sci-mathematics/cgal/cgal-6.0.ebuild index 99f0659b8999..99f0659b8999 100644 --- a/sci-mathematics/cgal/cgal-6.0_beta1.ebuild +++ b/sci-mathematics/cgal/cgal-6.0.ebuild diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest index 9acd15d4684e..b5943328f02f 100644 --- a/sci-mathematics/coq-serapi/Manifest +++ b/sci-mathematics/coq-serapi/Manifest @@ -1,5 +1,7 @@ AUX 50sertop-gentoo.el 85 BLAKE2B d06e7c0823a3bedbf5f9c91ea8ea26bc9ed9d2ea44030316a1f3d65c19e51d874f03c845af5ae8237a9562cff7c81e24196c5ae29e54d79d1ba322f51904ba5d SHA512 42e61d798800d2e4c7e0702bdff53401a06ff6def54a1c7c0a8a6fd3e6a2f502c48bc84a04356818aa2ec5241bdd63b407837df123bfad76fafb78cf8a5a6cca AUX coq-serapi-0.19.0-sertop-el.patch 303 BLAKE2B 106d44d3dc7e0e6400861382e582734111a2e64ab018d78722214d2858a0449e9f519fc7119893a78615e2d9afb5f481446141714a6f288cda6236f0d1156b01 SHA512 038508239e54194ff70207611c517c5f46ecb323f0492c3cd901492bc717995753dea6dd003228de7d2ccde2aaf8d87033cb5fd4271fd6f1504a00ea7de0eb82 DIST coq-serapi-0.19.0.tar.gz 180779 BLAKE2B 27083a851139e983158b4cb251d37971d0eec61dd91303a0d09512e690c56a75624dab8c5120eebaed1e7bb168d0b2b889d538854812506c4d0a804f7bee7423 SHA512 e01706beb957315011682f2f74448e66c7a8a077418eeaf7d3fa21414bdf88950b75adbfe2392656e4d6036ce6585d4d53b1dadfd8379249b2943ea389c9c83e +DIST coq-serapi-0.20.0.tar.gz 182481 BLAKE2B 0483eb7023c67b42def13d23ceec7375d4a575f58ef0b6ed39cbcf8c8f76633c74c83bdebff18b7a777d90beeb20d03c38f20cff525afd1822db31c4a168d413 SHA512 00f8ff851c1b99f45761d098af51949f9a6844d05e23b2cede795bb4f93a9a0a753b45c38271537b257f0ec9cd7538be251174eff483a89cd57889f40a358c27 EBUILD coq-serapi-0.19.0.ebuild 1506 BLAKE2B 3d4fa121e18fce87c36d18c07fb74e3b476923f70297a9379ec33cf8226c784ed701de068d73739437fed6efc669f49ee71efcb869d7f249fa97b70df4f78f25 SHA512 d7b63c62d34855d298f6129dff53ca46bb805a0714719111d95611bc39d6c2db77db9d0404edc50145ae14beebe53a7acd214be42ba62720c8e3d6d2d78bf818 +EBUILD coq-serapi-0.20.0.ebuild 1631 BLAKE2B a55991677a6b688de88659d22920ad87d0941c6cdc9f80337af1aba008a7defa9435b49ae6879ff26c352211fc7528ad2ab023b2d4e7bcab3426d0219d50de64 SHA512 3619ab65129df0f07d1aeb54349f03c1b44dd1c13f43a87ff0834a6b599bbdad481c0c91954935d03e7dd4bec22a62aa09d3288509840bbf27bd801997b98cfa MISC metadata.xml 935 BLAKE2B e1444df414ce499df466597f5e0949e8ebf2d6da23d77028546324109659f58c5f0284a315ea062410a2f2e4631aac8d3564664719e89d76ad6ded9bb8ba7a5f SHA512 172fedbb2aa42e2be9aff426d64fcd69d2dfa206bb0e6072c6ecdc14a1923a2f0676303d8d8aebfe9a3e96e0a1e89185d2d4952bdb9ba1fff44b3891f26d6bf7 diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.20.0.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.20.0.ebuild new file mode 100644 index 000000000000..2a430ae8faf5 --- /dev/null +++ b/sci-mathematics/coq-serapi/coq-serapi-0.20.0.ebuild @@ -0,0 +1,83 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +COQ_MIN_V="8.20.0" +COQ_MAX_V="8.21.0" + +inherit dune elisp-common + +DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant" +HOMEPAGE="https://github.com/ejgallego/coq-serapi/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/ejgallego/${PN}.git" +else + # The tarball in SRC_URI is comprised of <supported coq>+<package version> + SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz + -> ${P}.tar.gz" + S="${WORKDIR}/${PN}-${COQ_MIN_V}-${PV}" + + KEYWORDS="~amd64" +fi + +LICENSE="GPL-3+" +SLOT="0/${PV}" +IUSE="emacs +ocamlopt test" +RESTRICT="!test? ( test )" + +RDEPEND=" + >=sci-mathematics/coq-${COQ_MIN_V}:= <sci-mathematics/coq-${COQ_MAX_V}:= + >=dev-ml/ppx_sexp_conv-0.13.0:= + dev-ml/cmdliner:= + dev-ml/ppx_compare:= + dev-ml/ppx_deriving:= + dev-ml/ppx_deriving_yojson:= + dev-ml/ppx_hash:= + dev-ml/ppx_import:= + dev-ml/sexplib:= + dev-ml/yojson:= +" +DEPEND=" + ${RDEPEND} +" +BDEPEND=" + emacs? ( + >=app-editors/emacs-23.1:* + ) + test? ( + sci-mathematics/coq-mathcomp + ) +" + +PATCHES=( "${FILESDIR}/${PN}-0.19.0-sertop-el.patch" ) + +SITEFILE="50sertop-gentoo.el" + +src_compile() { + dune_src_compile + + use emacs && elisp-compile sertop/*.el +} + +src_install() { + dune_src_install + + rm -r "${ED}/usr/share/emacs" || die + + if use emacs ; then + elisp-install "${PN}" sertop/*.el{,c} + elisp-site-file-install "${FILESDIR}/${SITEFILE}" + fi +} + +pkg_postinst() { + use emacs && elisp-site-regen +} + +pkg_postrm() { + use emacs && elisp-site-regen +} diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 2f46c0eaff51..f655d2918323 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,7 +1,9 @@ DIST coq-8.19.0.tar.gz 7674352 BLAKE2B 195040c01797ac9ce67611e0c96a4601e0a48966e094e868b9f3644aa9f75fa85adf0e2e6340a14ae0a0598b746f5ad989d8f10736cd2d3852a449f6f79d2c93 SHA512 02fb5b4fb575af79e092492cbec6dc0d15a1d74a07f827f657a72d4e6066532630e5a6d15be4acdb73314bd40b9a321f9ea0584e0ccfe51fd3a56353bd30db9b DIST coq-8.19.1.tar.gz 7675945 BLAKE2B 62ee346f50d0a22ab217a8e689c3078347519d159619b75f20a8decace356b49c60bcd5b2cec5fbcaffc758a8944f8a7940298df1c0ddddfbd858ed9269c12f3 SHA512 ec8379df34ba6e72bcf0218c66fef248b0e4c5c436fb3f2d7dd83a2c5f349dd0874a67484fcf9c0df3e5d5937d7ae2b2a79274725595b4b0065a381f70769b42 DIST coq-8.19.2.tar.gz 7678311 BLAKE2B 5f9617fbe0127b0c8357c63f331ba3e9fb5a931be9a4a8e8de2e27820a0d986bf99ed9a512740a0f721c742504225ae56e240af893510aa0e449931499d10aab SHA512 91bc81530fa4f6498961583ad51eac5001f139881788b88e360a866ad8e2a6e2c5bce86d1a580ab4cd4782bf49d48318767df82471ce33ba3ac143e5569ad33c +DIST coq-8.20.0.tar.gz 7839432 BLAKE2B 9b489db0cc6874b0a629f3bdb4b503201005ec95a3375441538cd7e51d371a39561b9d0ab23ac485652782fdc7ae8d90c97ca1ff4d9a85fb8727a39ed4a6f48c SHA512 1a7eac6e2f58724a3f9d68bbb321e4cfe963ba1a5551b9b011db4b3f559c79be433d810ff262593d753770ee41ea68fbd6a60daa1e2319ea00dff64c8851d70b EBUILD coq-8.19.0.ebuild 2491 BLAKE2B ee610273d5294b25e7aa48cfb048b99af86aef21fb8d3c21019da509c82912b4f6624ae5076a694d98eb3679e9eba7ef138cb12a8ba0f938ce7ecbe4aacf6027 SHA512 498a461e9bc69016aab3abc5578bbd2367322dc14f8c2db9293a246022a4d8065dd06966741db3ae45365b3c1049703f85a9cef42416a8be3ed469dc4d80233e EBUILD coq-8.19.1.ebuild 2492 BLAKE2B 1c1d296a61f57bf8e5120aa8e70dce382548cc55a8c1365c1e85b33080e3fd346ea1b904e9440af465c67416b83f4b4e538ec558ce0b8c10ec42a94efee7e0f8 SHA512 9783ef6098d6028dd207a239796916ed90d8eab01429c4fded5e25f0a1c776f1c9dc0bac9f15e4d0847ad5d915bb69760937347cb6f295806f61af95cec2199b -EBUILD coq-8.19.2.ebuild 2484 BLAKE2B 54de05ac84bb2df76e6defa2f96014d3488a78129a6e1b480857ea04ccf1ca1d0c96deacbe544aec0dfffd53c51fc490bef2c9d22c64fdbe7cddd99833f63f75 SHA512 5a236fd48123fd32fe3f13ce964f0effca8ab3ef8a27d025c75bcdd10d7afd511cd506347eb889c59b3ac3fbe8838d6a3757f4c0fa82c277d6669cb926a2bdc4 +EBUILD coq-8.19.2.ebuild 2483 BLAKE2B ce2870e40fe70f113cb52eea1a7b5771bee4180d0a58e4bfb539feb0c499531b2dc1388066f33bb7024d77c5efc8541d3e545e86568e58cec12c48eaa9f8360d SHA512 49605fd89331d80ac24bd886f1b96ffbf9ad17c0ffec3dfe2ac0bda2176853f10e023708a02ccffbcda2c0f2a9443e921a44e2745446ac13181aada4c5aebb97 +EBUILD coq-8.20.0.ebuild 2896 BLAKE2B 0b241fec6dd165b83fa07c0708b03461ceebbf800fd6501936c8c36e7c9a0f42c6c01594c1ee48903b535dbd65a2fc389bd4bdb66e98ffe926a78fe302e4acec SHA512 5d4d0a01cf012f142cb341d63c2c19ea05be45c2605ca2a2ebe92a9773703d046927318371afc5804187546e0a60daa225b20df05428f721dd04e964a4dc1378 MISC metadata.xml 1047 BLAKE2B 9f6defdf213139ee6549bc8f3b36ce5e8f53ea73bd5aad9262932cbaea7e90bd97c9ffc9dbbd03ac50097c5a6f19f5ddf00dd2b74cc6a5349faf1b597244fb67 SHA512 0f5bfbdd9ffd6f64379e697ed7cf90c2d9257cd1815e520aa14235f1cb399d20fc863221a0cae803cc88e5975be964b9debc3d750a6378ea157146f2e567c5dc diff --git a/sci-mathematics/coq/coq-8.19.2.ebuild b/sci-mathematics/coq/coq-8.19.2.ebuild index f61b2d0f54da..4be3a3484836 100644 --- a/sci-mathematics/coq/coq-8.19.2.ebuild +++ b/sci-mathematics/coq/coq-8.19.2.ebuild @@ -17,7 +17,7 @@ S="${WORKDIR}/${MY_P}" LICENSE="LGPL-2.1" SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" +KEYWORDS="amd64 ~x86" IUSE="debug doc gui +ocamlopt test" # TODO: Lots of failing tests. Maybe investigate later. diff --git a/sci-mathematics/coq/coq-8.20.0.ebuild b/sci-mathematics/coq/coq-8.20.0.ebuild new file mode 100644 index 000000000000..7446a497d097 --- /dev/null +++ b/sci-mathematics/coq/coq-8.20.0.ebuild @@ -0,0 +1,139 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit check-reqs desktop dune edo + +DESCRIPTION="Proof assistant written in O'Caml" +HOMEPAGE="https://coq.inria.fr/ + https://github.com/coq/coq/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/coq/coq.git" +else + SRC_URI="https://github.com/coq/coq/archive/V${PV}.tar.gz + -> ${P}.tar.gz" + + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="LGPL-2.1" +SLOT="0/${PV}" +IUSE="debug doc gui +ocamlopt test" + +# TODO: Lots of failing tests. Maybe investigate later. +# RESTRICT="!test? ( test )" +RESTRICT="test" + +RDEPEND=" + dev-ml/num:= + dev-ml/zarith:= + gui? ( + >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] + >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] + ) +" +DEPEND=" + ${RDEPEND} +" +BDEPEND=" + dev-ml/findlib + doc? ( + >=dev-java/antlr-4.7:4 + dev-python/antlr4-python3-runtime + dev-python/beautifulsoup4 + dev-python/pexpect + dev-python/sphinx-rtd-theme + dev-python/sphinxcontrib-bibtex + dev-tex/latexmk + dev-texlive/texlive-fontsextra + dev-texlive/texlive-latexextra + dev-texlive/texlive-xetex + media-fonts/freefont + ) + test? ( + dev-ml/ounit2 + ) +" + +CHECKREQS_DISK_BUILD="2G" + +DOCS=( CODE_OF_CONDUCT.md CONTRIBUTING.md CREDITS INSTALL.md README.md ) +DUNE_PACKAGES=() + +src_prepare() { + # Remove bad tests (recursive). + local -a bad_tests=( + coq-makefile/timing-aggregate + coq-makefile/timing-error + coq-makefile/timing-per-file + coq-makefile/timing-per-line + coq-makefile/timing-template + ) + local bad_test="" + for bad_test in "${bad_tests[@]}" ; do + if [[ -e "test-suite/${bad_test}" ]] ; then + rm -r "test-suite/${bad_test}" || die "failed to remove test ${bad_test}" + else + ewarn "Test file ${bad_test} does not exist" + fi + done + + default +} + +src_configure() { + export CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/" + + DUNE_PACKAGES=( + coq-core + coq-stdlib + coqide-server + coq + ) + use gui && DUNE_PACKAGES+=( coqide ) + + emake clean + + local -a myconf=( + -prefix /usr + -libdir "/usr/$(get_libdir)/coq" + -mandir /usr/share/man + -docdir "/usr/share/doc/${PF}" + -datadir /usr/share/coq + -configdir "/etc/xdg/${PN}" + -native-compiler "$(usex ocamlopt yes no)" + ) + use debug && myconf+=( -debug ) + edo sh ./configure "${myconf[@]}" +} + +src_compile() { + emake DUNEOPT="--display=short --profile release" VERBOSE="1" dunestrap + + dune-compile "${DUNE_PACKAGES[@]}" + + use doc && emake refman-html +} + +src_install() { + dune-install "${DUNE_PACKAGES[@]}" + + if use gui ; then + make_desktop_entry coqide "Coq IDE" "${EPREFIX}/usr/share/coq/coq.png" + fi + + local ocamlc_where="$(ocamlc -where)" + + # Dune installs into /usr/<libdir>/ocaml/<coq> but + # Coq wants /usr/<libdir>/<coq> ; symlink those directories + local sym="" + for sym in "${DUNE_PACKAGES[@]}" ; do + dosym "${ocamlc_where}/${sym}" "/usr/$(get_libdir)/${sym}" + done + + einstalldocs +} diff --git a/sci-mathematics/cvc4/Manifest b/sci-mathematics/cvc4/Manifest index e2064a794821..759eb76b5bad 100644 --- a/sci-mathematics/cvc4/Manifest +++ b/sci-mathematics/cvc4/Manifest @@ -3,5 +3,5 @@ AUX cvc4-1.8-gentoo.patch 1983 BLAKE2B bd9e7f8b442e151fdc27b45866ed4374ffcbeb5d3 AUX cvc4-1.8-musl.patch 3734 BLAKE2B 892dbba92594f7921932010327bc2110625a10d5cf6857e524c04e7266e7b335ff14d56b43c2b3d220c123a2af3a19ae7495b212896478d07a1da9faebb4d1fe SHA512 b82afaba8688da986b8578177c8e98b9586b63a5263cc9f9c001ec84390b3f7ba5f7028cf4b5a8cb026f980d285eabd68df7c0d93be063f720eae5eb168831a6 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 1531 BLAKE2B ba2c624ec0f9fc1dca5cbc9fa182be5abeda7195bb50adbe1eb0621b126869596d31651029ce0ebc9b211c695c0de8bfc7613b72cb55a8859fc038d07649ccac SHA512 4321dbf55bbe2269c443a7773fa3f274a3ccb64061ff8ab2fa750ce15a634a81d1f56eadb6de0d47fe0774dc1324b8aa5aab71dfc449de36ccd3a692f7a5a33e +EBUILD cvc4-1.8-r5.ebuild 1874 BLAKE2B ad57fbfb8ce4f372782af018f43aae2fc8a7ec168a184692009e0a6a6b97c32a95a5a5a501062215dc522043116977905e273237e986245c19adb3e82625fe09 SHA512 2fc8360e12e06bd4b03a9dda58d8c46d6ccd4d848101d1e6b8c9bb7ab840529d20b6755456011c52126b10fa407858256c7fc22b33468f567175aa9c426ca55c 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 4870f7af7ba6..6516da9ba043 100644 --- a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild @@ -15,7 +15,7 @@ S="${WORKDIR}"/${PN^^}-archived-${PV} LICENSE="GPL-2" SLOT="0" -KEYWORDS="~amd64 ~x86" +KEYWORDS="~amd64" IUSE="+cln proofs readline +statistics" RDEPEND="dev-libs/antlr-c @@ -57,6 +57,17 @@ src_configure() { -DENABLE_PROOFS="$(usex proofs ON OFF)" ) cmake_src_configure + # Bug #934053 - build with musl + antlr3 "${S}"/src/parser/cvc/Cvc.g -fo "${BUILD_DIR}"/src/parser/cvc || die + sed -i \ + -e "s|k = NULL|k = 0|g" \ + -e "s|n = NULL|n = 0|g" \ + -e "s|k1 = NULL|k1 = 0|g" \ + -e "s|k2 = NULL|k2 = 0|g" \ + -e "s|lo = NULL|lo = 0|g" \ + -e "s|hi = NULL|hi = 0|g" \ + "${BUILD_DIR}"/src/parser/cvc/CvcParser.c \ + die } src_test() { diff --git a/sci-mathematics/dunshire/Manifest b/sci-mathematics/dunshire/Manifest index 9e62571841e5..c47b31611654 100644 --- a/sci-mathematics/dunshire/Manifest +++ b/sci-mathematics/dunshire/Manifest @@ -1,3 +1,3 @@ DIST dunshire-0.1.3.tar.gz 52450 BLAKE2B 047f732daa7f2a53b8d24ea0aafdad3234aa5ee151a66f776ba22746d58b4b91a5047ba615978d4017e56345ac608fd1f537adef06f38b5a429276e284a88d02 SHA512 227d142347ad7b7eb5b283aaa94f457b20b686f40aa86b2a74057eed00d3d90e87fb4a0f32071db3bd73412489794a0b398a557f8194931a6e7d51ff442aa2b0 -EBUILD dunshire-0.1.3-r1.ebuild 851 BLAKE2B 15c1f147cb48bb4d9f8e09e2adf048c0db373f33f7df40596c22ab8a90418b0874daa9fde7931000e68c7e1953306deeb8e55b99a8973f29439fdf6314bf73e0 SHA512 fa54d4226d1f8078eee90b371611821eb02aca8cfa183c41871a36aac10d62eaf1b86bd4c25b8b963f63b48eda5a0dd6d41b169c5e3e7b9f54dc1fbd54303bbc -MISC metadata.xml 329 BLAKE2B e9cf64a4fd7f360e350a97ca0a9efe8e64ce485f2b025e456271c8e3d8bbf3f6950750a157eaa66e0639a800285351f84abd07789697acfbaf5422b9cb725ec6 SHA512 f8f757c9f662dfba3c0717720a7d2fe6e2c2bea517d6811cf9785d39cef92714c0ddddf3c56eecb6be37fc97fcd6ebdeba0412108b41ffc0c9cdde34c3e8a74a +EBUILD dunshire-0.1.3-r1.ebuild 719 BLAKE2B 679250a87250bc36635f7df83d877af9d5726bed7b310fcc40aaf4e08ba236f5d76bb04451da248aaef1c79472e13d381a8c392e75a3a04dee254b2c6d69edcb SHA512 e85fb5dcd889e617269d54629a46c7f814e4c2e42c1986828a0a0af4cd520031159ba77c176589df30879b63aa9f83185e24c1ecfd9b40a4d6d1a8c67edce81c +MISC metadata.xml 253 BLAKE2B 63a51cab94d3e978d2c7dd1d124efd1c9e11c5ae277806a1f12359b2db370c37382fc1947e85940f6b0a439e3d49eecdd8d9bfb96587352d6a83803d2fd40bb6 SHA512 8da7cfe0cd26a54c106f2c029bbde93abf77576835e4fa66bc538dcf12fd41160f7cc2dd843a221962bb9a6f965311c076a1557caa38d503f371569b84841e33 diff --git a/sci-mathematics/dunshire/dunshire-0.1.3-r1.ebuild b/sci-mathematics/dunshire/dunshire-0.1.3-r1.ebuild index c98c5b6bf51d..348bf1942132 100644 --- a/sci-mathematics/dunshire/dunshire-0.1.3-r1.ebuild +++ b/sci-mathematics/dunshire/dunshire-0.1.3-r1.ebuild @@ -5,26 +5,32 @@ EAPI=8 PYTHON_COMPAT=( python3_{10..12} ) DISTUTILS_USE_PEP517=setuptools + inherit distutils-r1 DESCRIPTION="Python library to solve linear games over symmetric cones" HOMEPAGE="https://michael.orlitzky.com/code/dunshire/" SRC_URI="https://michael.orlitzky.com/code/releases/${P}.tar.gz" + LICENSE="AGPL-3+" SLOT="0" KEYWORDS="~amd64 ~x86" -IUSE="doc" +IUSE="doc test" +RESTRICT="!test? ( test )" + +RDEPEND=" + dev-python/cvxopt[${PYTHON_USEDEP}] +" +BDEPEND=" + test? ( + ${RDEPEND} + ) +" -RDEPEND="dev-python/cvxopt[${PYTHON_USEDEP}]" DOCS=( doc/README.rst ) distutils_enable_sphinx doc/source -# There are no additional dependencies even though we're not really -# using setup.py to run the test suite any more. The __main__.py -# runner has its own exit code handling. -distutils_enable_tests setup.py - python_test() { PYTHONPATH="." "${EPYTHON}" test/__main__.py --verbose || die } diff --git a/sci-mathematics/dunshire/metadata.xml b/sci-mathematics/dunshire/metadata.xml index 24ac776863fa..f2908ee10b59 100644 --- a/sci-mathematics/dunshire/metadata.xml +++ b/sci-mathematics/dunshire/metadata.xml @@ -5,8 +5,4 @@ <email>mjo@gentoo.org</email> <name>Michael Orlitzky</name> </maintainer> - - <upstream> - <remote-id type="pypi">dunshire</remote-id> - </upstream> </pkgmetadata> diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest index 279ad2a412a8..bdd5f37cd312 100644 --- a/sci-mathematics/easycrypt/Manifest +++ b/sci-mathematics/easycrypt/Manifest @@ -1,3 +1,5 @@ DIST easycrypt-2024.01.tar.gz 1349695 BLAKE2B e9c43d43f2c07d75dcb5ee8edf46d1fcfc2a47497fd76c87ef13d52087144acbf3b80ae809c70164eebe046cfb5d585678811163a47cf30c3c55828c3278a4fc SHA512 331612b05f6c47b302f1ceb1d741f47476354bf2d4960c2f55e6bddf3187fea3d40aa687c278fc727bf8994fee95e7af444f109be9a0c9eb9ab455d5fcc7b97d +DIST easycrypt-2024.09.tar.gz 1310681 BLAKE2B cfe81762d4f4567473fc1f98c889145ed8c42f0a48b9e8089de8eca6c15f088d36c4eb7f4b4c4889b6444323b38a2ab17d0703cf97470ddf3084094a37436d69 SHA512 ce1554046c87fbeb27763ffd7a40fb0d8abc8bdedce6884e864968c23b31aee2c66108e52233d4dd1cb408a48b2ac3cba3ef46aee0963a5c21f3c2d1a843c308 EBUILD easycrypt-2024.01-r1.ebuild 990 BLAKE2B a7545b457ce9d8127c05e543dbc92931ffcef034eb590252eb7a0e24552b2067d4fa4daf498e02c2281e6aceec50f5eff647444873f376c476a04ecaa550657f SHA512 7ba58288c3f6229ec5a3c904a123017c516364696a9ffca2b88b1c00d4e8460999e7b53f6502ee523ae7c14cfc6aae1c99de61a921dfc5bcdc93b02480798cf2 +EBUILD easycrypt-2024.09.ebuild 990 BLAKE2B a7545b457ce9d8127c05e543dbc92931ffcef034eb590252eb7a0e24552b2067d4fa4daf498e02c2281e6aceec50f5eff647444873f376c476a04ecaa550657f SHA512 7ba58288c3f6229ec5a3c904a123017c516364696a9ffca2b88b1c00d4e8460999e7b53f6502ee523ae7c14cfc6aae1c99de61a921dfc5bcdc93b02480798cf2 MISC metadata.xml 799 BLAKE2B 967a758171a2fe87b648a29bf2663beaae7834119e55a7619c98518c96cfe459e59fe5dc72a9faea071c0b488dc8144f1c0e43677ac63646f1ba12cf831f4a88 SHA512 411ff1acad400c3e70e546fd59b20db13b0f1db121aca9f1af23da708cd82340114bc966f64cfb5a35e84967c1131c660ab260f867639932c67edf47c859c4ca diff --git a/sci-mathematics/easycrypt/easycrypt-2024.09.ebuild b/sci-mathematics/easycrypt/easycrypt-2024.09.ebuild new file mode 100644 index 000000000000..80d57075fb07 --- /dev/null +++ b/sci-mathematics/easycrypt/easycrypt-2024.09.ebuild @@ -0,0 +1,50 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Computer-Aided Cryptographic Proofs" +HOMEPAGE="https://github.com/EasyCrypt/easycrypt/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/EasyCrypt/${PN}.git" +else + SRC_URI="https://github.com/EasyCrypt/${PN}/archive/r${PV}.tar.gz + -> ${P}.tar.gz" + S="${WORKDIR}/${PN}-r${PV}" + + KEYWORDS="~amd64" +fi + +LICENSE="MIT" +SLOT="0/${PV}" +IUSE="+ocamlopt" + +RDEPEND=" + <dev-ml/num-1.5:= + >=dev-lang/ocaml-4.08.0:=[ocamlopt?] + dev-ml/batteries:= + dev-ml/camlp-streams:= + dev-ml/camlzip:= + dev-ml/dune-build-info:= + dev-ml/dune-site:= + dev-ml/ocaml-inifiles:= + dev-ml/pcre-ocaml:= + dev-ml/yojson:= + dev-ml/zarith:= + sci-mathematics/why3:= +" +DEPEND=" + ${RDEPEND} +" + +src_prepare() { + local theories="[\"$(ocamlc -where)/easycrypt/theories\"]" + sed -i "s|EcRelocate\.Sites\.theories|${theories}|g" src/ec.ml || die + + default +} diff --git a/sci-mathematics/flint/Manifest b/sci-mathematics/flint/Manifest index bb704a69a211..4ab2642a12c0 100644 --- a/sci-mathematics/flint/Manifest +++ b/sci-mathematics/flint/Manifest @@ -1,5 +1,6 @@ AUX flint-3.0.1-find-cblas.patch 1755 BLAKE2B bdf73d282a98f11126271d1afb5dd27daa2242fbd4923558a720753db85fcc71474ab559822a3549d60c555ab72c8273350c9df3fea2ba4d134bd7a45ec4c089 SHA512 1dc9342031472e59a5ba68540f070dc410134be5d52d7545a780c5b2867fad3c84410c5719ada517a0f2780f384c02487d128e0264bdaa54e8cdf34d2a5b71df AUX flint-3.1.3_p1-c99-I.patch 14288 BLAKE2B b0c030835fa6f239367fd169e428c09551893f4b7a7d525344d33ee8c9756f6652b570543af5bd0ffccc292753bde9dad4cbe933aa71187660fe96852f65fea5 SHA512 7698f3003cab0909a7a42d8c6701a3a4837325aa595ab171781faef482850b1c013dcf9f11e089fe860de7fa7aad0b9f62830b3f41a73343fb0663135f5067e3 +AUX flint-3.1.3_p1-fix-pc-location.patch 1021 BLAKE2B 742529fe63da7433eedf5945d41135ad26cb46de4524c2126b3db029ce1eb75f036579396cdfa16d8c8b91b1b46c4e40b017677e7e51884d169f2c6d1274ef91 SHA512 f33ef280cc6c6e8f28d1bc0c88dd0cd018a9c3066b39c1898e1bb99ef95fb649efb4354c6a29a5210bf0b204820a0c78489f8bd73d895a3cf81aafd89459c7cd DIST flint-3.1.3_p1.tar.gz 7588734 BLAKE2B 87acf8778e21e37c01e12b198ff81e62ab113df3e0e9c6155ff7dd505828f79d5c49d85093e261ea96397e906350caa03477e3ecbdd1fc09d6ae5c984397a2be SHA512 1b16ff2fb9cb2ac4b75513278b8c14683e8d83db39985631df14d6ea74bee4d6ea818a200321d5f0de6f1af89898f7a99dc7088f712f4c6db1a2546199aefba7 -EBUILD flint-3.1.3_p1.ebuild 2091 BLAKE2B 58aef5504347696f5114385657e66f7e784f4e46e7cd39288bbc815f863978d9399c7009a9a30e67379d544d94bbe75091450f057e98a7fd5198f1367828cc74 SHA512 4f7c3760ef481d5e4f0bbda9d7b29c2ab8d0b098cff7191d23fd992d14dc92980a7c4b1143b2d638950ac1ab6681649a3cce091e1075ec47deac277dde39f0de +EBUILD flint-3.1.3_p1-r1.ebuild 2143 BLAKE2B 0fd33eed838547b58b961280b3aacfbb21c4d4829d2edff5e6572b451ccc5f5b2f9fdb4506fbd77034dde8cdb23fa6fd9f3bd8b2a3d1e5ed66b7807dd61dc0aa SHA512 0e3710c96a76ea0bf1a562d661d55a43097b81e6a4a120689d3f8dcd52239d5c3a2a4cac89a7e4e9501e07e47a32cc0ef3dd592799859a1005597ad092542850 MISC metadata.xml 640 BLAKE2B b95d6f493564025e43604bffa340fffd88fcedf29c282fcc3c18e08ac089cdf1e10837787af664dd250a77a62237bf3665ff0a3045ca52680dd67aa0b39eeba7 SHA512 a9a64076e7f0df29e6a05a9d349c530a4ee4285b6a444425681eddf6ae1e8b41f610fda0bd7cc86b5177b36f34bc3072b67c7edac2cc8c0709a032b000576a14 diff --git a/sci-mathematics/flint/files/flint-3.1.3_p1-fix-pc-location.patch b/sci-mathematics/flint/files/flint-3.1.3_p1-fix-pc-location.patch new file mode 100644 index 000000000000..82c9fc27d8f2 --- /dev/null +++ b/sci-mathematics/flint/files/flint-3.1.3_p1-fix-pc-location.patch @@ -0,0 +1,26 @@ +From f4e0dfda90f6574048578f112bea1013d54f0987 Mon Sep 17 00:00:00 2001 +From: Michael Orlitzky <michael@orlitzky.com> +Date: Sun, 10 Mar 2024 21:48:51 -0400 +Subject: [PATCH] CMakeLists.txt: install the pkg-config file to the configured + libdir + +Currently it installs to lib/pkgconfig, which can be incorrect on +systems where (for example) the normal libdir is lib64 and "lib" is +reserved for 32-bit libraries. +--- + CMakeLists.txt | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/CMakeLists.txt b/CMakeLists.txt +index 30935cef47..d8dfee38df 100644 +--- a/CMakeLists.txt ++++ b/CMakeLists.txt +@@ -537,7 +537,7 @@ set(PACKAGE_NAME ${PROJECT_NAME}) + set(PACKAGE_VERSION ${PROJECT_VERSION}) + configure_file(flint.pc.in flint.pc @ONLY) + +-install(FILES ${CMAKE_CURRENT_BINARY_DIR}/flint.pc DESTINATION lib/pkgconfig) ++install(FILES ${CMAKE_CURRENT_BINARY_DIR}/flint.pc DESTINATION ${CMAKE_INSTALL_LIBDIR}/pkgconfig) + + if(BUILD_TESTING) + set(FLINT_SRC ${CMAKE_CURRENT_SOURCE_DIR}/src) # To get src/test/main diff --git a/sci-mathematics/flint/flint-3.1.3_p1.ebuild b/sci-mathematics/flint/flint-3.1.3_p1-r1.ebuild index 4f60961ecba2..bca7c62b7b66 100644 --- a/sci-mathematics/flint/flint-3.1.3_p1.ebuild +++ b/sci-mathematics/flint/flint-3.1.3_p1-r1.ebuild @@ -48,6 +48,7 @@ DOCS="AUTHORS README.md doc/source/*.rst" PATCHES=( "${FILESDIR}/flint-3.0.1-find-cblas.patch" "${FILESDIR}/flint-3.1.3_p1-c99-I.patch" + "${FILESDIR}/flint-3.1.3_p1-fix-pc-location.patch" ) src_configure() { diff --git a/sci-mathematics/fricas/Manifest b/sci-mathematics/fricas/Manifest index 455bbbf9f50e..4f7bb61d4b7d 100644 --- a/sci-mathematics/fricas/Manifest +++ b/sci-mathematics/fricas/Manifest @@ -1,6 +1,4 @@ AUX fricas-1.3.11-doc.patch 621 BLAKE2B 1e31762044f274ca1959bf822a57ba86b5dc4b9ceb8e0d78a70e45c57eb82f740fa1faa30c98557e98b099e80fdcbc8808ccf7abb01da25d3c82c7a4547f524a SHA512 d7e7133eaa90fbd8cbcdccacc82e7e1a12e1215f0af91ef1878c1e1b9f91cd340cadedacfa71cde78ee96ffc87c546a0e1a364e801c4adfa706bd997e754449b -DIST fricas-1.3.10-full.tar.bz2 10971513 BLAKE2B 0ea96cf1076dcd23f53ebdcd3ebf5c6e605915ce332093b83d62a5ed482d32f14833857e270865a4031d7bfc033d961c69007e936260e7d85e632b091d969e0d SHA512 de23c34a1e47b0a4ab2f85e1154e6fa5b0905427718e8c0ad4fe298bf6ebbb1abcc02426e528b7b34d15aebfc2ca1b06f73e39a24ec741d2d5c70f9b48b02665 DIST fricas-1.3.11-full.tar.bz2 10937641 BLAKE2B 52bb467468de83dfbb8a61717356d74c605efe1174168c35af50d15232c8441457415ca2c88fd19356caec9f9ee29af556104f421dc0479f3ae635144432be7a SHA512 6166661866829764fdf02e84c08f3afd8f631a40c8c5340648640b4fa388641c703021f5006e135ac32e671786b1a75bc290039e929ef322c60a0ba0cb0212ac -EBUILD fricas-1.3.10.ebuild 1936 BLAKE2B a2f13425f913969b6529574b630ac941569aa855636aad264ae03742bcc10f7d6296e46e09a944036075a6cf71c95eb07e82cec3df90f05d8c9008ae93dcf1ae SHA512 3265cd2127ca54df7118743a34dbe23ee32b8829a68083703ded4404c2aa691d58eaf9617eb8354d2a06fea4b43dba89f9f7268b3e39828ae6d7adf8cb8081f7 -EBUILD fricas-1.3.11-r2.ebuild 2393 BLAKE2B 5a2e5c7b3e0929efb38c0f7d80cea0ffb83f609e256279a829acb821e7d0e0dd48ef9c67861fdde6a71022d2b5e9a76fe1129bdd36b076e841d5a7e0e8584911 SHA512 ba0fa17760289cbc915f0199f11fa9958ead7e857de45758f1216aed9efe016d35cf2f67b086152320bb166ffb4b504e92ae49150a656b393ca505fe65f637a8 +EBUILD fricas-1.3.11-r3.ebuild 2395 BLAKE2B 9d0ea23c36237d9a6e2477ba331420fe1f3c0838dad6e7869ba4317a97012d3b8c38c256da6ada210cb2e3d3ebbbe565ff17aa3eb0a3131812259cb229242d6e SHA512 55afdc69b3bfd383229a0511c4866c715c71ad912f0a02a1f7ee2cb3f28a69f78bacd16f0e78b3aa7730d3afc544474f2c96d59a003fef47ec08c1902af63ab1 MISC metadata.xml 1115 BLAKE2B dc1fcf98b2fb9df013ab256c4f81952ac5808f2761ae66479106482260b5328d337755fcb5208fa67ff7448c368d5db32a0c6c12537eaaa64d22a16cf32962ee SHA512 686316e67d08d27e48be2e544657c27ca20b8303b097b2154d18a2873ce39fe27c33be61a1922a3e61f89fadc9f4f6d204c9f591e670bcbf46ff2c71200f6660 diff --git a/sci-mathematics/fricas/fricas-1.3.10.ebuild b/sci-mathematics/fricas/fricas-1.3.10.ebuild deleted file mode 100644 index e6de50964068..000000000000 --- a/sci-mathematics/fricas/fricas-1.3.10.ebuild +++ /dev/null @@ -1,78 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 -inherit elisp-common - -DESCRIPTION="FriCAS is a fork of Axiom computer algebra system" -HOMEPAGE="https://fricas.sourceforge.net/ - https://github.com/fricas/fricas - https://fricas.github.io/" -SRC_URI="https://downloads.sourceforge.net/${PN}/${PV}/${P}-full.tar.bz2" - -LICENSE="BSD-2" -SLOT="0" -KEYWORDS="~amd64 ~x86" - -IUSE="+sbcl cmucl gcl ecl clisp clozurecl X emacs gmp" -REQUIRED_USE="^^ ( sbcl cmucl gcl ecl clisp clozurecl ) - gmp? ( ^^ ( sbcl clozurecl ) )" -RDEPEND="sbcl? ( dev-lisp/sbcl:= ) - cmucl? ( dev-lisp/cmucl:= ) - gcl? ( dev-lisp/gcl:= ) - ecl? ( dev-lisp/ecl:= ) - clisp? ( dev-lisp/clisp:= ) - clozurecl? ( dev-lisp/clozurecl:= ) - X? ( x11-libs/libXpm x11-libs/libICE ) - emacs? ( >=app-editors/emacs-23.1:* ) - gmp? ( dev-libs/gmp:= )" -DEPEND="${RDEPEND}" - -# necessary for clisp and gcl -RESTRICT="strip" - -src_configure() { - local LISP GMP - use sbcl && LISP="sbcl --dynamic-space-size 4096" - use cmucl && LISP=lisp - use gcl && LISP=gcl - use ecl && LISP=ecl - use clisp && LISP=clisp - use clozurecl && LISP=ccl - - if use sbcl || use clozurecl - then GMP=$(use_with gmp) - else GMP='' - fi - - # aldor is not yet in portage - econf --disable-aldor --with-lisp="${LISP}" $(use_with X x) ${GMP} -} - -src_test() { - emake -j1 all-input -} - -src_install() { - emake -j1 DESTDIR="${D}" install - dodoc README.rst FAQ - - if use emacs; then - sed -e "s|(setq load-path (cons (quote \"/usr/$(get_libdir)/fricas/emacs\") load-path)) ||" \ - -i "${D}"/usr/bin/efricas \ - || die "sed efricas failed" - elisp-install ${PN} "${D}"/usr/$(get_libdir)/${PN}/emacs/*.el - elisp-make-site-file 64${PN}-gentoo.el - else - rm "${D}"/usr/bin/efricas || die "rm efricas failed" - fi - rm -r "${D}"/usr/$(get_libdir)/${PN}/emacs || die "rm -r emacs failed" -} - -pkg_postinst() { - use emacs && elisp-site-regen -} - -pkg_postrm() { - use emacs && elisp-site-regen -} diff --git a/sci-mathematics/fricas/fricas-1.3.11-r2.ebuild b/sci-mathematics/fricas/fricas-1.3.11-r3.ebuild index f661206cab77..138034c3269d 100644 --- a/sci-mathematics/fricas/fricas-1.3.11-r2.ebuild +++ b/sci-mathematics/fricas/fricas-1.3.11-r3.ebuild @@ -50,7 +50,7 @@ src_configure() { use clozurecl && LISP=ccl if use sbcl || use clozurecl - then GMP=$(use_with gmp) + then GMP=$(use_enable gmp) else GMP='' fi diff --git a/sci-mathematics/gap/Manifest b/sci-mathematics/gap/Manifest index ddb4d6eae153..fc8ecc7e0985 100644 --- a/sci-mathematics/gap/Manifest +++ b/sci-mathematics/gap/Manifest @@ -1,3 +1,5 @@ +AUX gap-4.13.1-hash-fixes.patch 8703 BLAKE2B 84ef5cce4ef7d71229972f60886472591a3fb1c8afb132e803e82bdcbc2a8e46a10910d99d43a3b04c7120a7c44b7b8ab04ecae4bab62035ccc1327e76c0d46e SHA512 5921dbb29361aafc7aa6a14b752d7c1736a7a4b0db01c56a4a4aa8719277d8a6a6e14116f3edd9e6764fbb449e9579f334311837d0c726e97a00bbca97f2117a DIST gap-4.13.1-core.tar.gz 38673913 BLAKE2B a63cbd2211430bfbf1bc9bb489a68a2ee7182858ccb326dfe5e6d3a7b8fb6a8c34b56a539c8b9cf3a22a1cc3a4ffe22d365b0e5229ba2c2b6d0ce6bacf0e645b SHA512 e3b74558c05e5963ea87aa77baba0edc068634072ff97b8ea0880289e53213eed82b01784db2675263d6f47547bfef259b80353ed2843ce90a77a0252c551919 +EBUILD gap-4.13.1-r1.ebuild 4008 BLAKE2B a56bc5655cf450ab304fc653354c9914861269f9bec8acb933f9cb392bba5c626156745658a89e19329e2485df2bac7cffbfd03f8bbbbb4b563186dfc34c1251 SHA512 f1dcc671f350e4962ac7869650d01c037d5dc530731f84289dd323ce31068f16edc450d4375f413f83c668403c4b4ddb3d7d753ed8f983db44425195888ad24a EBUILD gap-4.13.1.ebuild 3952 BLAKE2B 7799ab87b5facb7cbe4934c53108a85b96725add2e61dbe0cea6fa4f5d4ef013f3d2d496da86e0d2fda2b13f1e6601fd2755d5a0671306b7d80fe14c6d599389 SHA512 53a7f462e3f7c4601a96a95a199cddc0800b187100ada6a3046aa3f502bb65f881dfc524b07676817e83ab51923c90c16ae6b7fc74f6d06a57e18cdbb5d4b0b6 MISC metadata.xml 1582 BLAKE2B 9151244f139b0d675e327731c336c41d5d69c25856286c182944d57255fbb6d7b1f023195b3a01c829ff6f3ea1d5e6eb6edbcc796a30120deacde82b90b5f39c SHA512 f4490e9b13cee6604f14df39ea048d7578e080a8faa97b0bb22191a7dce56904416870ed64c289f91526087009f7488e8baed4e531c78f50a5b917e9e1684ce2 diff --git a/sci-mathematics/gap/files/gap-4.13.1-hash-fixes.patch b/sci-mathematics/gap/files/gap-4.13.1-hash-fixes.patch new file mode 100644 index 000000000000..c99b39ab91c6 --- /dev/null +++ b/sci-mathematics/gap/files/gap-4.13.1-hash-fixes.patch @@ -0,0 +1,178 @@ +diff --git a/lib/dicthf.gi b/lib/dicthf.gi +index 5ee7341..e4349ac 100644 +--- a/lib/dicthf.gi ++++ b/lib/dicthf.gi +@@ -152,16 +152,37 @@ end); + ## + InstallMethod(SparseIntKey,"for bounded tuples",true, + [ IsList,IsList and IsCyclotomicCollection ], 0, +-function(m,v) +-local c; +- if Length(m)<>3 or m[1]<>"BoundedTuples" then ++function(m, v) ++ if Length(m)<> 3 or m[1]<>"BoundedTuples" then + TryNextMethod(); + fi; +- c:=[1,Maximum(m[2])+1]; +- return function(a) +- return a*c; ++ # Due to the way BoundedTuples are presently implemented we expect the input ++ # to the hash function to always be a list of positive immediate integers. This means ++ # that using HashKeyWholeBag should be safe. ++ return function(x) ++ Assert(1, IsPositionsList(x)); ++ if not IsPlistRep(x) then ++ x := AsPlist(x); ++ fi; ++ return HashKeyWholeBag(x, 1); + end; + ++ # alternative code w/o HashKeyBag ++ ## build a weight vector to distinguish lists. Make entries large while staying clearly within ++ ## immediate int (2^55 replacing 2^60, since we take subsequent primes). ++ #step:=NextPrimeInt(QuoInt(2^55,Maximum(m[2])*m[3])); ++ #weights:=[1]; ++ #len:=Length(v); ++ ## up to 56 full, then increasingly reduce ++ #len:=Minimum(len,8*RootInt(len)); ++ #while Length(weights)<len do ++ # Add(weights,weights[Length(weights)]+step); ++ # step:=NextPrimeInt(step); ++ #od; ++ #return function(a) ++ # return a*weights; ++ #end; ++ + end); + + BindGlobal( "SparseIntKeyVecListAndMatrix", function(d,m) +diff --git a/lib/oprt.gi b/lib/oprt.gi +index c1def0b..00e2953 100644 +--- a/lib/oprt.gi ++++ b/lib/oprt.gi +@@ -3565,6 +3565,7 @@ InstallMethod(DomainForAction,"permutations on lists of integers",true, + function(pnt,acts,act) + local m; + if not (Length(pnt)>0 and ForAll(pnt,IsPosInt) and ++ ForAll(acts,IsPerm) and + (act=OnSets or act=OnPoints or act=OnRight or act=\^)) then + TryNextMethod(); + fi; +diff --git a/lib/vecmat.gi b/lib/vecmat.gi +index 017c3c6..93ba828 100644 +--- a/lib/vecmat.gi ++++ b/lib/vecmat.gi +@@ -2142,7 +2142,8 @@ InstallMethod(DomainForAction,"matrix/matrix",IsElmsCollsX, + function(pnt,acts,act) + local l,f; + if (not ForAll(acts,IsMatrix)) or +- (act<>OnPoints and act<>OnSubspacesByCanonicalBasis and act<>OnRight) then ++ (act<>OnPoints and act<>OnSubspacesByCanonicalBasis and act<>OnRight and act<>OnSets and ++ act<>OnTuples) then + TryNextMethod(); # strange operation, might extend the domain + fi; + l:=NaturalActedSpace(acts,pnt); +diff --git a/tst/testbugfix/2024-09-14-actdomain.tst b/tst/testbugfix/2024-09-14-actdomain.tst +new file mode 100644 +index 0000000..84f8b50 +--- /dev/null ++++ b/tst/testbugfix/2024-09-14-actdomain.tst +@@ -0,0 +1,85 @@ ++# Fix #5786 and error reported by Len Soicher in support list ++gap> gg:=SpecialUnitaryGroup(4,2);; ++gap> hl:=Z(2)*[ ++> [0,0,1,0], ++> [1,1,0,0], ++> [0,1,0,1], ++> [0,1,1,0], ++> [1,1,0,1]];; ++gap> o:=Orbit(gg,Set(hl),OnSets);; ++gap> Length(o); ++216 ++gap> set:=[ 1,10,15,24,29,33,38,40,44,59, 60, 63, 69, 74, 77,79,85, 86, 90, ++> 95, 99, 103, 105, 110, 122, 125, 143, 148, 149, 153, 162, 165, 174, 182, ++> 185, 191, 197, 198, 202, 218, 223, 227, 228, 235, 236, 240, 243, 248, ++> 254, ++> 256, 259, 270, 275, 288, 291, 295, 298, 302, 305, 310, 312, 315, 325, ++> 329, ++> 333, 340, 341, 350, 356, 366, 369, 381, 385, 390, 397, 402, 412, 414, ++> 419, ++> 421, 425, 428, 433, 436, 445, 447, 451, 452, 453, 454, 461, 466, 474, ++> 479, ++> 481, 489, 490, 493, 497, 507, 509, 512, 513, 519, 521 ];; ++gap> gp:=Group( ++> ( 1,340,124,306,216,492,100, 25,108,270,220,332)( 2,138, 54,161,132,159,198, ++> 336,439,269, 89,419)( 3,467,177,404,505,437,379,312,481,271,223,135) ++> ( 4,510, 79,504,259,234,378,251,272,268,360,303)( 5,278,176,191,231,275,263, ++> 190,230,146,265,192)( 6,486,126,523,490,448,375,237,288,400,243,329) ++> ( 7,131,123,516, 48,392,350,333,418, 16,139,175)( 8,289,125,386,241, 29,376, ++> 334,242,417,442,331)( 9,430, 32, 59,446,367,377,335,411,416,515,330) ++> ( 10,391, 56,407,475,414,200,328,165,473, 86,119)( 11,368, 35,390,522,408,199, ++> 415,440,326, 87,503)( 12,412, 55,457,399,245,201, 33,438,431, 88,317) ++> ( 13,471, 40,348,452,292, 43,346,373, 77, 41,347)( 14,137,174,162, 60, 69,321, ++> 487, 61,158,322,370)( 15,101,114,109,130,160,488,489,352,351,420, 17) ++> ( 18,339,167,290,202,385, 99, 22, 90,323,217,129)( 19, 26, 93,304, 96,342) ++> ( 20,338,166,305,215,141, 97, 24, 51,150,219,507)( 21,337, 63,186,214,424, 98, ++> 23,107,382,218,349)( 27, 91,445,451,525, 67,519,239,144,203,155,353) ++> ( 28,324,444,128, 70,428,496,238,286,300,283, 64)( 30,236,287,441,387,354) ++> ( 31,345,366,517, 45,344,413,521, 46,248,244,121)( 34,314,394,402,222,447, 81, ++> 282,262,173,246,435)( 36,482,178,364,148,495,179,363,140,102,113,111) ++> ( 37,253,273,168,294,302,226,183, 72,480,154,233)( 38,483,520,393,403,465,362, ++> 298,143,356,153,369)( 39,157,320,472)( 42,228,277,264)( 44,343,147,501) ++> ( 47, 73,308,380,184,389,310,327,163,295,151,425)( 49,221,456, 80,474,260,405, ++> 325,164,524,152,449)( 50,479,365,477,461,459,497,169,296,247,134,117) ++> ( 52,361,299,285,355,188,423,464,434,453,133,118)( 53,257,509, 68,511,458,293, ++> 204,384,374, 75, 82)( 57,116,112,149,514,396,470,485,493,249,421,120) ++> ( 58,500,266,250,429,122)( 62,156,319,311)( 65,187,225,357,127, 71,388,235, ++> 460,252,274,371)( 66,106,462,291,205,383,372, 76, 92,410,280,498) ++> ( 74,401,381,476,409,281,171,104,297,307,426,182)( 78, 84,261,256,180,436,512, ++> 313,181,491,224,499)( 83,466,255,508,506,395,469,422,142,103,115,110) ++> ( 85,468,258,502,267,136)( 94,341)( 95,211)(105,478,195,432,518,316,197,484, ++> 494,455,196,170)(145,513,359,232,227,254)(172,209,398,207,279,206) ++> (185,194,309,443)(189,406,463,318,450,427,433,454,315,301,284,358) ++> (193,229,276,240)(208,397)(210,213,212) ++> ,( 1,379,148, 48,128,430,416)( 2, 34,338, 35,235,131,521)( 3,512,352, 47, ++> 318,289,237)( 4,272,506, 49,434,486,282)( 5,524,485, 10,483,340, 55) ++> ( 6,458, 36,487, 60,121, 16)( 7,313,140,336,127,435,270)( 8, 85,147,489, ++> 98,201,417)( 9,469, 94,488,129,329,400)( 11,291, 26, 54,234,473,169) ++> ( 12,207,339, 56,233,503,515)( 13,426,337, 40,232,295,500)( 14, 32,414, 27, ++> 167,130,472)( 15, 33,188, 38,382,109,501)( 17, 31,459, 37,496,132,517) ++> ( 18,263,294,446,451,134,497)( 19,198,525,241,441,244,470)( 20,100,199,490, ++> 242,429,413)( 21,378,403,216,523,421, 58)( 22,124,159, 77, 63,123,292) ++> ( 23,176,275,431,168, 86,293)( 24,177,492,326,104,151,290)( 25, 79,437,269, ++> 163,152,144)( 28,462,150,162, 62,120,415)( 29,239, 83,311, 61,117,260) ++> ( 30,452,149,370, 39,122,389)( 41,468, 73,254,277,432,371)( 42,210,319,502, ++> 373,205,283)( 43,387,194,212,320,508, 99)( 44,396,349,331,399,250,420) ++> ( 45,411,461,375,475,377,418)( 46,344,409,519,522,477,419)( 50,253,278,433, ++> 231, 88,422)( 51,482,138,358,229,463,381)( 52, 91,467,221,230,518,484) ++> ( 53,390,510,494,228,454, 92)( 57,310,460,118,259,367,363)( 59,281,227,274, ++> 505,402,215)( 64,125,245, 76, 93,160,471)( 65,126,408, 75,166, 69,264) ++> ( 66,302,186,116,257,424,327)( 67,187,297,479,217,425,171)( 68,303,296,345, ++> 280,226,273)( 70,240,359,366,364, 97,200)( 71,265,360,394,393,133,423) ++> ( 72,251,146,164,268, 87,312)( 74,252,276,406,513, 89,181)( 78,395,158,185, ++> 315,287,333)( 80,136,351,156,316,286,334)( 81,511,350,184,317,288,335) ++> ( 82,261,392,183,105,309,238)( 84,224,439,182,284,193,236)( 90,466,391,357, ++> 443,170,465)( 95,321,509,353,203,243,197)( 96,516,498,354,300,246,401) ++> (101,405,453,464,154,112,341)(102,139,450,208,388,365,111)(103,440,520,285, ++> 192,266,343)(106,308,218,119,262,448,298)(107,219,368,356,442,301,209) ++> (108,514,412,355,376,474,222)(110,495,137,478,361,444,380)(113,255,342,175, ++> 173,247,305)(114,256,141,328,153,307,304)(115,258,385,325,172,214,306) ++> (135,493,157,455,362,445,407)(142,346,189,398,323,161,499)(143,190,145,436, ++> 271,165,314)(155,195,211,174,404,374,204)(178,507,332,330,248,249,179) ++> (180,372,202,386,196,213,322)(191,267,491,384,438,279,225)(206,428,299,369, ++> 480,220,449)(223,481,383,427,397,324,504)(347,457,447,410,348,456,476));; ++gap> Length(Orbit(gp,set,OnSets)); ++241920 +diff --git a/tst/teststandard/hash2.tst b/tst/teststandard/hash2.tst +index 6bfa4d3..d47452e 100644 +--- a/tst/teststandard/hash2.tst ++++ b/tst/teststandard/hash2.tst +@@ -32,4 +32,8 @@ gap> Length(Orbit(h,h.1[1],OnRight)); + 2079 + gap> Length(Orbit(h,h.2^5,OnPoints)); + 693 ++gap> Length(Orbit(SymmetricGroup(14), [1 .. 7], OnSets)); ++3432 ++gap> Length(Orbit(SymmetricGroup(16), [1 .. 8], OnSets)); ++12870 + gap> STOP_TEST( "hash2.tst", 1); diff --git a/sci-mathematics/gap/gap-4.13.1-r1.ebuild b/sci-mathematics/gap/gap-4.13.1-r1.ebuild new file mode 100644 index 000000000000..45cb0c98749e --- /dev/null +++ b/sci-mathematics/gap/gap-4.13.1-r1.ebuild @@ -0,0 +1,140 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit estack + +DESCRIPTION="System for computational discrete algebra. Core functionality." +HOMEPAGE="https://www.gap-system.org/" +SRC_URI="https://github.com/gap-system/gap/releases/download/v${PV/_/-}/${P/_/-}-core.tar.gz" + +S="${WORKDIR}/${P/_/-}" + +LICENSE="GPL-2+" +SLOT="0/9" # soname +KEYWORDS="~amd64 ~riscv" +IUSE="cpu_flags_x86_popcnt debug memcheck minimal readline test valgrind" +REQUIRED_USE="?? ( memcheck valgrind )" + +RESTRICT="!test? ( test )" + +# The minimum set of packages needed for basic GAP operation. You can +# actually start gap without these by passing "--bare" to it on the CLI, +# but don't expect anything to work. +REQUIRED_PKGS=" + dev-gap/gapdoc + dev-gap/primgrp + dev-gap/smallgrp + dev-gap/transgrp" + +# The packages aren't really required, but GAP tries to load them +# automatically, and will complain to the user if they fail to load. +# The list of automatically-loaded packages is a user preference, called +# AutoloadPackages, and the upstream default can be found in +# lib/package.gi within the GAP source tree. Passing "-A" to GAP on the +# CLI (or setting that user preference) will suppress the autoload +# behavior and allow GAP to start without these, which is why we allow +# the user to skip them with USE=minimal if he knows what he is doing. +AUTOLOADED_PKGS=" + dev-gap/autpgrp + dev-gap/alnuth + dev-gap/crisp + dev-gap/ctbllib + dev-gap/factint + dev-gap/fga + dev-gap/irredsol + dev-gap/laguna + dev-gap/polenta + dev-gap/polycyclic + dev-gap/resclasses + dev-gap/sophus + dev-gap/tomlib" + +# The test suite will fail without the "required" subset. +BDEPEND="test? ( ${REQUIRED_PKGS} )" + +DEPEND="dev-libs/gmp:= + sys-libs/zlib + valgrind? ( dev-debug/valgrind ) + readline? ( sys-libs/readline:= )" + +RDEPEND="${DEPEND}" + +# If you _really_ want to install GAP without the set of required +# packages, use package.provided. +PDEPEND="${REQUIRED_PKGS} !minimal? ( ${AUTOLOADED_PKGS} )" + +PATCHES=( "${FILESDIR}/gap-4.13.1-hash-fixes.patch" ) + +pkg_setup() { + if use valgrind; then + elog "If you enable the use of valgrind during building" + elog "be sure that you have enabled the proper flags" + elog "in gcc to support it:" + elog "https://wiki.gentoo.org/wiki/Debugging#Valgrind" + fi +} + +src_prepare() { + # Remove these to be extra sure we don't use bundled libraries. + rm -r extern || die + rm -r hpcgap/extern || die + + # The Makefile just tells you to run ./configure, which then + # produces a GNUmakefile. + rm Makefile || die + + default +} + +src_configure() { + # We unset $ABI because GAP uses it internally for something else. + # --without-gmp and --without-zlib both trigger an AC_MSG_ERROR + local myeconfargs=( + ABI="" + --with-gmp + --with-zlib + $(use_enable cpu_flags_x86_popcnt popcnt) + $(use_enable memcheck memory-checking) + $(use_enable valgrind) + $(use_with readline) + $(use_enable debug) + ) + econf "${myeconfargs[@]}" +} + +src_compile() { + # Without this, the default is a quiet build. + emake V=1 +} + +src_test() { + # We need to specify additional root paths because otherwise the + # recently-built GAP doesn't know where to look for the "required" + # packages (which must already be installed). The two paths we + # append to $S are where those packages wind up. + local gaproots="${S}/;" + gaproots+="${EPREFIX}/usr/$(get_libdir)/gap/;" + gaproots+="${EPREFIX}/usr/share/gap/" + + # GAPARGS is a Makefile variable that exists for this purpose. We + # use "-A" to hide the warnings about missing autoloaded-but-not- + # required packages. The tee/pipefail works around a glitch in + # dev-gap/browse that can clobber your terminal. + eshopts_push -o pipefail + emake GAPARGS="-A -l '${gaproots}'" check | tee test-suite.log \ + || die "test suite failed, see test-suite.log" + eshopts_pop +} + +src_install() { + default + + # Manually install Makefile.gappkg + insinto usr/share/gap/etc + doins etc/Makefile.gappkg + + # la files removal + find "${ED}" -type f -name '*.la' -delete || die +} diff --git a/sci-mathematics/gfan/Manifest b/sci-mathematics/gfan/Manifest index eb4c57d1c9bf..afffdccc6244 100644 --- a/sci-mathematics/gfan/Manifest +++ b/sci-mathematics/gfan/Manifest @@ -2,9 +2,10 @@ AUX gfan-0.6.2-Makefile.patch 6603 BLAKE2B 48f9b4280418aef41d502d770c070ec1dcef9 AUX gfan-0.6.2-find-name.patch 433 BLAKE2B 452e286223f4607f42e0895bba443c1534e491dc5e182f6f14c1d5d0d63c5992684b36ad0d028b68c286644e7ccc84786b0e49c311fcbe0fa6151a60ee3001d9 SHA512 f561189e887af930fa09ffa8870e9fbc4e5d5ed1b1a1b81c2001ea3d2a404b025a640eb7a4d504e448a60be4c58af3a3d00421abb48762bb2b32357e862252fc AUX gfan-0.6.2-fix-0602ResultantFanProjection.patch 689 BLAKE2B 4531bd59dc7a356b2907b043dc71a5e34e647dd15822d3e3846785bb27162ba607eea8492b972574c1f64a227d428b1db0b385a7a54624f5d33b3f4522bd7fe6 SHA512 0de03e0f40f7cde6ae8709a8c6f26cd39458752d1480c49635e58ce57c0b0ff1c03382bd41097af7609ee6320f98d83f600e7dde842fe545b758982e704e52eb AUX gfan-0.6.2-fix-spelling-errors.patch 2826 BLAKE2B 1a5b662dafd42834c9254d79cad84717d5b407c0fd14bf3f58320203b847953284597aa2add8dcb7eaa40700fa2a5c6e1c0ba99c2715d7fb0c6deedc45c44c8e SHA512 a30947bda62723f0d5a916d1a05de52fd67a2a3d4303b5774e7517407f531df67eb2968be255aab91634d46fdb61243e8b38ac355eef02c01c4ee95576e10159 +AUX gfan-0.6.2-glibcxx-assertions.patch 1473 BLAKE2B 7b78600ca7bdc5cd23b5d0b0799756cc95d95bdc5f951cb8f2c8a589ce0ea452ecbf22d1435d39d217d3e5301565b5c11eec2d33f8e6a6934a6108792ca7b1a0 SHA512 802527986dc9c783d016648b4cce986cea3f76c38cb631a6e90569569b136880c14c5fbfe0f5d5de0c838cc149ac6313a85e2fefd5d2117b5999771688921e82 AUX gfan-0.6.2-testsuite.patch 3223 BLAKE2B ddb94775a13bd503df5c9563750a6b4b68c9e72e1a19aaa0415c5484e07765dfd28ba02b3a0fab65a0b9cd5c61afafbc6a3d862a1de68ece57ef9d8bb2835c16 SHA512 d62e765a39ee1a8cb149fcae8afb538b19a91206dd0b8cf0ac2b681b28569e44f492b770b9e61d7573f2d52f265ad4cf25671197c204238a89075709753a83e6 AUX gfan-0.6.2-xcode9.3_compat.patch 367 BLAKE2B fb7c685a4dd811fed83e2734a16507b1792e3a97c666d0e7de1d2ed53a7b9b43c5319517f9eef829f47147dc725f2c4ead38968fa3868baa1d16630a8b844636 SHA512 129d2c35777f82bf2a1581450ecb12dd6811fb72b583748b30665c0f9b20d39646233d9b40fb64a3c7790360514a51b30e49c53d83c34d259f664bf820ae1ce2 DIST gfan0.6.2.tar.gz 1321059 BLAKE2B 1ed61e1e084a1ceb65dd21848440bc3a90486c0ce4012b3b64c8029e89636696d2b0e5446ea156d2cf050b5db179c7c2f25c97e683cecf6e9616e8553d8513bf SHA512 5961820750af2522fdc1a86c0254742c3b003607a8707df5d6cd5f0bc6461e4d3db3b1d3cb537979d57eb9dff387974a58aeb91d0b5246d7c701cadc5a2cf4cf EBUILD gfan-0.6.2-r4.ebuild 2007 BLAKE2B 21d014cbabb76f661135ffc1c1ce72b016448511e0ec7cb71cffc6f68fec9328c140f268ae3dce2a7ed58ee5559f56c274fb9ce1f7edcc000a9f0606f013bd3d SHA512 76b1e4b63458d5992b5036a7fff2f0e9be5ec0269fcd8a3d2854db21a89f8efd54b9d043049e9e9ac969852f975a8774735c6c426ac03068078c75c1517d0f2a -EBUILD gfan-0.6.2-r5.ebuild 1971 BLAKE2B b50e2c1bbcbd4269850575bd4f36bb42dcad534d3a55e4257bf3281e907dfe0730deb81fbb66373356ec474e9273b4c9b40ae227842edce682e68530be0de2f6 SHA512 5eed708f34f910390a024e45b9a613ab424729122f58bae8573832f4f217c3f6424309c7f068f162d797a0c19f8d56926b97054c4ece1d9d62094a8848a913e3 +EBUILD gfan-0.6.2-r6.ebuild 2203 BLAKE2B 5656e7f447f44a8a2a080d7f369fdfb0b391f946386c6794744531bbdcab190177834c46c59e53e49dce27160879208a4d0158f3e15a210ffc094f45941c1c04 SHA512 f2832bb4d281566178925912bdbdf9c68b4f59235d231186c2caefb7422776b4501cf7722ad7539840a349e2cc16ccd00d2fba4bd0b0982e3f861e7367026967 MISC metadata.xml 1344 BLAKE2B 1a1d24099e2338877b068dee2b9e17feb4063de3a681a3b8d6a707c863708d6f380bb4864eb2fd5fef8ed49d6b1a770a8d1b4c12ce722b4f7fe113876de0b792 SHA512 8d5c93337a82b132c66c8d7e64c97deedcfdc724e9874bf308e6d817f71e663bc2b281ea133ae15e30096f5c801f88116b11e4d36dd8dd8eec526b5bc16d5f54 diff --git a/sci-mathematics/gfan/files/gfan-0.6.2-glibcxx-assertions.patch b/sci-mathematics/gfan/files/gfan-0.6.2-glibcxx-assertions.patch new file mode 100644 index 000000000000..00c616d036fe --- /dev/null +++ b/sci-mathematics/gfan/files/gfan-0.6.2-glibcxx-assertions.patch @@ -0,0 +1,39 @@ +From f0e9e24f1f20801bd49c78b30b951433f834a2c7 Mon Sep 17 00:00:00 2001 +From: Michael Orlitzky <michael@orlitzky.com> +Date: Sat, 5 Oct 2024 08:48:57 -0400 +Subject: [PATCH] src/gfanlib_tropicalhomotopy.h: avoid out-of-bounds vector + indexes + +Add a check to ensure that we don't try to access the -1st element of +a vector. The code would be trying to subtract zero from the entry, so +it was "harmless," but it does crash glibcxx when assertions are +enabled (as they are on hardened Gentoo). This should allow the +SageMath "mixed volume" tests to pass. +--- + src/gfanlib_tropicalhomotopy.h | 10 ++++++---- + 1 file changed, 6 insertions(+), 4 deletions(-) + +diff --git a/src/gfanlib_tropicalhomotopy.h b/src/gfanlib_tropicalhomotopy.h +index f3127ba..f6db26e 100644 +--- a/src/gfanlib_tropicalhomotopy.h ++++ b/src/gfanlib_tropicalhomotopy.h +@@ -454,10 +454,12 @@ template<class mvtyp, class mvtypDouble, class mvtypDivisor> + //chioices are "relative" so no update is needed. + + choices=parent.choices; +- int numberToDrop=(subconfigurationIndex!=0) ? numberToDrop=k+1 : 0; +- +- choices[subconfigurationIndex-1].first-=numberToDrop; +- choices[subconfigurationIndex-1].second-=numberToDrop; ++ int numberToDrop = 0; ++ if (subconfigurationIndex != 0) { ++ numberToDrop=k+1; ++ choices[subconfigurationIndex-1].first-=numberToDrop; ++ choices[subconfigurationIndex-1].second-=numberToDrop; ++ } + + denominator=parent.denominator; + int offsetOld=0; +-- +2.45.2 + diff --git a/sci-mathematics/gfan/gfan-0.6.2-r5.ebuild b/sci-mathematics/gfan/gfan-0.6.2-r6.ebuild index 47fbcc3b8e1d..538326ff4359 100644 --- a/sci-mathematics/gfan/gfan-0.6.2-r5.ebuild +++ b/sci-mathematics/gfan/gfan-0.6.2-r6.ebuild @@ -16,7 +16,13 @@ SLOT="0" KEYWORDS="~amd64 ~arm ~riscv ~x86 ~amd64-linux ~x86-linux" IUSE="doc" -BDEPEND="doc? ( virtual/latex-base )" +# texlive-plaingeneric is needed for \usepackage{ulem} in +# the manual. ghostscript-gpl provides the "dvipdf" command. +BDEPEND="doc? ( + app-text/ghostscript-gpl + dev-texlive/texlive-plaingeneric + virtual/latex-base +)" DEPEND="dev-libs/gmp:0=[cxx(+)] sci-libs/cddlib:0=" RDEPEND="${DEPEND}" @@ -27,6 +33,7 @@ PATCHES=( "${FILESDIR}/${PN}-0.6.2-fix-0602ResultantFanProjection.patch" "${FILESDIR}/${PN}-0.6.2-fix-spelling-errors.patch" "${FILESDIR}/${PN}-0.6.2-find-name.patch" + "${FILESDIR}/${PN}-0.6.2-glibcxx-assertions.patch" ) pkg_setup() { diff --git a/sci-mathematics/giac/Manifest b/sci-mathematics/giac/Manifest index 6f021aa7da64..7522d0598a7d 100644 --- a/sci-mathematics/giac/Manifest +++ b/sci-mathematics/giac/Manifest @@ -2,12 +2,10 @@ AUX giac-1.6.0-pari-2.11.patch 783 BLAKE2B f173015006fef4a9f8176965f923664f11b0b AUX giac-1.7.0.1-gsl_lapack.patch 2912 BLAKE2B b0f9f05126316b9b76d5f1a5ad737cc88ecbc71dc450ef714f6da323128d9c945ada9d658c73647987f84638498aa4d3bbef49062424ab63b53c76defc127902 SHA512 14bfcb04e5a23933cfa4635789bf02f6d6e6a528c167504678b3d2ecb38f135d0c05583712005fe53afd7696cc9ebee5dc3ab90cac056d75bd43be786075b011 AUX giac-1.9.0.21-pari-2.15.patch 298 BLAKE2B 99329cfd473ec3b580caf8f9700501e8b5dca9143cd04d883729880109d4e1962d19dce19aaf51e5d26ab09dc399a45a3a052847837f53a60c1b21087ebeabb8 SHA512 f9335dd47ee43ca10b784c8302422efcd5a835b1fe13fa134f5d36e453327e96624e77e086710f9d556352b1d62e6e693b3308fe8af329492e11d68cc9451b5b AUX giac-1.9.0.67-system-gl2ps.patch 2283 BLAKE2B 6c98e3ea09f0f8b0e34e2634218595d576e7eee85234e56436db24fe0aa276288f58049bcfb374ae42d7f104b44f0d51b3e81acc6e2e9af1cecc4e4adadfada8 SHA512 88dae722242b81ee22b7d377e4fd4b98d1e687307aaf3091ab17ffc720678bedb93c30bc0fd92c0388b7994945b820f31dd57e831736b6dd29e5d8285320d4e6 -AUX giac-1.9.0.93-glibcxx-assertions.patch 1135 BLAKE2B 5dc1f882f0832f305dbc24789e1ec3fde79ac6f203fef013d330f6cc268fe5366dd938cf6f141d7f3dad7aff6d012d65693d9daea20745d8bc87f15dc55453d1 SHA512 cd882c469a7af89dad475cd77f9a3625f914a6b522eba8eb12275535552da5d98bab63e6b84ba730766976ee3fe70bd414143febb3b5de55727e7da854c0cad9 -AUX giac-1.9.0.93-no-fltk-buildfix.patch 1690 BLAKE2B 7ff97352ebe164107700ed0a45cfe25df7685ac69684cdfe6811235db2d2020322791868ef2b503281095120083ac8c63f0982c1eec9baac009c8642dca2229d SHA512 4a739550164d0555ddfaec7a02e2fe43f5dcdbc752d7d785ae8c4d1bad7b3e18d15ff2c5670129fc99b9680e6198f87b1517255a03b390bfcadfa0a02f28752f AUX giac-1.9.0.995-fix-undefined-behavior.patch 1296 BLAKE2B f181960feaa2ef42a0d5bb8a3d060fd3e3f62416135d6204c6d4682f58c727b4a734b538b9be52b4e6750d6415e2c08812196f50acf99e147b8f4215f0e37280 SHA512 7d394a3f60b977d5cbc6afded350fb1296823d85adc73b9c215f0882e500660d2c4eefb79c0f451eb60009e86430f8cf10566ef6e8a9cdeca087e489c14fd7d6 AUX giac-1.9.0.995-glibcxx-assertions.patch 1292 BLAKE2B 640dca5b736c151aedd5ed5bed7c49a468bf70978f2b671b2d67d5bc1248b9921b876fdb097ffa5b1b701f5337dbb601c7217307173d322a376a61f35508c742 SHA512 39b2d553bc3e0dedf53acca38e80b8ca76f4f0308603f0f67d881430e635f008ea618d1a7478e6c215c960b189c6d4fd83073ee2171fb2d2b3921095de53db23 DIST giac_1.9.0-29.tar.gz 115441843 BLAKE2B 9114db489be0c51d67c87b0a0c187fecf9eca84d7cb3117e72793290c8e606e76c3d9bc8a2d573fc2de2f2d885fb34d18583302a5902d69045976114ac02b95e SHA512 57b58aa35c724eae7df36229cb3d45d1b724a8a88acb1d1dd0711be64dd7c891850e7242662e448ce955e76b856973f9065628b65ce0826c60e277cb944b21b7 DIST giac_1.9.0-995.tar.gz 128346387 BLAKE2B c275d2cad511b906a3822156bd05f83cd77265cf489da82b111973b0a80de7abd1875d0cf0116e34610aa20b5ea2cc36550950dbf1eb1a321db8c7145c789137 SHA512 7111a21df5efe1ef5f14dc744277e18f3e4701842d827da0f8d745e1bcec4c06b45e3306b7ed3c4affee59c5df2454643900eefe32d46019771e6bb07bc971d9 EBUILD giac-1.9.0.29-r1.ebuild 4542 BLAKE2B dce03818ac9af080b4416b6546563e4be99617b220c4661a540f77e0127760582cfe0a3df8c6a2f94da676b8a0e9fa967be59748184b86eb8934481c607d7500 SHA512 6915110b6964d2e79d7da01cee85ee3b51b944f9879e5659447f0cba5d74bda8c4113ee9290203510fdb57ad1ba60eae52639b134ed74eec01b04a97d75cf066 -EBUILD giac-1.9.0.995.ebuild 5272 BLAKE2B 83003d7926cc7324811853303493f4f468cfa07c0755dc95a12b046dd216bf198dd6ad026bc8b4327dfc1a785cd6cc488eb697978d7f9d00210071131cedc1f2 SHA512 2fc3c1b1ae535e293e7501bdf52d52dde3fa6db620c58e290f600015d53289ec6b9e5b6a1dad950e7b5fc23127478122ee5f32d8c134e5ace9158d245818f6f9 +EBUILD giac-1.9.0.995-r1.ebuild 5505 BLAKE2B 68dec9bdc7b5245c7768379f0ad59c0ab88694cf934f09f628835034cde12c765d9407ccb90a6f03bc1afa5ace636a24c23f268a38f95442ce0848ed9ef96ad9 SHA512 0fef66cfc86e1cb92cd71fbd3ee5e3e71b5ab13cd084ed7fe4e0db46dce310d64cb5b9e93bdb02940dba57d945b65bb8e73b89dfe8f9dc599107722cbc40fc8a MISC metadata.xml 1315 BLAKE2B a461d359b33617422f5863466bdbec9ddf56db03467b992c887bce9967d434913489602fd684edc893303078f89cf94d01b44cfdc0ccff33db9b42c5e686cfa8 SHA512 eaeb480010c9dbdfd75516e45e97e3226d2b2812c44e217b318c5a1d86dc40820bac0de69686d7b502775b14a6f1ed3bc11d2372b891c46a37080b4e84da9a1c diff --git a/sci-mathematics/giac/files/giac-1.9.0.93-glibcxx-assertions.patch b/sci-mathematics/giac/files/giac-1.9.0.93-glibcxx-assertions.patch deleted file mode 100644 index d11eaf9ab01d..000000000000 --- a/sci-mathematics/giac/files/giac-1.9.0.93-glibcxx-assertions.patch +++ /dev/null @@ -1,31 +0,0 @@ -From 77a08fddd1687e245f9f7567376f858607a76db0 Mon Sep 17 00:00:00 2001 -From: Michael Orlitzky <michael@orlitzky.com> -Date: Mon, 4 Mar 2024 10:58:21 -0500 -Subject: [PATCH] configure.ac: delete _GLIBCXX_ASSERTIONS override - -This was added upstream when it was pointed out that the codebase -contains undefined behavior that triggers glibcxx's assertions. -Disabling the assertions without fixing the undefined behavior is not -a satisfactory solution, so we drop the override. ---- - configure.ac | 3 +-- - 1 file changed, 1 insertion(+), 2 deletions(-) - -diff --git a/configure.ac b/configure.ac -index 62b63fb..3e4909f 100644 ---- a/configure.ac -+++ b/configure.ac -@@ -46,9 +46,8 @@ AC_CHECK_HEADERS(regex) - AC_CHECK_FUNCS(tgammaf) - - dnl CXXFLAGS="$CXXFLAGS -std=c++0x" --dnl avoid "security" checks for vectors - dnl -DUSE_OBJET_BIDON added because xcas::localisation() does not load locales correctly for modules loaded before main() is executed --CXXFLAGS="$CXXFLAGS -U_GLIBCXX_ASSERTIONS -DUSE_OBJET_BIDON" -+CXXFLAGS="$CXXFLAGS -DUSE_OBJET_BIDON" - - dnl Define DOUBLEVAL if bigendian - if test "x$ac_cv_c_bigendian" = "xyes"; then --- -2.43.0 - diff --git a/sci-mathematics/giac/files/giac-1.9.0.93-no-fltk-buildfix.patch b/sci-mathematics/giac/files/giac-1.9.0.93-no-fltk-buildfix.patch deleted file mode 100644 index 970ba22c6cca..000000000000 --- a/sci-mathematics/giac/files/giac-1.9.0.93-no-fltk-buildfix.patch +++ /dev/null @@ -1,60 +0,0 @@ -diff --git a/src/Editeur.cc b/src/Editeur.cc -index d69dce2..f7725bb 100644 ---- a/src/Editeur.cc -+++ b/src/Editeur.cc -@@ -3,7 +3,6 @@ - #include "Input.h" - #include "Tableur.h" - #include "Python.h" --Fl_Tabs * xcas_main_tab=0; - #ifdef HAVE_LIBMICROPYTHON - extern "C" int mp_token(const char * line); - #endif -@@ -27,6 +26,7 @@ extern "C" int mp_token(const char * line); - - - #ifdef HAVE_LIBFLTK -+Fl_Tabs * xcas_main_tab=0; - #include <FL/fl_ask.H> - #include <FL/fl_ask.H> - #include <FL/Fl_Return_Button.H> -diff --git a/src/icas.cc b/src/icas.cc -index a5e3711..44ec905 100644 ---- a/src/icas.cc -+++ b/src/icas.cc -@@ -2166,11 +2166,13 @@ int main(int ARGC, char *ARGV[]){ - printf("%s\n","Running ./xcas"); - continue; - } -+#ifdef HAVE_LIBFLTK - if (s=="xcas"){ - giac::gen ge; std::string filename; - xcas::fltk_view(0,ge,"session.xws",filename,5,contextptr); - continue; - } -+#endif - if (s=="giac"){ - python_compat(python_compat(contextptr)&3,contextptr); - printf("%s\n","Switching to giac interpreter"); -@@ -2251,7 +2253,9 @@ int main(int ARGC, char *ARGV[]){ - #else - start=clock(); - #endif -+#ifdef HAVE_LIBFLTK - xcas::icas_eval(gq,ge,reading_file,filename,contextptr); -+#endif - #ifdef __APPLE_ - startc=clock()-startc; - #endif -@@ -2265,9 +2269,11 @@ int main(int ARGC, char *ARGV[]){ - // 2-d plot? - int graph_output=graph_output_type(ge); - if (reading_file>=2 || graph_output || (giac::ckmatrix(ge,true) &&ge.subtype==giac::_SPREAD__VECT) ){ -+#ifdef HAVE_LIBFLTK - if (xcas::fltk_view(gq,ge,"",filename,reading_file,contextptr)) - cout << "Done"; - else -+#endif - cout << "Plot cancelled or unable to plot"; - } - else { diff --git a/sci-mathematics/giac/giac-1.9.0.995.ebuild b/sci-mathematics/giac/giac-1.9.0.995-r1.ebuild index 28dba8596875..6a9a85a14f05 100644 --- a/sci-mathematics/giac/giac-1.9.0.995.ebuild +++ b/sci-mathematics/giac/giac-1.9.0.995-r1.ebuild @@ -78,9 +78,15 @@ src_prepare() { # similar deal with gl2ps rm src/gl2ps.[ch] || die - # mjs is an arm executable artifact that should not have been shipped - # Removing it so it can be rebuilt with the host architecture - rm src/mkjs || die + # These are executable (ARM) build artifacts that should not have + # been shipped. We remove them so they can be rebuilt properly. + rm src/mkjs doc/khicas.nwa || die + + # Don't waste time eautoreconfing the bundled micropython that we + # never use. + sed -e 's/micropython-1.12//g' -i Makefile.am || die + sed -e '/micropython-1.12/d' -i configure.ac || die + rm -r micropython-1.12 || die default eautoreconf diff --git a/sci-mathematics/glpk/Manifest b/sci-mathematics/glpk/Manifest index 4def1f31c27d..391e1b92fa60 100644 --- a/sci-mathematics/glpk/Manifest +++ b/sci-mathematics/glpk/Manifest @@ -1,6 +1,7 @@ AUX glpk-4.65-debundle-system-libs.patch 1930 BLAKE2B 0c265afe9338e75bb3d6536e9e0b2f473e15b4b524b29244bd6bce44a1f77e48c122a463a3800a246435b47d240e799fd16a21ef5c66eb00643759774c47ef73 SHA512 940c2d3dc12efd8df90c17277630a60ea6682eff0323ea82eeb8b81377db612103c29fb44bbe8ff936d96a436548be3e4c772f55f8412adaad546a6381be6333 AUX glpk-4.65-fix-mysql-include-prefix.patch 1837 BLAKE2B ecd90024e07f29e8ebb6af80b520c8f192cfea21c90d8c247001389f2ccfcf24ad487981a0cc719d1ca99e266dd2a9d66f6416d4f2d5e7c80bdf807b9bb7b74e SHA512 c74281bf3e03e136d183b562b8f682a3e1957019a36ec0c6a048049f0d5f55361107a62e36eaa9e3306a1f13df10adf55c2f54f096b6e353108856e05d9ce799 +AUX glpk-5.0-aliasing.patch 2997 BLAKE2B 8d67fd1a4eba4af91281d7858e2ae0faed74bce92be981f842ff4b7e2cc84ec465fa82acc0f605fc0cd6310881b5c90baae3001a474b71b2ce2d4d2c689fb46d SHA512 392bfcb2c7319899abdc414b59e7f95beeefc4cabad7603d79734eeca8665a6a99e373a97c0e88a5bce923090d2c3ae8cae0845c2222c389090d3b9009e02e92 DIST glpk-5.0.tar.gz 4132649 BLAKE2B f8204f66a97af950c13ee72ee9541f305745741d1231325670ede14663cb6c28ec6fbc44b3625973f1924ca078183d1d43f494ad43a7b48b45be131882b00001 SHA512 4e92195fa058c707146f2690f3a38b46c33add948c852f67659ca005a6aa980bbf97be96528b0f8391690facb880ac2126cd60198c6c175e7f3f06cca7e29f9d -EBUILD glpk-5.0-r1.ebuild 2579 BLAKE2B 8cfb73bd99f4cb926bd61948dce95d0c9b400b3da74ca03822dd17184f4047d0b878f6d775ed566ed6b9f793c97dd2eaa9ea58d0023b0564a6317c3a2b773550 SHA512 c40681370fc4bfd01ad670fd14b78a8ba963cbc1ae9f1263f5b02781e1bac3db816263ba255d35739df3115ff8baef4eff51152e1bd59f30336e262e91158baa -EBUILD glpk-5.0-r2.ebuild 2626 BLAKE2B 1dfd54b3e9d8776cef2ed4bafc6601be15e6182f5f31200d30076c996bc665ac2e528f73f06ecfd47cacba378545f41063b11247d4d41e3880a00eab47735f61 SHA512 866e82e6819280d4da6fad9b97f7f569c7bf183303a59511a6878e0308d484c9f8b259fe14a51f88ff9b0effaab62c0283188418d9bc5ddc5f624afb89d3139a +EBUILD glpk-5.0-r1.ebuild 2573 BLAKE2B 86b24b612643deb53ad466534cb640831549eb1412cf379bae02307a9957c693716050cb35770ec891d50d91ffbf3fa218ec7fc43400d9234c49637ae6a4064f SHA512 c20ba1c1eb265a9667979cdf286bb69e9e032454ffdfade04d5700806c6473313efe428c6321ee9db43751a19ff11520315aae7b4e9b41ab921c0fabe1c08355 +EBUILD glpk-5.0-r3.ebuild 2418 BLAKE2B 11802a3c7b2a4ae6a688bf2283ac44fb499241487b2da3a5c48ae226fe6f538e2ba4cd78f9695be4dace47b2da80fd2d36998991d3c8a9819f41dc04d139977e SHA512 8199dc20067ab872778b6b2f3dc375ecac1a6a369897feeeef91324720e67c7a71883cf1ead8a826d74d8b3bca7656ab496a6f12c1c05ea177b35645f8025ca4 MISC metadata.xml 1104 BLAKE2B f22121178a0e7f3ab097558b05cb084a7dc787cc1530859d6182aea61abee220e135ad695f517419053bb805cecef9c3555fcdb2688d6b6d17cdd8b3ce2dbb21 SHA512 965c2c6c322c488736cb9743f1e076fdf2733976502b2b2668717534f7a1505f36b84f453f23f4ff5972f7a25883d253e345caef727bab8abed4c638f5a0dc5a diff --git a/sci-mathematics/glpk/files/glpk-5.0-aliasing.patch b/sci-mathematics/glpk/files/glpk-5.0-aliasing.patch new file mode 100644 index 000000000000..91ca8b189bb6 --- /dev/null +++ b/sci-mathematics/glpk/files/glpk-5.0-aliasing.patch @@ -0,0 +1,89 @@ +Stolen from Fedora: + + https://src.fedoraproject.org/rpms/glpk/raw/rawhide/f/glpk-4.65-alias.patch + +diff -urN glpk-4.65.orig/src/minisat/minisat.c glpk-4.65/src/minisat/minisat.c +--- glpk-4.65.orig/src/minisat/minisat.c 2018-02-16 00:00:00.000000000 -0700 ++++ glpk-4.65/src/minisat/minisat.c 2018-05-20 18:54:25.106624859 -0600 +@@ -135,11 +135,11 @@ struct clause_t + + #define clause_learnt(c) ((c)->size_learnt & 1) + +-#define clause_activity(c) \ +- (*((float*)&(c)->lits[(c)->size_learnt>>1])) ++#define clause_activity(c, a) \ ++ memcpy(&(a), &(c)->lits[(c)->size_learnt>>1], sizeof(float)) + + #define clause_setactivity(c, a) \ +- (void)(*((float*)&(c)->lits[(c)->size_learnt>>1]) = (a)) ++ memcpy(&(c)->lits[(c)->size_learnt>>1], &(a), sizeof(float)) + + /*====================================================================*/ + /* Encode literals in clause pointers: */ +@@ -313,14 +313,18 @@ static inline void act_clause_rescale(so + clause** cs = (clause**)vecp_begin(&s->learnts); + int i; + for (i = 0; i < vecp_size(&s->learnts); i++){ +- float a = clause_activity(cs[i]); +- clause_setactivity(cs[i], a * (float)1e-20); ++ float a; ++ clause_activity(cs[i], a); ++ a *= (float)1e-20; ++ clause_setactivity(cs[i], a); + } + s->cla_inc *= (float)1e-20; + } + + static inline void act_clause_bump(solver* s, clause *c) { +- float a = clause_activity(c) + s->cla_inc; ++ float a; ++ clause_activity(c, a); ++ a += s->cla_inc; + clause_setactivity(c,a); + if (a > 1e20) act_clause_rescale(s); + } +@@ -356,7 +360,7 @@ static clause* clause_new(solver* s, lit + c->lits[i] = begin[i]; + + if (learnt) +- *((float*)&c->lits[size]) = 0.0; ++ memset(&c->lits[size], 0, sizeof(float)); + + assert(begin[0] >= 0); + assert(begin[0] < s->size*2); +@@ -850,10 +854,17 @@ clause* solver_propagate(solver* s) + } + + static inline int clause_cmp (const void* x, const void* y) { +- return clause_size((clause*)x) > 2 +- && (clause_size((clause*)y) == 2 +- || clause_activity((clause*)x) +- < clause_activity((clause*)y)) ? -1 : 1; } ++ clause *cx = (clause *)x; ++ clause *cy = (clause *)y; ++ float fx, fy; ++ if (clause_size(cx) <= 2) ++ return 1; ++ if (clause_size(cy) == 2) ++ return -1; ++ clause_activity(cx, fx); ++ clause_activity(cy, fy); ++ return fx < fy ? -1 : 1; ++} + + void solver_reducedb(solver* s) + { +@@ -874,10 +885,12 @@ void solver_reducedb(solver* s) + learnts[j++] = learnts[i]; + } + for (; i < vecp_size(&s->learnts); i++){ ++ float f; ++ clause_activity(learnts[i], f); + if (clause_size(learnts[i]) > 2 + && reasons[lit_var(*clause_begin(learnts[i]))] + != learnts[i] +- && clause_activity(learnts[i]) < extra_lim) ++ && f < extra_lim) + clause_remove(s,learnts[i]); + else + learnts[j++] = learnts[i]; diff --git a/sci-mathematics/glpk/glpk-5.0-r1.ebuild b/sci-mathematics/glpk/glpk-5.0-r1.ebuild index cdfbef93af93..a0db9eee70b6 100644 --- a/sci-mathematics/glpk/glpk-5.0-r1.ebuild +++ b/sci-mathematics/glpk/glpk-5.0-r1.ebuild @@ -11,7 +11,7 @@ SRC_URI="mirror://gnu/${PN}/${P}.tar.gz" LICENSE="GPL-3" SLOT="0/40" -KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~loong ~ppc ppc64 ~riscv sparc x86 ~amd64-linux ~x86-linux" +KEYWORDS="~alpha amd64 arm arm64 ~hppa ~loong ~ppc ppc64 ~riscv sparc x86 ~amd64-linux ~x86-linux" IUSE="doc examples gmp odbc mysql" BDEPEND="virtual/pkgconfig" diff --git a/sci-mathematics/glpk/glpk-5.0-r2.ebuild b/sci-mathematics/glpk/glpk-5.0-r3.ebuild index af7007591862..477d3016240a 100644 --- a/sci-mathematics/glpk/glpk-5.0-r2.ebuild +++ b/sci-mathematics/glpk/glpk-5.0-r3.ebuild @@ -11,7 +11,7 @@ SRC_URI="mirror://gnu/${PN}/${P}.tar.gz" LICENSE="GPL-3" SLOT="0/40" -KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86 ~amd64-linux ~x86-linux" +KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86 ~amd64-linux ~x86-linux" IUSE="doc examples gmp odbc mysql" BDEPEND="virtual/pkgconfig" @@ -36,6 +36,7 @@ RDEPEND="${DEPEND}" PATCHES=( "${FILESDIR}"/${PN}-4.65-fix-mysql-include-prefix.patch "${FILESDIR}"/${PN}-4.65-debundle-system-libs.patch + "${FILESDIR}"/${PN}-5.0-aliasing.patch ) src_prepare() { @@ -53,15 +54,6 @@ src_prepare() { } src_configure() { - # -Werror=strict-aliasing - # https://bugs.gentoo.org/863047 - # https://lists.gnu.org/archive/html/bug-glpk/2022-08/msg00000.html - # No upstream response... - # - # Do not trust it to LTO either. - append-flags -fno-strict-aliasing - filter-lto - local myconf if use mysql || use odbc; then myconf="--enable-dl" diff --git a/sci-mathematics/gmm/Manifest b/sci-mathematics/gmm/Manifest index 9d31b08e32ee..51b70967f362 100644 --- a/sci-mathematics/gmm/Manifest +++ b/sci-mathematics/gmm/Manifest @@ -1,5 +1,5 @@ DIST gmm-5.4.2.tar.gz 545222 BLAKE2B 971656610e458f589de4e1d7d28947f501e23a25a018fa15b854047e4e34d11ac7f0729928250a80537859dfc888582285217a595e6168606ca7b54c4045e3ec SHA512 525eead2c9b4dbedbf4d5c315a7f7efa584aa4a2582c260bd304a3b7cc762f8161b4bc825b4853f53e5a766e56eed538d2005c8b1965bdc7efc77a5a0795e934 DIST gmm-5.4.tar.gz 547563 BLAKE2B 44d4809b84434e50e954d64ddd391ad39a2df8ff77b285b87615f1b7c0ce8dec6b4f002daf7fc6095c075ec60e32d7209ae3abba1899a42f8cc830b6fb33ff4a SHA512 a271755a69395f1fa3813be7fd65ecf123521ab5106acf3b87ecfc00a818ef476b669c65f6c29123f6351f9155ce3b5a02f17c8cff6d1821ad7c17ded0b854f5 -EBUILD gmm-5.4.2.ebuild 427 BLAKE2B 9fb7c04044ff6bcb78394a02bf0cdf6cdca5f85383a4a55ac1d26236e9c08c69f9850f1c8cfbbf59b203d120a2681815a89fed5d3a133e18b3dca559c447f799 SHA512 ed336a4cd1b8bd5bb16659c1249e74612331d714dbbd3e7771fce7d6a1b5739307f36b1112b260981ccb290fbf0549905403a13a84c2e12a8a56e23682a70415 +EBUILD gmm-5.4.2.ebuild 425 BLAKE2B 03f7c81ddb3592afa44771479fe4f6d82c389f68b1694b8a287c5fad5ed996784981ceb2b25deaf6a2bde6cf9c23792602d81f2459824e20d23ed70a8532dc2b SHA512 060b201ec4d8b19061ba8d1456adcaae6b809a36c526fc2051ece0718ac42b21b178ea34e9e33b0134e7c17fd57356f13628d41a7fa09bf4cc560d297c1d7ebe EBUILD gmm-5.4.ebuild 537 BLAKE2B b56ef5c947af58a86e6b919c358fad0fdab1d167c414a92440ca5632cfbdf3e9da7b1d09ecd1932729d2a7b8f57bde656e29944dabd794734faeae3d2b120aa0 SHA512 20fbf1925dce940581182558a7656a492fbb7602490113aa77e0c5b0bc03275ceebdf98e7cb43dddedfaa0fbd7ebed3708f21fe8a7e1fcfe347f359901a10482 MISC metadata.xml 748 BLAKE2B b38c10240d8438621865fb03756c8a2812d5377051d7ef6ea21c1f572a313e7ec07c219b682e8501b3d658a23aed216d30394b9640aac1a5438f018af05c8ace SHA512 b1aba97ea7ff9373892c60f9a92c63dc222a79036c7e802dd8d4cb914caafd6fd0403d7b222961d8acfbe5e62dfe10bae3b2ad7660f24adc6ada38d8c3678336 diff --git a/sci-mathematics/gmm/gmm-5.4.2.ebuild b/sci-mathematics/gmm/gmm-5.4.2.ebuild index 9d66d8b89ccb..1eb5ebd6d117 100644 --- a/sci-mathematics/gmm/gmm-5.4.2.ebuild +++ b/sci-mathematics/gmm/gmm-5.4.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -9,5 +9,5 @@ HOMEPAGE="http://getfem.org/gmm.html" LICENSE="|| ( LGPL-3 LGPL-3-with-linking-exception )" SLOT="0" -KEYWORDS="~amd64 ~arm ~hppa ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux" +KEYWORDS="amd64 ~arm ~hppa ~ppc ppc64 ~x86 ~amd64-linux ~x86-linux" IUSE="" diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest index 445f68901a02..44e2599da84c 100644 --- a/sci-mathematics/lean/Manifest +++ b/sci-mathematics/lean/Manifest @@ -1,7 +1,9 @@ AUX lean-3.50.3-gcc-13.patch 263 BLAKE2B cf589616f4612319bbe1d21e798787a72da3d0f319cef3ef0042b8baa89d87066867311fd804862d43599a262c64e2b747a6c21415bb69137a3e8e59dd332155 SHA512 013fe4ec983c8ca612621319fad5fe66e081516979e4dace71f24ec72cac8d7fe2a021e701b2bcae1e87209783330c02b799cdb6c1274f7f8d3dc51efaf130b6 AUX lean-CMakeLists-fix_flags.patch 1285 BLAKE2B 0507e553c1acf2a53c5267932127117d5ae5ba9015a08c88748b3d82c041f8d904d15cd033dd7934ac55c474fa75a5d4a46f680cc887fee37c05c3f5f3832839 SHA512 11a5918847e45aac7bf79e48d8f881ef5cd3e6b09dbb0979f3f0b88fd36458be21ebeb530158da801399a0cdc8fe382444ff338cd793cd9f1bfced90c5d5a71b DIST lean-3.51.1.tar.gz 1918894 BLAKE2B 9a240fe73193794a57001582c0623052cfc1c08ef3b155cac2d9dfc029202cb79b85e844fdf068e454498a35522ec3e18330da8c644bba3c6f708cbde04816f7 SHA512 dccdf6c3fbcd98115e62b9944645af6a2ce21412d63baa9565871807862e8d83cc6f29d1fb687f19b802240a5f9c019443caa00412ecfabe621744dff900e3ee +DIST lean-4.11.0.tar.gz 25790812 BLAKE2B d9a4eb15199f81c6757acf35fb17c795bb9d69158c7e7deb11d98a45bebf569dcda5f7733b2effd2be0eea879a6c7c24b270d97159e5898215e82e853320918c SHA512 2314659910b4d872c4ae0dda648a9cab9e1cc44cd4c55486a494b65b20fdae236ab9db99a42d7fb1a80030e300e95606065ee7dd27578b12a4c47fc8c102e2bb DIST lean-4.2.0.tar.gz 16382466 BLAKE2B 3a8770d92ae89041f3e12089c3bb9171a993e8a1c702162925b569e13ed8d8819b3e9aa3c00e314a80a118ff8e4b18fb6df8b8a0e85a21fcb1daa5c0bfc29d4f SHA512 b0bd91f39319c1c6fd6851732d9dcb8758734500abc8faf0648c03582a81d51f2d942fa5deecedf81116b894d0b65e93eccab557bf155e69d65bda83eccaf7bb EBUILD lean-3.51.1.ebuild 1815 BLAKE2B 767ff4cc188049e3b54d903ff3a314012997369beadf7335a33e01193b0da69707e4b845946afde25a617e9e344df479adb70c8937e84dc1854fe2db9b0d979b SHA512 630f5690c1a4321e56d640186b894623fa5551de17af21793b4a66c32ccfb66697b4144ada36742262e5bd037d094b0448511433e73affdac36ad7e06874635d -EBUILD lean-4.2.0.ebuild 1319 BLAKE2B 2638f62e66e939ddcdbffc9742c3fefdb3dbaa4a9fa3a84be68d37236259703dd1276faf4a82969b28cfd2cafbe5b97f4da5b00f587cda2842cbb97b4fc4bcb5 SHA512 1f08f9be37ca1502a816b21c31e0de69f2d28d60c16cc86bc24690003ccff4234967a282082cd840e8732d8ccb909c265ac4b9e08b7640a385530df5d7abbc9c +EBUILD lean-4.11.0.ebuild 1396 BLAKE2B 290329acafb3a31c70e65b271d3221dde9b9d70cdfc38c3db68e108fe1d7cf55bf0791aaf37c2e6860ca7c2e11744203e739b6365c4f488f23d54f5b90b046b5 SHA512 b8f07890e09f4c8a4b7e810d0c34b9f49476c18a6962c6a2c38167a0935bd68fe113f76f856c1c2625d4a789e3210a187acdc23f9e1ae2283608efc4f6625bf1 +EBUILD lean-4.2.0.ebuild 1314 BLAKE2B 5d4bf0f35c2935eedec2da03e93eef5ae03e5d3520b6addb8682083782deab721d1f2aa3f1bc958887b7110bb4f5c031cc200780cf9c5dabccd1d4918617a043 SHA512 ce464635431381a814c8ef8823c06477992b2c3691c09421a9d068d3cabe40e775f999020dde5e53f7100082e304658c4d52e62372e1f21185fd3195774c0dc2 MISC metadata.xml 606 BLAKE2B 6478d84a762a59082fdea0a11a95b27c093782228c48dba58dc490ea9ac2cecef54cc3101dc98e385f3a29f85d84af21b7d2ae1a9f089ee0313158ecb44eb0e7 SHA512 02d2ac07b155c7a04c857d397d476a39864d02b10dd81c5830db5e21eb86c6dcff26da552a04717f5f587b326ddf8e2e8d27f1a138f88b391f0199d8004d8cb7 diff --git a/sci-mathematics/lean/lean-4.11.0.ebuild b/sci-mathematics/lean/lean-4.11.0.ebuild new file mode 100644 index 000000000000..88456a89f156 --- /dev/null +++ b/sci-mathematics/lean/lean-4.11.0.ebuild @@ -0,0 +1,81 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +MAJOR="$(ver_cut 1)" + +CMAKE_MAKEFILE_GENERATOR="emake" +PYTHON_COMPAT=( python3_{10..13} ) + +inherit cmake flag-o-matic python-any-r1 + +DESCRIPTION="The Lean Theorem Prover" +HOMEPAGE="https://leanprover-community.github.io/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/leanprover/${PN}${MAJOR}.git" +else + SRC_URI="https://github.com/leanprover/${PN}${MAJOR}/archive/refs/tags/v${PV/_/-}.tar.gz + -> ${P}.tar.gz" + S="${WORKDIR}/${PN}${MAJOR}-${PV/_/-}" + + KEYWORDS="~amd64" +fi + +LICENSE="Apache-2.0" +SLOT="0/${MAJOR}" +IUSE="debug source" + +RDEPEND=" + dev-libs/gmp:= +" +DEPEND=" + ${RDEPEND} +" +BDEPEND=" + ${PYTHON_DEPS} +" + +# Built by lean's build tool. +QA_FLAGS_IGNORED="usr/lib/lean/libInit_shared.so" + +pkg_setup() { + python-any-r1_pkg_setup +} + +src_prepare() { + filter-lto + + sed -e "s|-O[23]|${CFLAGS}|g" -i src/CMakeLists.txt || die + + cmake_src_prepare +} + +src_configure() { + local CMAKE_BUILD_TYPE + + if use debug ; then + CMAKE_BUILD_TYPE="Debug" + else + CMAKE_BUILD_TYPE="Release" + fi + + local -a mycmakeargs=( + -DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}" + -DLEAN_EXTRA_LINKER_FLAGS="${LDFLAGS}" + ) + cmake_src_configure +} + +src_install() { + cmake_src_install + + rm "${ED}/usr/LICENSE"* || die + + if ! use source ; then + rm -r "${ED}/usr/src" || die + fi +} diff --git a/sci-mathematics/lean/lean-4.2.0.ebuild b/sci-mathematics/lean/lean-4.2.0.ebuild index a19134fbaf2e..4f9f3b199ff1 100644 --- a/sci-mathematics/lean/lean-4.2.0.ebuild +++ b/sci-mathematics/lean/lean-4.2.0.ebuild @@ -22,7 +22,7 @@ else -> ${P}.tar.gz" S="${WORKDIR}/${PN}${MAJOR}-${PV/_/-}" - KEYWORDS="amd64 ~x86" + KEYWORDS="amd64" fi LICENSE="Apache-2.0" diff --git a/sci-mathematics/mathematica/Manifest b/sci-mathematics/mathematica/Manifest index 63594b61404d..38f127762382 100644 --- a/sci-mathematics/mathematica/Manifest +++ b/sci-mathematics/mathematica/Manifest @@ -12,6 +12,7 @@ DIST Mathematica_14.0.0_BNDL_LINUX.sh 6362499931 BLAKE2B d5c4df6e556c970103f0736 DIST Mathematica_14.0.0_LINUX.sh 2175783771 BLAKE2B ceb6e0d9ee8ef5c548c5dcf5d426ff1678c039a66da3936e69cadb91c24102163be253a63af528fedc37ce87f9fd2617958934479ed570955a14a2b2980d5a0e SHA512 83c02183e892a3a5a9b2b6db4010b763b50b30ac8d9417ceb1256b3dd7d78ecbad132b7fcd7c797a64536b64e5894f54341379c4c599420faff5857bd0f22390 DIST WLDocs_13.1.0_LINUX.sh 3546448755 BLAKE2B e5dbf6bf9cd60a313329df8591c281215039d7efa7c83a53f3b2d4e176765b62efae3ff04628ecf6905e76bbaf6867e87c96bd6188d13df2b981bea5a633335a SHA512 2107b37b30fc76974d040e746ca26ddb5df23bbacb9d8fabcd546a7cf789f1daaf70179c53890bed2385430665f601fbbc1f9829bf64f61068909ea8774f91d2 EBUILD mathematica-10.3.1-r1.ebuild 2821 BLAKE2B 958869840413f275d50272636693c776ac399cc14401d21d8709aab81ec23f396b0407618b787a4c04fe5a70327c604bef81735f6fcdeb8cbbaf6b74cf387172 SHA512 ac52970098b31e2e1a72d50dffc0db3cfe67c68eed8272b1d78febe5e47eb514b333c23a9c5f7030bb606f937106b5a237818d9ab829779533e33f5459d2aeb2 +EBUILD mathematica-10.3.1-r2.ebuild 2878 BLAKE2B ce97d8f961e2fa5084a9f672def094f7549095c556929a1304703ab53163373cafccb6e4537df6e6969bd5c18cdb2525d49a342eaa029e84146d4b76635a928a SHA512 e3d3c1264ad780e604894378fd3d1b552d6384c1c47384b88aef1ef065071a47991eed4cb2def79412a479f277038bfc654c3b282347aae93fdfd0ec07c2e20e EBUILD mathematica-12.1.0.ebuild 3134 BLAKE2B 4a8f269cfb1d77dd941dfab8c56dc310306aea75fd6d676f2e79a1208420c25161afef7e253c101763d57a441480403580dbb62b31b420f6dbce3f7cfa786fc8 SHA512 cf14b8567a9dc6bd7f19447cb9d277c929084abf20bf073c4d9aa049e1795ddba0862f43340bfbb37d2633d84e7b5adfe4a3123554fd62bc55c018394177a2ee EBUILD mathematica-12.1.1-r1.ebuild 3134 BLAKE2B 4a8f269cfb1d77dd941dfab8c56dc310306aea75fd6d676f2e79a1208420c25161afef7e253c101763d57a441480403580dbb62b31b420f6dbce3f7cfa786fc8 SHA512 cf14b8567a9dc6bd7f19447cb9d277c929084abf20bf073c4d9aa049e1795ddba0862f43340bfbb37d2633d84e7b5adfe4a3123554fd62bc55c018394177a2ee EBUILD mathematica-12.2.0.ebuild 3135 BLAKE2B 782b070347eea963fc8e59799f2b971649014518947cbd0f0b8a602d7c2f7fad3aaf1b66ada9db3e20ff255a833cf8909a5a819912ddf6f7a72bc85440221089 SHA512 6e8348a8b7fdde48be0ee851ecf89445dffad1d63ece74485c04404c662384f72fad918278ffd88893e3b1ec5084c6a4072b6f9b1e8d71babe8abe59383ff480 diff --git a/sci-mathematics/mathematica/mathematica-10.3.1-r2.ebuild b/sci-mathematics/mathematica/mathematica-10.3.1-r2.ebuild new file mode 100644 index 000000000000..510ff88f5a6e --- /dev/null +++ b/sci-mathematics/mathematica/mathematica-10.3.1-r2.ebuild @@ -0,0 +1,96 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit desktop multilib xdg + +DESCRIPTION="Wolfram Mathematica" +SRC_URI="Mathematica_${PV}_LINUX.sh" +HOMEPAGE="https://www.wolfram.com/mathematica/" + +LICENSE="all-rights-reserved" +KEYWORDS="-* ~amd64" +SLOT="0" +IUSE="+doc" + +RESTRICT="strip mirror bindist fetch" + +DEPEND="" + +# Mathematica comes with a lot of bundled stuff. We should place here only what we +# explicitly override with LD_PRELOAD. +RDEPEND=" + media-libs/freetype + media-libs/harfbuzz +" + +# we need this a few times +MPN="Mathematica" +MPV=$(ver_cut 1-2) +M_BINARIES="MathKernel Mathematica MathematicaScript WolframKernel WolframScript math mathematica mcc wolfram" +M_TARGET="opt/Wolfram/${MPN}/${MPV}" + +# we might as well list all files in all QA variables... +QA_PREBUILT="opt/*" + +S=${WORKDIR} + +src_unpack() { + /bin/sh "${DISTDIR}/${A}" --nox11 --confirm -- -auto "-targetdir=${S}/${M_TARGET}" "-execdir=${S}/opt/bin" || die +} + +src_install() { + local ARCH='-x86-64' + + einfo 'Removing MacOS- and Windows-specific files' + find AddOns SystemFiles -type d -\( -name Windows -o -name Windows-x86-64 \ + -o -name MacOSX -o -name MacOSX-x86-64 -\) -delete + + if ! use doc; then + einfo "Removing documentation" + rm -r "${S}/${M_TARGET}/Documentation" + fi + + # move all over + mv "${S}"/opt "${D}"/opt || die + + # the autogenerated symlinks point into sandbox, remove + rm "${D}"/opt/bin/* || die + + # install wrappers instead + for name in ${M_BINARIES} ; do + einfo "Generating wrapper for ${name}" + echo '#!/bin/sh' >> "${T}/${name}" + echo "LD_PRELOAD=/usr/$(get_libdir)/libharfbuzz.so.0:/usr/$(get_libdir)/libfreetype.so.6:/$(get_libdir)/libz.so.1 /${M_TARGET}/Executables/${name} \$*" \ + >> "${T}/${name}" + dobin "${T}/${name}" + done + for name in ${M_BINARIES} ; do + einfo "Symlinking ${name} to /opt/bin" + dosym ../../usr/bin/${name} /opt/bin/${name} + done + + # fix some embedded paths and install desktop files + for filename in $(find "${D}/${M_TARGET}/SystemFiles/Installation" -name "wolfram-mathematica.desktop") ; do + echo Fixing "${filename}" + sed -e "s:${S}::g" -e 's:^\t\t::g' -i "${filename}" + echo "Categories=Physics;Science;Engineering;2DGraphics;Graphics;" >> "${filename}" + domenu "${filename}" + done + + # install mime types + insinto /usr/share/mime/application + for filename in $(find "${D}/${M_TARGET}/SystemFiles/Installation" -name "application-*.xml"); do + basefilename=$(basename "${filename}") + mv "${filename}" "${T}/${basefilename#application-}" + doins "${T}/${basefilename#application-}" + done +} + +pkg_nofetch() { + einfo "Please place the Wolfram Mathematica installation file ${SRC_URI}" + einfo "in your \$\{DISTDIR\}." + einfo "Note that to actually run and use Mathematica you need a valid license." + einfo "Wolfram provides time-limited evaluation licenses at ${HOMEPAGE}" +} diff --git a/sci-mathematics/polymake/Manifest b/sci-mathematics/polymake/Manifest index eb118ae46f78..995d91ec85b2 100644 --- a/sci-mathematics/polymake/Manifest +++ b/sci-mathematics/polymake/Manifest @@ -3,6 +3,6 @@ AUX polymake-4.11-singular-sat.patch 2212 BLAKE2B 659d07040141617f7ac6cb8572c44b AUX polymake-4.12-no-perl-constraints.patch 1937 BLAKE2B 333d796269fdc4b733a2801b2a4dd4bb3bc88fe84570f508d8dea7288602fe6dc9f0490b48c0ee5b0478927d5ad23c8414aab7a7b4a10473a59ef8f255d79672 SHA512 40e09bfaf75bcee2087bd3660b9703a82714dc8f51ce5796098d4a4677b9eb46e252e12317b691f0aea0190c69496870351d658e52331d757caaf5ee4012fd09 DIST polymake-4.11-minimal.tar.bz2 7325783 BLAKE2B 87e62741e4e44c5fea7454d5cc8cb205cf13f8ee743c1d72100f937d0677505ce0c5c8f5b37c118f89079ca88f313991eaefb2ea02c49b6c7b45c438c6f9e13b SHA512 94adf3fcec21de50451091a04ca17010f5e71b44e3dcd4e2d52b9f952b94ee0cf3f6df15657b761b0bda20eb47cbdc0cb2481bb440c7243442be34f913292246 DIST polymake-4.12-minimal.tar.bz2 7337552 BLAKE2B 4893be1f04ace2c4eb95ed01bc55e62e2187e10b5b10c1d274b2d4e771e1d863b2eb7adeb9a05b2f4c14466cdce1c0d223cfcf35c125d9989ab3825a88e46464 SHA512 127d4058148fdac05fb83a3ab893edfe5c0ab6865f9745d1e709396c23af9762574616f0466adcee59d35646d807621a090a41e8cc693b1fca1f5f6cd5d01054 -EBUILD polymake-4.11.ebuild 3937 BLAKE2B 4ee7a122367ae511e509d6b0427627de9fadfa3de983381790d01ae8fc1921ebba2447a76dbc1e32394cc1cd40887d9e77ff4cfb787ccc3eb0d27b169525fe33 SHA512 0a1e98506899ef16d949e841e417f4b548d346d76093592a9dfbb57bfef8af4e8a675765a1daa91edcb89b092ad8c0f969b6af8934b3782076f43e66592d656f -EBUILD polymake-4.12.ebuild 3899 BLAKE2B 8e1a103beaa199345c26fdb72ccfe2a65d28102b9cfb14e29a32accf6d3c5207d8c7a1e7cd3dc7d638db4da86fbfff2ffa2a09bd5721d6a966a9d2e3a3125b35 SHA512 e56a94680fc3650d4b6990e526c20c392259e77dc93d10f2d29d373169da60fdf4453da2817e416946487ab104bd0816215f41690312ceb6f1442df6a79e1131 +EBUILD polymake-4.11.ebuild 3921 BLAKE2B 6fb8ae61e88443c185c577fcb3888e5cc4d77c22d827c2f495a4c5b61f1af1165ee14b18fbedd920ce40b1fa4b13f407214519ef55328721a56f50b890e8d551 SHA512 38e33377dcb6e100bf918409a4f926b2597fa49fc4c6f1c6a04babad8c251d2e7eb9aac924f998e351908b72dbd7094b1aafb24b6d1e443ef2357daa69b5398f +EBUILD polymake-4.12.ebuild 3883 BLAKE2B 97b31bc41c763fe11e66268139f6ff0dfa4e35405321ee1496215dce9e2db77154ae12136e0f100cbdac5ea4d07b3752eedc6b692038d4f101470175201403a5 SHA512 71123c2077af486910b903112eca9ad4ff61f290b379d60a8914215ac355306b36d2bc147201dee09ee746696a35eaaf1ba6bff84643ea1bb73d9cd981157e1a MISC metadata.xml 1765 BLAKE2B 4e13dfb267c8100df81d8be89e7915ba850f55fea4256882264b13a0307c60cd8346ff46bf972018b334bf2d0dc387761244c1e0c3b8c7a1f4613a2a87458538 SHA512 7fd8af42bccc7710bd7c4159759b42ace43f638365a83defee96568e6ab4d6c186f49e71cbf68291fcd3b8b30fd7f883e8096c001c6bbf233d6f7336fa266f7c diff --git a/sci-mathematics/polymake/polymake-4.11.ebuild b/sci-mathematics/polymake/polymake-4.11.ebuild index 8c6be02dd591..afcd2acf56a5 100644 --- a/sci-mathematics/polymake/polymake-4.11.ebuild +++ b/sci-mathematics/polymake/polymake-4.11.ebuild @@ -18,7 +18,7 @@ HOMEPAGE="https://polymake.org/" # closer look at how (or even if) the corresponding code is being used. LICENSE="BSD GPL-2 GPL-2+ MIT WTFPL-2" SLOT="0" -KEYWORDS="amd64 ~riscv ~x86 ~amd64-linux ~x86-linux" +KEYWORDS="amd64 ~riscv ~amd64-linux" IUSE="bliss +cdd +flint +normaliz libpolymake lrs nauty ppl singular" REQUIRED_USE="^^ ( bliss nauty )" diff --git a/sci-mathematics/polymake/polymake-4.12.ebuild b/sci-mathematics/polymake/polymake-4.12.ebuild index a4232f80fa1b..1022ff12e0cc 100644 --- a/sci-mathematics/polymake/polymake-4.12.ebuild +++ b/sci-mathematics/polymake/polymake-4.12.ebuild @@ -18,7 +18,7 @@ SRC_URI="https://polymake.org/lib/exe/fetch.php/download/${P}-minimal.tar.bz2" # closer look at how (or even if) the corresponding code is being used. LICENSE="BSD GPL-2 GPL-2+ MIT WTFPL-2" SLOT="0" -KEYWORDS="~amd64 ~riscv ~x86 ~amd64-linux ~x86-linux" +KEYWORDS="~amd64 ~riscv ~amd64-linux" IUSE="bliss +cdd +flint +normaliz libpolymake lrs nauty ppl singular" REQUIRED_USE="^^ ( bliss nauty )" diff --git a/sci-mathematics/rw/Manifest b/sci-mathematics/rw/Manifest index 5d02d7dbd97c..a59310336d31 100644 --- a/sci-mathematics/rw/Manifest +++ b/sci-mathematics/rw/Manifest @@ -1,3 +1,3 @@ DIST rw-0.9.tar.gz 340385 BLAKE2B 2eba540146094eea7adb26874ed6f7982e46a863c786bf6f4a55af2d1d3167641e10c324f2b0e0e366bb8f83503b5da5fb02447abf46ae955da78ac8fe6149b6 SHA512 f4f1910506cbdb557ca50bac6f63cfca3271a5df8d13c67d2d9bba79b9cdb03196a679e6091554175decbee0871888de71bed5746662c9a75418f0f5dd9bd609 -EBUILD rw-0.9.ebuild 809 BLAKE2B f9749375aea40ef13f9195e81a3d1931980ca6ef07f4eb7a192b18c60652eaeeebcb9ffe6b7dfcb355c48417771934cea7615cf7ca8479b5c6378fee6eab196d SHA512 c4b4adafda7b0072bc7ad73db412ba84440aef6836986d3ec13b2480fa17793b35c2251f5a8e64c22f3e27532f093a614e23bb49f0e21c28d5c29de06657a53a +EBUILD rw-0.9.ebuild 808 BLAKE2B c83e9b7623e7df3480ed492a32dbae6a5fcb4edbecee1ddd11880fcf4a7ccf27567596c437dec54c9b1bee8103d8705b7e47c8a017d40036d7f43a0b6cdba0b7 SHA512 146be303e50da735b7bf60c9d53f2ba86470fe869cdb34a6599979c447074a16d802ed55caec16519ad3eb4d5e7b3d32e7ceca239746dec80344f1a5317a1955 MISC metadata.xml 1159 BLAKE2B b465be32d21f14659aac703a5080baa3c39f23e5610a15a5e9b29a9902888aec980c27e3281e395296140d00a73720cd213983f98562dff03bbb340aac18779b SHA512 6c476c17c8e42dec4b308c0deb4834a474cdd0ed3b663bdb2f257f23d9297ca721fccfd03697d4cbbacc1a3a78318c0639c333e078fc759b3e364d6703defbdb diff --git a/sci-mathematics/rw/rw-0.9.ebuild b/sci-mathematics/rw/rw-0.9.ebuild index da2e390db2ad..5f2e0b011c6a 100644 --- a/sci-mathematics/rw/rw-0.9.ebuild +++ b/sci-mathematics/rw/rw-0.9.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -9,8 +9,7 @@ SRC_URI="https://downloads.sourceforge.net/project/rankwidth/${P}.tar.gz" LICENSE="GPL-2+" SLOT="0" -KEYWORDS="amd64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos" -IUSE="" +KEYWORDS="amd64 ~riscv ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos" # We have a file collision (librw.so) with xpaint, bug 560210. RDEPEND="!media-gfx/xpaint" diff --git a/sci-mathematics/singular/Manifest b/sci-mathematics/singular/Manifest index 15cd94addd48..94af63c33d53 100644 --- a/sci-mathematics/singular/Manifest +++ b/sci-mathematics/singular/Manifest @@ -2,7 +2,7 @@ AUX 60singular-gentoo.el 298 BLAKE2B 5b42e2083037e2ff2ace5597ddebfb079920e09ed91 AUX singular-4.3.2_p16-lto.patch 825 BLAKE2B e5adfbb5febd9722330362815be23c49431a8953d17fb63669749971b8a0aba59f242a1ea17c5b06c5054146853e2f480eb74b91af4db80dac4c0101415275e7 SHA512 efd33048a125b8e3026583802ac5060947c2313c98cd4ba6046f2de62703a2923212b28a0f633ff801f58592b7deaef1f0f84c643f4131a0e672e12ff506008f AUX singular-4.3.2_p16-test-underlinking.patch 8292 BLAKE2B 9b63377bf203be189be2f4840f098f9b0ce72857030eb2ac8abc6d7f768b5c0e1fbc268c732b08811e8fdab77fd49c26463adadc764114dca23d4ca6eeac6225 SHA512 8fcccfdbb40904972a70ba11a3cc9f9d15852f370d842883d21a19bc7aea45feb7516037e49ff1396a9520e277d7c497c7394f339112332c6594b0205a1965c0 DIST singular-4.3.2p16.tar.gz 20880476 BLAKE2B ce226a6867b764e593ddbf2c71220d9ea14ccdfd956046d5a94dfb768a97927ca3cf961a9ea808cb77028f2c65d989032202d3a0bde555ace945df1e987077a8 SHA512 1dae0e229e124db03e5e240c3ab2f1049c9f77cf369f701c4a2d0767ba9c23baab2d5d14271e415a3ccbf7b9a9297fcf324b8ccc2841a5156d6ee846cb409de2 -DIST singular-4.4.0p2.tar.gz 20924020 BLAKE2B 0d663b830c37c96635303faeb14a55e0eff05bc378a3263cf83374893056b1c3175718f6b0870ac0c906a92eda59db0ca91a39a7b69a88d298a4a7993b9249d1 SHA512 df3faf025f30ab1c60460f661c4cec945a410311ca89d0756eafb57b430bb53ecec103b90ca91891fc7b1e720938a8259a9b256b6acd322c021c33e628b6654b +DIST singular-4.4.0p6.tar.gz 21097819 BLAKE2B ce78f63b2f90113ba92811a1e02b568328a92dc686d86fa653209c127f8895811e87ca4684dd1df5c2a54e8952cb1b0654055653e4b4734d9729a7de6f6faaa9 SHA512 b88e60f5665cfab7ccb5a2620190d08c1538f876cce24a24c7baddec40554fd0093cc47db89758f0bbf24f7ca298849a9fe700ce2070c8c52861d3bd48d2cc0d EBUILD singular-4.3.2_p16-r1.ebuild 2630 BLAKE2B abd50d631f7407043c5fc6a8748fb798a3548c643c5b88bf1303fa63a3da36753668cd9d8293a6659c52664d3c0e33fee5f90221ec56404a49c0f5514bf7602e SHA512 56f62d3035e33937f641e4242063f6176ab6cc4391f0575240ce06591fbb40f51efdcbd60c19be68c84fe2d2dc9295233613158e7be8f81020cf0622506bd654 -EBUILD singular-4.4.0_p2.ebuild 2493 BLAKE2B 3622d734ba8416853ec924a4002f6678056ddaaab72ee78de01fcb44b51737e74c3a4db2d182ee579366b3c28e0861cc558693a3c19fa0e648a5e284763ddc8e SHA512 40ac5cc03a036799ddbd15914f847423da2f5b5a855425a55a3ba83bace669ca814c9f7440fe90797865b2fb96f4815135ed83d4551b80456ca41511cc89262f +EBUILD singular-4.4.0_p6.ebuild 2493 BLAKE2B 3622d734ba8416853ec924a4002f6678056ddaaab72ee78de01fcb44b51737e74c3a4db2d182ee579366b3c28e0861cc558693a3c19fa0e648a5e284763ddc8e SHA512 40ac5cc03a036799ddbd15914f847423da2f5b5a855425a55a3ba83bace669ca814c9f7440fe90797865b2fb96f4815135ed83d4551b80456ca41511cc89262f MISC metadata.xml 862 BLAKE2B a6e991149cb925158806177b1b4a76da2b747b3273b395c14455993a99f4cf83de141980303a068b9068983b8adf4da884b81e80546a3d2dd162f188dc759385 SHA512 9e40cf7b3841bcf8289f24903e392df2a812b6d815f71da41d95a81bb89f493ab1afcef749ef47960ba683dc3433d2c4488015990806dde0b560ffe3bb6ca545 diff --git a/sci-mathematics/singular/singular-4.4.0_p2.ebuild b/sci-mathematics/singular/singular-4.4.0_p6.ebuild index 7cadc4a9aeac..7cadc4a9aeac 100644 --- a/sci-mathematics/singular/singular-4.4.0_p2.ebuild +++ b/sci-mathematics/singular/singular-4.4.0_p6.ebuild diff --git a/sci-mathematics/smtinterpol/Manifest b/sci-mathematics/smtinterpol/Manifest index 46ba5733539d..31190f15b146 100644 --- a/sci-mathematics/smtinterpol/Manifest +++ b/sci-mathematics/smtinterpol/Manifest @@ -1,6 +1,5 @@ AUX smtinterpol-Version.template-version.patch 468 BLAKE2B 38fb0d6e26949f0e56a13ba41a440018e08409bc7527c4241f7c2d1a1824d727aa79f00dc45a854cbcf457caeceb032ec94ffa026234117073de011c89e94ccc SHA512 035dd014bc899f1694523dca5c59e2e80c510b77d3184ba38ec6c01439a555322e2fa3b9f2c8246656fe981685b49eef6370624cc55646222cb13fadf5569e0d AUX smtinterpol-build.xml-basename.patch 527 BLAKE2B 41e72630f9d8502f00fe79261e9a45d812fad310ccd3ae45205dc0245abbaa5113824ec4fae1de814b8a98f6bc154de21bbfeeda76d514224320545b5680d0d8 SHA512 6a327c27aa661468619b0b94eab84ab894bd5a7d96ab5ac8c50d1ea4cf1286397a6a2b662fa7a352c6f61d1dcc7d51fbf4a7c7c083070e3625877b49831b790c DIST smtinterpol-2.5_p20211018.tar.gz 10676726 BLAKE2B 27bed1f707241416f71d10ae33c39b7fe638b9650a26f3237409722a8782af3b09890dce9acf30ab2d0412cfbe94f57684850c51e486d3d7f7dddd8025021c8d SHA512 8630ae5f9cf3fdcbceffeeb1f199c2e21e27d0348d3aec5a7062ee5eb942c640661ae58603f273881f30f24630a92b041ea867086ce6d0a2eab5fdd924eb01c3 -EBUILD smtinterpol-2.5_p20211018-r1.ebuild 985 BLAKE2B 4b1823be28d8743af7c9ee1bea76aadf05df58b760743b8df4377f7a6fd97a17a591d39e5b874beb4a97f8049496b5bafbc0bd8dcc660c02f9f48ce4b01be5c8 SHA512 361a73a7262bf7be8b720397344a19892e9af07a78120144f778983189a358d72040da2480c142f7e6d7992c0dcaae2e92b708bce676fb33a12751c40949e395 -EBUILD smtinterpol-2.5_p20211018.ebuild 944 BLAKE2B 1941ae5f0b1c35b15d8248fcc1d6dcd953aa3e8426fd8cce299b7eb553e708e83c7a13d9845647c035b42da499477dde6f423e5f3afd0f85df5aefa7dc8aeb3d SHA512 f5bfe96669c19f2b70c7150ad8e1114afe4cc9c52c51e6ac6946ebdccca7492f52fe21631774e857938d798d691265f61ca021406c79673723085c5932eff183 +EBUILD smtinterpol-2.5_p20211018-r1.ebuild 979 BLAKE2B 28e3f1f71b0ba9ced332070853e9017e8b08a2e7979b44f9ee87a67880560e03e7d011c6f69328f520f2474483c344137c4f39545e6023caa762e267bd7215a8 SHA512 e9cc58a44df7037b67f989b9b48c18f446e5609da600e7ed40e229fb5850e0a3304880363b03fbb6b3414463f362755ab3f42ca8d1d1fef7533443a9651dc30e MISC metadata.xml 443 BLAKE2B a49ab13ae830d7e212d85005e32f535d7a13d60ca39d28a0534b2f3dbd779b0afb39918649c903ad698c02b755e1d80e6dd928cbd6d1c045c0bfd514b7a51eaa SHA512 52ea501a323d32e118edd1e82217a6c92432fef5ccce7fdfa78023e0ef2aa76a8c66a274524be18aa39d26c547c00a5035c3998a74f81e6ba73d1c1458e33e36 diff --git a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018-r1.ebuild b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018-r1.ebuild index 05a73e04d6b8..dd05e811d86f 100644 --- a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018-r1.ebuild +++ b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018-r1.ebuild @@ -16,7 +16,7 @@ S="${WORKDIR}"/${PN}-${COMMIT} LICENSE="LGPL-3" SLOT="0" -KEYWORDS="~amd64 ~x86" +KEYWORDS="amd64" BDEPEND=">=dev-java/ant-1.10.14-r3:0" RDEPEND=">=virtual/jre-1.8:*" diff --git a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild deleted file mode 100644 index dc297a1f0de8..000000000000 --- a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild +++ /dev/null @@ -1,43 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -[[ ${PV} == *_p20211018 ]] && COMMIT=32d7fa8751f668f9e9a18e4e96df3337b53d2150 - -inherit java-pkg-2 java-ant-2 - -DESCRIPTION="Interpolating SMT-solver computing Craig interpolants for various theories" -HOMEPAGE="http://ultimate.informatik.uni-freiburg.de/smtinterpol/ - https://github.com/ultimate-pa/smtinterpol/" -SRC_URI="https://github.com/ultimate-pa/${PN}/archive/${COMMIT}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}"/${PN}-${COMMIT} - -LICENSE="LGPL-3" -SLOT="0" -KEYWORDS="amd64 ~x86" - -RDEPEND=">=virtual/jre-1.8" -DEPEND=">=virtual/jdk-1.8" - -PATCHES=( - "${FILESDIR}"/${PN}-Version.template-version.patch - "${FILESDIR}"/${PN}-build.xml-basename.patch -) - -src_prepare() { - default - java-pkg-2_src_prepare -} - -src_compile() { - eant all -} - -src_install() { - java-pkg_dojar dist/*.jar - java-pkg_dolauncher ${PN} --jar ${PN}.jar - - einstalldocs -} diff --git a/sci-mathematics/sympow/Manifest b/sci-mathematics/sympow/Manifest index 7b9975973d4e..96883d4c599d 100644 --- a/sci-mathematics/sympow/Manifest +++ b/sci-mathematics/sympow/Manifest @@ -1,5 +1,9 @@ AUX sympow-2.023.6-dont-force-O3.patch 2145 BLAKE2B 711d252e625690400ee7215f9f8d4e7c695945101d2114e18259d1c852795de9803f0b0866b37a6c99346ef3a398f45f6ee41fee949eb8aa8b5ae75042dc46d4 SHA512 6a60fb9f44867d2ba6aa33cfc34d6db7616da62a2d9c8a4ba1881459790c8760f162d0084b2d254938e8b5374fd929ca7f3a827312e76002587796ea516fbe6b AUX sympow-2.023.6-no-pkgdatafilesbindir-warnings.patch 2289 BLAKE2B 845125575e201767360ebe38ecbf321a254d01d5eadfeee4d36e7c350e939804d7726299d33de0c564f455b5a559c05542f0da5d54e6bcceb22c02907ec0599a SHA512 a5840039ff0bf6c99cd6ef5609bb46aeff48858a57a253e051a04b180839a0f8b36480fffee10e22ef76672073b08ca58a399cb078a477aa447bbbc0c05dd6cf +AUX sympow-2.023.7-more-cflag-care.patch 2094 BLAKE2B 00f5d65d7f7e510a99e9e9c0e147762589532833d09eff69ad930830ca433f4fa53b44e2792003037023fa1fb28aaee5824faac91aace74dc7ac32a7e887787f SHA512 d082d8da9737077b93203e9a10faf97b5d7007506b9bd33725646c9febcceebb940ef3a82c4cfe621f493dfce3c4519f6320eb1cf2f729dc705e50ded2688c08 +AUX sympow-2.023.7-no-which.patch 2764 BLAKE2B 53c49fd912cdcbdec8671b19f0e052fde3eec9ec216efe13bc92d7466524c1d77b322216819c6aeae35ce44a4c193f017a3c86fb16c2c86be6300011cf556867 SHA512 d3ccccf8b16bbcbf74b69cdf1adea5932c280a1c330dba004e63dd4cc19f9d4a2fe9ae16dfaa5ffb8a8b41e21c367efb95ef57fecfa14dd37d50364b8352e8b1 DIST sympow-v2.023.6.tar.gz 68142 BLAKE2B accff25cb1da5b6935a91179fa399d76148709be54bbd434c0dc6143e88e9cd0f0a3cd96c683da3214366a29d6d0dbb7236d2623ef3f9322b6d4d54c6bad9882 SHA512 efe3b09fff0629e136b029ea615aa09ac1a4f225c06636d653ac921c7de01bf75e2b392a138c3c1af92f2b4f889f5949beeeba5b6e5e6b49e02c605bb9c16ceb -EBUILD sympow-2.023.6.ebuild 1071 BLAKE2B f535e2beb531d6701be16eff04f20cf73d24ca4443f8b8ba3d886e9aed49770a2dc3a2bbbd04a819ac5059cbca1732d32a20d8e0cb027be5130db9cc817591fb SHA512 f3b674275e559814c785abbce90c64a68b558cf8738f8870bf850fd574c05f1c6c2b2e1ca6223d0d657f1c7c06d783b07e114330a450e5bcb8fa849eaba2b850 +DIST sympow-v2.023.7.tar.bz2 61652 BLAKE2B 1800ec8ae3f95e24c4bfe097d13586f0bb781cef15e41539c3cb67f85ad9830c38a9bde8ae3290c6696332e55f698fc153f96575561979be2264baa6857af9ec SHA512 7df4a038aa69acc989ef07085462ed2efb848b95c4515871809033a02ae649936eda83d68cac83366466d597b370b963eb14d1f1c8389fa0089d0063e299955f +EBUILD sympow-2.023.6.ebuild 1060 BLAKE2B d8f185de5bda0fd85b41aca210e1bc5f762ac56c76c5eab30e45c857661fea3d5c778758535ca3864e9048898b740a3bc9c85a0111af0f6733859982465f078f SHA512 3b79bb81ba2c985a2e2208a7306d17d4aa3a3a49be40b42cfa9b3ab7717a06d64c06752e1e80686f5bc436b5beaf486104fc70ad250776595327e62fb5708477 +EBUILD sympow-2.023.7.ebuild 1159 BLAKE2B 5b88f08e6fb81b03a3b1c25a9dc0e3547320c221f2a05b0fc1490e49838e852ba1c8e9663446a5783ed7a5f04def628fe122401b4c940a2d92c4220c0d6ee754 SHA512 b4bd1e4aef03938c21988751f8f1a273008cce675600c3a6cce4ae0bede71db95cb03b9a8bcbf3fd19d6ca4126f8ee3edc32fc3517255ef2e984784d47d508a7 MISC metadata.xml 771 BLAKE2B d98ac3ebc10b3e0dd9a62bc357e6499e4f1922626d1b7e677a71a33712cc64577aa384a6bdc64c7dcba053dfd3d510b9be99df737316e2dd6fb7ca34de5ea280 SHA512 5eed691be8f8a0d76a96ec60dcfffe3bcc345587eafc4c7bfb51a598ca6f4820b189ad47851b50e038baa01dc8ef152dde1c2ff837b640a1cd22d5fdabbb6cbb diff --git a/sci-mathematics/sympow/files/sympow-2.023.7-more-cflag-care.patch b/sci-mathematics/sympow/files/sympow-2.023.7-more-cflag-care.patch new file mode 100644 index 000000000000..13d550f4e7d5 --- /dev/null +++ b/sci-mathematics/sympow/files/sympow-2.023.7-more-cflag-care.patch @@ -0,0 +1,53 @@ +From b59b1fd567007d2565b708426c83221189c6d939 Mon Sep 17 00:00:00 2001 +From: Michael Orlitzky <michael@orlitzky.com> +Date: Sun, 3 Nov 2024 21:22:32 -0500 +Subject: [PATCH] Configure: fix "last resort" flag logic + +Towards the end of ./Configure, there is a "last resort" attempt to +add -ffloat-store and -O0 to the user's CFLAGS to make the program +config/fpubits succeed. But the logic is wrong: the try_add_CFLAG() +function always appends the given flag to CFLAGS, even if it builds a +broken config/fpubits with it. If config/fpubits is failing for some +other reason (like on a non-x86 architecture), the end result is that +both -ffloat-store and -O0 will be added to the user's CFLAGS, even +though they don't help. + +To fix this, the loop has been rewritten to attempt -ffloat-store +only, and to revert the user's CFLAGS afterwards if adding that flag +did not materially improve the situation. The -O0 flag is no longer +tried because it should have no effect on the number of FPU bits. +--- + Configure | 17 +++++++++++------ + 1 file changed, 11 insertions(+), 6 deletions(-) + +diff --git a/Configure b/Configure +index 066d415..0733d88 100755 +--- a/Configure ++++ b/Configure +@@ -148,12 +148,17 @@ for FLAG in '-DISOC99_FENV' '-DFPUCONTROLH' '-Dx86'; do + try_add_CFLAG $FLAG && break + done + +-# Some flags to try as last resort. These hurt performance, so only add +-# them if needed. +-for FLAG in '' '-ffloat-store' '-O0'; do +- # Stop the loop if the FPU precision already is 53 bits +- try_add_CFLAG $FLAG && break +-done ++# Try to add -ffloat-store as a last resort, but only retain it if it ++# makes config/fpubits succeed. We run try_add_CFLAG() once beforehand ++# with no additional flags in case the last call to it resulted in a ++# broken config/fpubits. ++try_add_CFLAG '' ++if ! config/fpubits; then ++ _SAVED_CFLAGS="${CFLAGS}" ++ if ! try_add_CFLAG -ffloat-store; then ++ CFLAGS="${_SAVED_CFLAGS}" ++ fi ++fi + + # Check the actual FPU precision with our new flags. + CC_ARGS="$ORIGINALCFLAGS -O3 $CFLAGS config/fpubits1.c config/fpubits2.c fpu.c -o config/fpubits" +-- +2.47.0 + diff --git a/sci-mathematics/sympow/files/sympow-2.023.7-no-which.patch b/sci-mathematics/sympow/files/sympow-2.023.7-no-which.patch new file mode 100644 index 000000000000..be8b128d8f05 --- /dev/null +++ b/sci-mathematics/sympow/files/sympow-2.023.7-no-which.patch @@ -0,0 +1,89 @@ +From 4bbc2ec941fcca8525af30964e8683498b65de62 Mon Sep 17 00:00:00 2001 +From: Michael Orlitzky <michael@orlitzky.com> +Date: Sun, 3 Nov 2024 20:32:28 -0500 +Subject: [PATCH 1/2] Configure: replace `which foo` by $(command -v foo) + +The POSIX "command -v" is a more portable way to get the path to an +executable than "which". The latter is non-standard and typically +requires an extra package to be installed. Similarly, $(bar) is a +superior alternative to `bar`. Unless you have a shell from the 1980s, +both are portable, but the $() syntax is much more amenable to nesting +and quoting. + +References: + + * https://pubs.opengroup.org/onlinepubs/9799919799.2024edition/utilities/command.html + * http://mywiki.wooledge.org/BashFAQ/082 +--- + Configure | 16 ++++++++-------- + 1 file changed, 8 insertions(+), 8 deletions(-) + +diff --git a/Configure b/Configure +index 53b556e..a08fe08 100755 +--- a/Configure ++++ b/Configure +@@ -12,7 +12,7 @@ VARPREFIX=${VARPREFIX:-"/var"} + + FILE="Makefile.new" + CONFIG="config.h" +-RM=`which \rm` ++RM=$(command -v rm) + if [ -z "$RM" ]; + then + echo "**ERROR**: Could not find rm"; exit; +@@ -25,19 +25,19 @@ echo "#define VARPREFIX \"$VARPREFIX\"" >> $CONFIG + echo "#define VERSION \"$VERSION\"" >> $CONFIG + echo "VERSION = $VERSION" >> $FILE + +-GREP=`which \grep` ++GREP=$(command -v grep) + if [ -z "$GREP" ]; + then + echo "*WARNING*: Could not find grep --- will not be able to build new_data" + fi + +-GP=`which \gp` ++GP=$(command -v gp) + if [ -z "$GP" ]; + then + echo "*WARNING*: Could not find gp --- will not be able to build new_data" + fi + +-SED=`which \sed` && echo "SED = $SED" >> $FILE ++SED=$(command -v sed) && echo "SED = $SED" >> $FILE + if [ -z "$SED" ]; + then + echo "*WARNING*: Could not find sed --- will not be able to build new_data" +@@ -75,7 +75,7 @@ export CC + ##echo "**ERROR**: Could not find uname"; exit; + ##fi + +-HELP2MAN=`which \help2man` && echo "HELP2MAN = $HELP2MAN" >> $FILE ++HELP2MAN=$(command -v help2man) && echo "HELP2MAN = $HELP2MAN" >> $FILE + if [ -z "$HELP2MAN" ]; + then + echo "**ERROR**: Could not find help2man"; exit; +@@ -284,17 +284,17 @@ df="datafiles" + echo "DATAFILES = $df/*M.txt $df/*S.txt $df/param_data" >> $FILE + + echo "RM = $RM" >> $FILE +-CP=`which \cp` && echo "CP = $CP" >> $FILE ++CP=$(command -v cp) && echo "CP = $CP" >> $FILE + if [ -z "$CP" ]; + then + echo "**ERROR**: Could not find cp"; exit; + fi +-MKDIR=`which \mkdir` && echo "MKDIR = $MKDIR" >> $FILE ++MKDIR=$(command -v mkdir) && echo "MKDIR = $MKDIR" >> $FILE + if [ -z "$MKDIR" ]; + then + echo "**ERROR**: Could not find mkdir"; exit; + fi +-TOUCH=`which \touch` && echo "TOUCH = $TOUCH" >> $FILE ++TOUCH=$(command -v touch) && echo "TOUCH = $TOUCH" >> $FILE + if [ -z "$TOUCH" ]; + then + echo "**ERROR**: Could not find touch"; exit; +-- +2.47.0 + diff --git a/sci-mathematics/sympow/sympow-2.023.6.ebuild b/sci-mathematics/sympow/sympow-2.023.6.ebuild index 1c69175f15e0..656b21a6fe82 100644 --- a/sci-mathematics/sympow/sympow-2.023.6.ebuild +++ b/sci-mathematics/sympow/sympow-2.023.6.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2020 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -12,13 +12,11 @@ S="${WORKDIR}/${PN}-v${PV}" LICENSE="Sympow-BSD" SLOT="0" -KEYWORDS="amd64" -IUSE="" +KEYWORDS="amd64 ~riscv" # Pari is used at build time to generate data. BDEPEND="sys-apps/help2man sci-mathematics/pari" -DEPEND="" RDEPEND="sci-mathematics/pari" PATCHES=( diff --git a/sci-mathematics/sympow/sympow-2.023.7.ebuild b/sci-mathematics/sympow/sympow-2.023.7.ebuild new file mode 100644 index 000000000000..7d05aedd6f50 --- /dev/null +++ b/sci-mathematics/sympow/sympow-2.023.7.ebuild @@ -0,0 +1,45 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit toolchain-funcs + +DESCRIPTION="Symmetric power elliptic curve L-functions" +HOMEPAGE="https://gitlab.com/rezozer/forks/sympow/" +SRC_URI="https://gitlab.com/rezozer/forks/sympow/-/archive/v${PV}/${PN}-v${PV}.tar.bz2" +S="${WORKDIR}/${PN}-v${PV}" + +LICENSE="Sympow-BSD" +SLOT="0" +KEYWORDS="~amd64 ~riscv" + +# Pari is used at build time to generate data. +BDEPEND="sys-apps/help2man + sci-mathematics/pari" +RDEPEND="sci-mathematics/pari" + +PATCHES=( + "${FILESDIR}/sympow-2.023.6-dont-force-O3.patch" + "${FILESDIR}/sympow-2.023.6-no-pkgdatafilesbindir-warnings.patch" + "${FILESDIR}/${P}-no-which.patch" + "${FILESDIR}/${P}-more-cflag-care.patch" +) + +DOCS=( HISTORY README.md ) + +src_configure() { + export ADDBINPATH=yes + export PREFIX="${EPREFIX}/usr" + + # This location still won't be writable, but we can at least add + # the EPREFIX that belongs there. Sympow uses $HOME/.sympow as a + # fallback (what we want) when its first attempt doesn't work. + export VARPREFIX="${EPREFIX}/var" + + ./Configure || die +} + +src_compile() { + emake CC="$(tc-getCC)" all +} diff --git a/sci-mathematics/twelf/Manifest b/sci-mathematics/twelf/Manifest index fcb0c8796695..c452d44c10e9 100644 --- a/sci-mathematics/twelf/Manifest +++ b/sci-mathematics/twelf/Manifest @@ -11,5 +11,5 @@ AUX twelf-1.7.1-mlton-20180207.patch 310 BLAKE2B b372c7ca65b4bb12983d84e590d4e30 AUX twelf-1.7.1-mlton-mlb.patch 11244 BLAKE2B e07adfd1520179a8ca3c292638689c8cc344b8d01ebcf2ba9f668cbf2afa5b5132a88d0521ca4123a9165d8fea49cdbab20b48b791bd3e78610d54b534e9e596 SHA512 2d0f42399e444cbb736f38ad7bdc54f51322c17c010b273c365d9db9a1e6c045c19b872d4b5c1e50444559a981aa5569764ac859c7702c116c97c935fd959bfd AUX twelf-1.7.1-remove-svnversion.patch 241 BLAKE2B f92db57c82d31fae8518d0a3947fd0ebf24ab06aa51fbf0e3a2b271eb30583904d5487f3f4b2605d5ca168f78ca7eed0fdcb4473604c4ae83a2807416341c99b SHA512 07bb5f88580dcb6ae722d7af98c58c96453871f8ce6eb107fbedafc6939a0d8871e3820e933cdc90aa6ca17d8909717f607e3819c34f5f852b7606a7680e7462 DIST twelf-src-1.7.1.tar.gz 1147610 BLAKE2B 9fbb3c5a4823845a0c721112744330658be0e68784ef209a3d17fb72874ef50d7dbb434a7104704a5540f2f0bc30727bfe1ff602f986570f944454e77c24609d SHA512 1b4baa0f385b6b605583a9da312f23c775aab43e7398c6e151833a6b95c74112492530f44fcb7b14f8288774e9b63e2f9618a5debfbc4d34737bc2588f5850df -EBUILD twelf-1.7.1-r2.ebuild 2717 BLAKE2B 03351db21a04ed6555f7dd9b559d29ad03a10451a29740e92877d447c45da8baefc19256b8b8e0c98b7149dcde41cea25900249086fb460d955b75a5f0f9ef84 SHA512 2188bdc4a8299a0fd4dea45f3a3c9565ec2c546f7c895898190df7dd05545ca143658d6f4a5ec3bcdf4c5d4db6813e6f5a666da2b9f9ca50e320aad94b8ab73a -MISC metadata.xml 373 BLAKE2B 850c000dae8d5cdd0725b5a998d7e3920c479af1a9afd5cb01874a7551bbcd8fff6a32fa50b74aa315a9cb3bd9471841def5874f528002f124e273e0b06b5c7e SHA512 0bd1b4a19e53f141a0c83a0a97a6d291b43da9fd6158ec869691c99d3efe7cc9179d214ef01ee04b60b51256be9d2f1d2b393978a9e55d06555655332f67fa8e +EBUILD twelf-1.7.1-r2.ebuild 2972 BLAKE2B dc7703eea09e460af089e2a3a1b4782acd4e592d1ce6fda49eb372c6a16130898a617d92339e85ea8fabb7bc5368b8ef92053cb362df07efb96ce991cb598776 SHA512 079fa00a4a3c6a5b3f5cd659d19fa6de017a823460b4711e594371fe6b69afbc0a2800f5b44a47365232e7052c01729f65f909aa3cbcf0dba7f60bf538a85905 +MISC metadata.xml 458 BLAKE2B aa7ab9c9f6e70163558b1802a4950663f61cdf8b5cbbf78b5be65ee028594314cdd336bb9f4d5b5d1fd06bf54110e4bf6c0f8b574322f9c5aff9975eedd5467d SHA512 545a0f35e20a33da4f344e170cc17ab306f3bb3bb4160ba8721736ae8f50070c0e5cabe31fd9c06d3d538efe9976ff592d0827bf775f4c6c2d45c78490825ea3 diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml index d4994fb246a4..938124fd245e 100644 --- a/sci-mathematics/twelf/metadata.xml +++ b/sci-mathematics/twelf/metadata.xml @@ -7,4 +7,7 @@ logic programming and for the formalization of programming language theory. </longdescription> + <upstream> + <remote-id type="github">standardml/twelf</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild index 0a7237065277..1fc16b00baa4 100644 --- a/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild +++ b/sci-mathematics/twelf/twelf-1.7.1-r2.ebuild @@ -1,16 +1,16 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI="8" -inherit elisp-common +inherit elisp-common flag-o-matic MY_PN="${PN}-src" MY_P="${MY_PN}-${PV}" DESCRIPTION="Implementation of the logical framework LF" -HOMEPAGE="http://twelf.org/" -SRC_URI="http://twelf.plparty.org/releases/${MY_P}.tar.gz" +HOMEPAGE="https://twelf.org/" +SRC_URI="https://github.com/standardml/twelf/releases/download/v${PV}/${MY_P}.tar.gz" SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" @@ -59,6 +59,12 @@ src_prepare() { } src_compile() { + # relocation R_X86_64_32 against hidden symbol `globalCPointer' can not be used when making a PIE object + # https://bugs.gentoo.org/863266 + # + # The software is unmaintained and disables bug reports. + filter-lto + emake mlton CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS} -fno-PIE" if use emacs ; then pushd "${S}/emacs" || die "Could change directory to emacs" diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest index 98e6460d38b6..8dcef7cb9ae7 100644 --- a/sci-mathematics/vampire/Manifest +++ b/sci-mathematics/vampire/Manifest @@ -1,3 +1,5 @@ DIST vampire-4.8-casc2023.tar.gz 1527236 BLAKE2B fb6ce26bb31996529e2b4d76173a1cb8d2c796aa6a5a2581515c516b5f07e9d4efc6040db1ac7f65388d723ee5080d62fb9c2b6ec88f58babd892fd96c0bf0ba SHA512 d6349ab23a289101a0d9f3caa5190df065dfbbe4e2e999e7d5b97ff738c8355b35848d93423ec3a0b0f88d4ac806173493f9a2de4e31945bb09c500c64eb5028 +DIST vampire-4.9-casc2023.tar.gz 1502934 BLAKE2B 399ca20578d30e6cca74e7e46a97d87975ebcc9cd18e61fc125b99eec008a46df7e12b8e3c5e448f1e112429a8f79d7d7b9866811d2cce1c523bd0fb322278c4 SHA512 f37ca777da8dad719e3072d6c0ff31b67152ed699a1f21ccb5f004398d6472ab8105f16bfd21ec8a42cf65f8aca4a197e9c4557724e2d1a38bed291b2c5aeef3 EBUILD vampire-4.8.ebuild 1424 BLAKE2B 024de9192ad510aff6d79b79bbd41593ae5916efb012cae57df3425202dc9b4e971316d8774160c33ce81a3c1704d3bf2e6f647cd46be449c0266693d6397bb2 SHA512 c1a15a86f129361758303d0b834542b0cd6405574a2a7a611821bcade52929f06aef0f43fec1af5a3b0320651c8e06a51d4ff2e527a6b90eb1b0fa6559034eda +EBUILD vampire-4.9.ebuild 1431 BLAKE2B 342fe7b4a0d5a82d3f433ad028fd8547252a82dc76e75ea823c7f3ac19128807124fbf17e023c96312e634f98504f516f21e90391251c0e79abfdb525d61c76b SHA512 37224e74ae2769e0e3f24b040e4fb8270577b8855df1a29e8781dfffa13411b3e594b80576aebc2647ba1a09466cbfc4f850df4d3b7d38e52040b178196ddda6 MISC metadata.xml 1020 BLAKE2B 6e798243e207d09fac240c73cda8918b300706a19d53918b3ce78e847146ad3676a39d9be8e020b678c20d7fe02da0eab57519ea2c5841eeeea0b8a680045928 SHA512 dc82a586070c97db278ef17a24384436548b2a968d18ead7d148f654bab4ad846e685ac2ae2f7db8048b25115b673bcf8223fa2813b370f9d6b6ac01dcf9040e diff --git a/sci-mathematics/vampire/vampire-4.9.ebuild b/sci-mathematics/vampire/vampire-4.9.ebuild new file mode 100644 index 000000000000..523053c44f97 --- /dev/null +++ b/sci-mathematics/vampire/vampire-4.9.ebuild @@ -0,0 +1,63 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit flag-o-matic cmake + +DESCRIPTION="The Vampire Prover, theorem prover for first-order logic" +HOMEPAGE="https://vprover.github.io/ + https://github.com/vprover/vampire/" + +if [[ ${PV} == *9999* ]] ; then + inherit git-r3 + EGIT_REPO_URI="https://github.com/vprover/${PN}.git" + EGIT_SUBMODULES=() +else + # v4.9casc2024 - "This is the 4.9 version submitted to CASC in 2024." + SRC_URI="https://github.com/vprover/${PN}/archive/v${PV}casc2024.tar.gz + -> ${P}-casc2023.tar.gz" + S="${WORKDIR}/${PN}-${PV}casc2024" + + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="BSD" +SLOT="0/${PV}" +IUSE="debug +z3" +# debug mode needs to be enabled for tests +# https://github.com/vprover/vampire/blob/8197e1d2d86a0b276b5fcb6c02d8122f66b7277e/CMakeLists.txt#L38 +RESTRICT="!debug? ( test )" + +RDEPEND=" + z3? ( + dev-libs/gmp:= + >=sci-mathematics/z3-4.11.2:= + ) +" +DEPEND=" + ${RDEPEND} +" + +src_configure() { + # -Werror=strict-aliasing warnings, bug #863269 + filter-lto + append-flags -fno-strict-aliasing + + local CMAKE_BUILD_TYPE=$(usex debug Debug Release) + + local -a mycmakeargs=( + -DZ3_DIR=$(usex z3 "/usr/$(get_libdir)/cmake/z3/" "") + ) + cmake_src_configure +} + +src_install() { + local bin_name=$(find "${BUILD_DIR}"/bin/ -type f -name "${PN}*") + + exeinto /usr/bin + doexe "${bin_name}" + dosym $(basename "${bin_name}") "/usr/bin/${PN}" + + einstalldocs +} diff --git a/sci-mathematics/wxmaxima/Manifest b/sci-mathematics/wxmaxima/Manifest index 85e3b6070c25..1820ff178b3e 100644 --- a/sci-mathematics/wxmaxima/Manifest +++ b/sci-mathematics/wxmaxima/Manifest @@ -1,7 +1,7 @@ DIST wxmaxima-24.02.1.tar.gz 17048739 BLAKE2B 207365951d911d160c55c9e10308b2645129082d0ce72c1b4a2ad8e6d5d0469beb4f8faeb8c48965bfa1c4df8f4ecb7ace8f0f9a5193f0bbc4d002437bc8fe77 SHA512 f16b4c974e0bb3d2454465498fae09d3995278a4ac1f1f8c756716bcf5e560925c115259e6540b57a08910b65e897fba896be7f527ed80ba4e3cb7c4863ca6cc -DIST wxmaxima-24.02.2.tar.gz 16844499 BLAKE2B b7edd01771450ba4c668f45a6ee2fae9b470e6da90a383d24b3f473a2fea744de5bdb4c6702b23d5fd9abb869ba1e917016da485c064311c1167adec853b3fdd SHA512 012becedd9668de042596bbe81628962e91d5d0dba876d7195dc3bf00075ac7cc680e8dfa6fd5613077ae01bd5532eb2dc5401e6a1f0603612fef5dc0ed014cf DIST wxmaxima-24.05.0.tar.gz 16824007 BLAKE2B b6d6db89c20b76713c19b810d24571d6ded3937573ef72f8c8a73cdf870e164da6916b602f4e6970e6094eb1c4e575de62f06a20f14ee75679c70cff6a6629cb SHA512 62a5911220fc1a9403ca3af11110b9043cffcf0b3a1ef6e6a87f74e63de6a00e2bf809db1a05fe2b5bc40da155746c05d68ff247c424c63a6bd6724b5fe12be9 +DIST wxmaxima-24.08.0.tar.gz 15868393 BLAKE2B 45aa10b0d1844c988110afdf23516e68e33ff2d482aaae4d560b62dc349976963515113073b58e3610ee376664a3bc7d6401a8d67c59ad6ef6a9f603e901d9f0 SHA512 2e0a46c9cedc938cfa9deb444b9f3f222c2f49db762b617deba0ee67710454e5cecb1611bfac64385b4161724a1356eae57fd433e5c44486df799d3675dcd8c4 EBUILD wxmaxima-24.02.1.ebuild 1934 BLAKE2B b4b9d2f37822b9dd7a358b085e8e327293889e8ffedbd8ccd0f855cd99dea9d5e8a2f4ca30ef00e56893b6052bb5cf44a7b656ae6bf6fd1a7a4d14041242b190 SHA512 1a2813338fda14341d36b2c82bb8f4b6f7c784f0f2329f2f6f970cab3b65f13e0a73bd9f0f587622992a5eb6d4bad8de475637a83a0bb2689b699f66d8703359 -EBUILD wxmaxima-24.02.2.ebuild 1935 BLAKE2B 768019824dd54461801bb8eb14ba3bec3048b74a1dea3a6124a9de4b3ac0ce8e2b7149ca5a0dbbf2211306cf0b449660d2a196363d5d6b56b76dc5930721ab61 SHA512 3d0a06eb2ff245f15528978f33081c62d69d381890cb6a103c2090f50961c23a2784a6db67e3e7a880b710148afed1574c9e98b30d93fcfc24111c7e410c11b5 EBUILD wxmaxima-24.05.0.ebuild 1936 BLAKE2B 1e4a9209fb67751e049a8da11dd78dec5b98b95b715f8300ee5dca89302b09da760bbd79226748a7988250991dc5d60c65e9e4da9eb9c640caf91320bdf7074d SHA512 b3410d275e2d5dec5c1f8f8199210ef9b2216e37cba923671f191a5c1fcde265c46a7b7e66161341a328dc41cbe5da8d838d6ef5c7dba7f041b5b6ca4ccc6c9d +EBUILD wxmaxima-24.08.0.ebuild 1936 BLAKE2B 1e4a9209fb67751e049a8da11dd78dec5b98b95b715f8300ee5dca89302b09da760bbd79226748a7988250991dc5d60c65e9e4da9eb9c640caf91320bdf7074d SHA512 b3410d275e2d5dec5c1f8f8199210ef9b2216e37cba923671f191a5c1fcde265c46a7b7e66161341a328dc41cbe5da8d838d6ef5c7dba7f041b5b6ca4ccc6c9d MISC metadata.xml 996 BLAKE2B 0217444b5ca1f1d6b250760ac76b6f44c8bb933333d785cf72ea10ad501df2e803146a25ddc6915f98a5c3ccd80a1ff3827ba58fba3f28e99dae101cf47def5f SHA512 0a1be2819a831ccd9c8712b1dce040c02a3aa681473c0f4c315a9010fafe05383b452b2f9e29e62f22bc8f09b34c4964ce549c248deb6c74763ec2417f7fcf2f diff --git a/sci-mathematics/wxmaxima/wxmaxima-24.02.2.ebuild b/sci-mathematics/wxmaxima/wxmaxima-24.08.0.ebuild index 3fbeb1a253b0..18b5ffff5949 100644 --- a/sci-mathematics/wxmaxima/wxmaxima-24.02.2.ebuild +++ b/sci-mathematics/wxmaxima/wxmaxima-24.08.0.ebuild @@ -27,7 +27,6 @@ RDEPEND="${DEPEND} sci-mathematics/maxima" src_prepare() { - setup-wxwidgets cmake_src_prepare sed -e "s|GPL.txt ||g" -e "s|share/doc/${PN}|share/doc/${PF}|g" -i CMakeLists.txt \ @@ -48,6 +47,8 @@ src_prepare() { } src_configure() { + setup-wxwidgets + local mycmakeargs=( -DWXM_UNIT_TESTS=$(usex test) -DWXM_DISABLE_WEBVIEW=$(usex webkit OFF ON) diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index a9bf15b56c62..4140dea0982d 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -1,3 +1,3 @@ -DIST z3-4.13.0.tar.gz 5520232 BLAKE2B 0889c03991311c46c361f269b85fb316c0b4be5cee84f1bb420ef640876058431fe5ec00f58a3dc9377ed3a2ea1cd908a8d9731f9575cf0e4a819fe1f50be670 SHA512 8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd -EBUILD z3-4.13.0.ebuild 2606 BLAKE2B e47072437e700d8dc0c711774b570bde320763f4cc87f87d89533b38bf6b2a253b09c551adf2f0374c8b900ade34fb7445d37bee81569110f86892eb2a922923 SHA512 24d7d6e7081c969779db447970cac012ff5371bf6aca1a7e00471d99b0de67c7c634e4d67d3a614a70f22df138d57bef002df3d78056b6a2a99bc17f7cc9ac5b +DIST z3-4.13.3.tar.gz 5583533 BLAKE2B 9b2586eef75cc26b3556fca4657bc1e2c47473ce22772969d3dbc9d8c84be96d6ee8283616bffe8d95efe7e531b62bbd7d4fc1f3d6dc626a097792198266ed5f SHA512 c899f57d8cb5450801463b07cd651869d766a920e41a4beedc96c4978e940bfadff9af2fbbb5ba10f94f6742bb33f7abaca0a351f3e1803d778e84d735d6829e +EBUILD z3-4.13.3.ebuild 2606 BLAKE2B 7daa36a15dc8210d75a1478ed71fc572151ec538432818a772afa0cee83726adb9e23289d02ebe7f7bbc44e39ae2ee87cad4b941a13443bb32956246142bc66a SHA512 911fb79ad3c840b7996f298c993deffd6392b448bc572664afcf41d7abd379999ca0feb90c062f44b262a5cb3e6e91a8669322673ebb85c6c8225341485fb59d 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.3.ebuild index 20635555fc86..651f968e3285 100644 --- a/sci-mathematics/z3/z3-4.13.0.ebuild +++ b/sci-mathematics/z3/z3-4.13.3.ebuild @@ -3,7 +3,7 @@ EAPI=8 -PYTHON_COMPAT=( python3_{10..12} ) +PYTHON_COMPAT=( python3_{10..13} ) inherit cmake-multilib java-pkg-opt-2 python-single-r1 |