summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2021-12-05 02:47:11 +0000
committerV3n3RiX <venerix@koprulu.sector>2021-12-05 02:47:11 +0000
commit2771f79232c273bc2a57d23bf335dd81ccf6af28 (patch)
treec8af0fd04194aed03cf067d44e53c7edd3e9ab84 /sci-mathematics
parente9d044d4b9b71200a96adfa280848858c0f468c9 (diff)
gentoo resync : 05.12.2021
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/4ti2/4ti2-1.6.7-r1.ebuild2
-rw-r--r--sci-mathematics/4ti2/Manifest2
-rw-r--r--sci-mathematics/Manifest.gzbin13650 -> 14149 bytes
-rw-r--r--sci-mathematics/arb/Manifest2
-rw-r--r--sci-mathematics/arb/arb-2.21.0.ebuild2
-rw-r--r--sci-mathematics/cgal/Manifest2
-rw-r--r--sci-mathematics/cgal/metadata.xml8
-rw-r--r--sci-mathematics/cliquer/Manifest2
-rw-r--r--sci-mathematics/cliquer/cliquer-1.22.ebuild2
-rw-r--r--sci-mathematics/euler/Manifest2
-rw-r--r--sci-mathematics/euler/euler-1.61.0-r1.ebuild2
-rw-r--r--sci-mathematics/flint/Manifest6
-rw-r--r--sci-mathematics/flint/flint-2.7.1-r1.ebuild2
-rw-r--r--sci-mathematics/flint/flint-2.8.4.ebuild (renamed from sci-mathematics/flint/flint-2.8.3.ebuild)2
-rw-r--r--sci-mathematics/gimps/Manifest4
-rw-r--r--sci-mathematics/gimps/gimps-30.7.9.ebuild (renamed from sci-mathematics/gimps/gimps-30.7.7.ebuild)0
-rw-r--r--sci-mathematics/ginac/Manifest2
-rw-r--r--sci-mathematics/ginac/ginac-1.7.11.ebuild2
-rw-r--r--sci-mathematics/gmp-ecm/Manifest2
-rw-r--r--sci-mathematics/gmp-ecm/gmp-ecm-7.0.4-r4.ebuild2
-rw-r--r--sci-mathematics/gretl/Manifest7
-rw-r--r--sci-mathematics/gretl/files/gretl-2001d-appdatadir.patch11
-rw-r--r--sci-mathematics/gretl/gretl-2021d.ebuild (renamed from sci-mathematics/gretl/gretl-1.9.90.ebuild)76
-rw-r--r--sci-mathematics/gretl/metadata.xml1
-rw-r--r--sci-mathematics/lcalc/Manifest2
-rw-r--r--sci-mathematics/lcalc/lcalc-2.0.4.ebuild31
-rw-r--r--sci-mathematics/lean/Manifest5
-rw-r--r--sci-mathematics/lean/files/lean-CMakeLists-fix_flags.patch23
-rw-r--r--sci-mathematics/lean/lean-3.35.1-r2.ebuild75
-rw-r--r--sci-mathematics/lean/lean-3.9999.ebuild75
-rw-r--r--sci-mathematics/lean/metadata.xml20
-rw-r--r--sci-mathematics/lpsolve/Manifest2
-rw-r--r--sci-mathematics/lpsolve/lpsolve-5.5.2.0.ebuild4
-rw-r--r--sci-mathematics/mathlib-tools/Manifest3
-rw-r--r--sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild49
-rw-r--r--sci-mathematics/mathlib-tools/metadata.xml19
-rw-r--r--sci-mathematics/mathomatic/Manifest2
-rw-r--r--sci-mathematics/mathomatic/mathomatic-16.0.5.ebuild4
-rw-r--r--sci-mathematics/maxima/Manifest2
-rw-r--r--sci-mathematics/maxima/maxima-5.42.1-r1.ebuild2
-rw-r--r--sci-mathematics/metamath/Manifest4
-rw-r--r--sci-mathematics/metamath/files/metamath-configure.ac-dont_force_optimize.patch16
-rw-r--r--sci-mathematics/metamath/metadata.xml18
-rw-r--r--sci-mathematics/metamath/metamath-0.198.ebuild28
-rw-r--r--sci-mathematics/nauty/Manifest4
-rw-r--r--sci-mathematics/nauty/nauty-2.7.3.ebuild76
-rw-r--r--sci-mathematics/octave-epstk/Manifest2
-rw-r--r--sci-mathematics/octave-epstk/octave-epstk-2.4.ebuild2
-rw-r--r--sci-mathematics/petsc/Manifest4
-rw-r--r--sci-mathematics/petsc/files/petsc-3.16.0-fix_sandbox_violation.patch15
-rw-r--r--sci-mathematics/petsc/petsc-3.16.0.ebuild192
-rw-r--r--sci-mathematics/singular/Manifest4
-rw-r--r--sci-mathematics/singular/singular-4.2.0_p1.ebuild2
-rw-r--r--sci-mathematics/singular/singular-4.2.1.ebuild2
-rw-r--r--sci-mathematics/slepc/Manifest2
-rw-r--r--sci-mathematics/slepc/slepc-3.16.0.ebuild69
-rw-r--r--sci-mathematics/spin/Manifest8
-rw-r--r--sci-mathematics/spin/files/spin-6.4.5-makefile.patch20
-rw-r--r--sci-mathematics/spin/files/spin-6.5.2-makefile.patch11
-rw-r--r--sci-mathematics/spin/metadata.xml8
-rw-r--r--sci-mathematics/spin/spin-6.4.5.ebuild47
-rw-r--r--sci-mathematics/spin/spin-6.5.2.ebuild54
-rw-r--r--sci-mathematics/wxmaxima/Manifest8
-rw-r--r--sci-mathematics/wxmaxima/wxmaxima-21.04.0.ebuild79
-rw-r--r--sci-mathematics/wxmaxima/wxmaxima-21.05.1.ebuild79
-rw-r--r--sci-mathematics/wxmaxima/wxmaxima-21.11.0.ebuild (renamed from sci-mathematics/wxmaxima/wxmaxima-21.01.0.ebuild)0
-rw-r--r--sci-mathematics/z3/Manifest2
-rw-r--r--sci-mathematics/z3/z3-4.8.13.ebuild103
68 files changed, 1007 insertions, 313 deletions
diff --git a/sci-mathematics/4ti2/4ti2-1.6.7-r1.ebuild b/sci-mathematics/4ti2/4ti2-1.6.7-r1.ebuild
index 01db73004d5b..5df60d0be3b5 100644
--- a/sci-mathematics/4ti2/4ti2-1.6.7-r1.ebuild
+++ b/sci-mathematics/4ti2/4ti2-1.6.7-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="http://4ti2.de/version_${PV}/${P}.tar.gz"
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="amd64 ~arm ppc x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 ~arm ~ppc x86 ~amd64-linux ~x86-linux"
RDEPEND="
sci-mathematics/glpk:=[gmp]
diff --git a/sci-mathematics/4ti2/Manifest b/sci-mathematics/4ti2/Manifest
index 4eced6a48ccb..d39f07bbda9c 100644
--- a/sci-mathematics/4ti2/Manifest
+++ b/sci-mathematics/4ti2/Manifest
@@ -1,4 +1,4 @@
AUX 4ti2-1.3.2-gold.patch 434 BLAKE2B 38162dea9fa7e7072966fc7c5fc72c05e2d122dbfbb25aa0027f992f0fe23bd1232245c670b8f3d3a2b75e67319a217aead99850ec6d1a025c6c4a890605b2c3 SHA512 109f89dcf1f66fae079d9ba4c265b0a9ad0a60b88848ae38175d98c51b8b8fce3e92b0f862191340f4a8dd8c60a768c77b1504d0a797553b5cd1fe5bc95189ff
DIST 4ti2-1.6.7.tar.gz 5649869 BLAKE2B ab0e7da1de88e5e99ead0b8fa7f7a72773b84ae903a31dc3134e83364ea45069889f8ce9812bb471cf72b824fe013756d557489b4d2ab31216141d5b6347acfc SHA512 38d638fe01ff3cef1aebae1eefd276cf02f808978851b4465e132f77d3ab34ea51d512e2ea28a42ac65263b458c43cf420dc5f8ac930f959dd0c14916cef9841
-EBUILD 4ti2-1.6.7-r1.ebuild 840 BLAKE2B 2f870e3cdb8cdf9e7edb0ff280bde4ce0e3c4e163fcdbeb0aace34cf90575a17c82919e991f9ff385f36742b78a1a6769dd651ab6ab44f6a851dc8c06f27df81 SHA512 b491da700df1da0ad0e9f1418a858932664b654e8bc12a42cc05af87237d897b12f7db9b58b717f2969750f53ad0b7bed1ffbe83b63cf1a9ab4eeffc433c33a9
+EBUILD 4ti2-1.6.7-r1.ebuild 841 BLAKE2B 60fcc1b214b01028c64eb3fc3aa08662634f8df107aa0bbacbdd9b0b35a6d0451057396817ceb6058ab09d90289b04b5f10e1542817933fb39bf55091659f043 SHA512 656eab7ad886d9aff1dcf304be12833bf1ef0c2f3f6e08f9b5ccc273de0dc2960d71a12d06911cd50189356e7e20c9d2d6d395857e39eaf7406009c0a012c218
MISC metadata.xml 447 BLAKE2B 55ff5198cfc0ed0b5c294e66ef40df0155ccfdd57361fe797bab2079b510a52b3e7440f58b1053fe99c10ed733306a3654b1f4b0b32eb3eb2e1ee21ce0f3f079 SHA512 2d1242295017cae1c1489376ae500ab7cee74b33925f42e7dda4be29db08373283d4d55b3548d883762e9cdb0072a92d0d2cfed3ea75017d631f880364a087ee
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index f080c759aa3a..f88f2160d23b 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/arb/Manifest b/sci-mathematics/arb/Manifest
index 1288847de815..d1b4b14a11b7 100644
--- a/sci-mathematics/arb/Manifest
+++ b/sci-mathematics/arb/Manifest
@@ -9,5 +9,5 @@ DIST arb-2.21.0.tar.gz 1842021 BLAKE2B 1ab3c4d18eb1918eaee9ea9aff68d82fc33a136ff
EBUILD arb-2.17.0.ebuild 2025 BLAKE2B aad028595287b91057475d8ea72305c8f720558917009660ef09502e5e22c371192eb6c0e52f281d6fdf9944cbf2038b9d39b1ca7ad9f5a5337b5e796f49bd92 SHA512 5160ed2793dd71af6005ec4ca75bc404c880c149519b85b3f19c51da2321ffbe99b0c6bc7e41dab1de6f624abd16bb3fcc55479dd8ae6cf4af20bca3a3954ed6
EBUILD arb-2.18.1.ebuild 778 BLAKE2B a8b078451c6ae4907242d87c08a39814bf1c4e77648ed20ccecdc0a93810e3553b03e01aea9a194de9d8c853f871ce016717c95a5cc3dcc53604d1fb77a5067c SHA512 edd48a1e3724defd85700a5c6ec6b98ea9c12cae5f060c540be4610c7e7c8cf266d76ce7522bb482f868e8bede4430d2fd88996d985b6ea294ee79cb4713b938
EBUILD arb-2.19.0.ebuild 751 BLAKE2B 84cdad6036faaf1a78268921ce0398addc31c6ac4e70681af10794f1c14c50545998870d31c28d8d59f0479ea7b9de395b8e9668daab66e0f2b2f894476d4978 SHA512 c484d59ebfb19fd9a9e05f69c9b7a246bc2e2d6802bb3c938afd3fefc82d984c7545c9b4314b61e949dc05ede11d222e377a66e50eb3123e385d643e983db125
-EBUILD arb-2.21.0.ebuild 787 BLAKE2B aa52e2c080e4a5b6816af28443c8f9386b12c36113df4dc88e21cf7dee6795ba6bf060358fbebb289f74ee4efa6f71e3f81e5db767803e1a03edc09af027f1ec SHA512 b9c7c98053b7769a86be7346b2210c71544d6f8757e580cf47f7e07e21e3ef8d277e4177156b972c5fbe92eb8a6ab691341bc2eae4579e419eb9a87f5eff4e69
+EBUILD arb-2.21.0.ebuild 794 BLAKE2B 31d5e76b4f9f2ae55c16d92826619035b0ee95f1e3be0f59d4bc1abdbd5e4c0358c24d4470e776aa72df82cdf45d495aa76646f9fe6505c26cff8b1bfc3fffe3 SHA512 a6b065d708ffa164a09302ec40a601073cb980c4a4e8fbe3e52ca46d94f2e2311dcb3fececa17210dcd1b2d8939c8240c73aea66b46ac90ef5a253c25bc37648
MISC metadata.xml 1108 BLAKE2B a2e3c1cf3f6c710c9b3e6fbf629101c3dccc9ae60c80da0d08853669019d7a2a03bb276dbe078cb6cb5ce6060ef7139a3658481d61a6d5e6d25f0cc1593be344 SHA512 2865a818ec7ffb77afc1c849fc960c2c39ec3bf6586b5f67e5c5037c6b6836fff0390224f27b1251a613d07107cf164ca11e05ec2f6988b629bd7e3a476e4854
diff --git a/sci-mathematics/arb/arb-2.21.0.ebuild b/sci-mathematics/arb/arb-2.21.0.ebuild
index e18ea81def99..977fd100e51f 100644
--- a/sci-mathematics/arb/arb-2.21.0.ebuild
+++ b/sci-mathematics/arb/arb-2.21.0.ebuild
@@ -15,7 +15,7 @@ RESTRICT="!test? ( test )"
LICENSE="GPL-2+"
SLOT="0/2"
-KEYWORDS="~amd64 ~arm ~arm64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos"
+KEYWORDS="~amd64 ~arm ~arm64 ~riscv ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos"
RDEPEND="
dev-libs/gmp:0=
diff --git a/sci-mathematics/cgal/Manifest b/sci-mathematics/cgal/Manifest
index 9ab2eb8c5601..ef1fb6eb506d 100644
--- a/sci-mathematics/cgal/Manifest
+++ b/sci-mathematics/cgal/Manifest
@@ -11,4 +11,4 @@ EBUILD cgal-5.1-r2.ebuild 1676 BLAKE2B 0cf776ec3975dd081ea09e200ec920aee26a17352
EBUILD cgal-5.2-r2.ebuild 1674 BLAKE2B 48c4bce712df40a9d9f5a105c84724233c6e001b5a5017d37c129576a2c800c46f7ad08303e102916cda08c6906f301dac09db8613655a2924836b475de286ac SHA512 475a747f8a3a6cd040b902df9e2eac6b357c75b528857ed56808a3af00fc623d2f91295cc2aef99cd41d35da59a7fcba03195593d09291b6dd4ab67006427cd9
EBUILD cgal-5.2.1-r2.ebuild 1701 BLAKE2B c3fe6d68ec09db9c182dda3851cb429d47eb085ff313b589d5db74e074df6b43b1497b71d00c4ba2f06f53f0933a346879760259d56102d5b79f73bb04c94ce5 SHA512 baaf085725a7a26e4e0b87f557b758ef8c977462cab0b6cad32d9784f5e6dc6b33b8681a4d74c14d2278d2b39b016211aee92a21113136c5906b3e5fec2dbd4d
EBUILD cgal-5.2.2-r1.ebuild 1696 BLAKE2B bc92a6f33cb9fdfa12adadf9205ef6861a3ad9bbd71e5e1b392aefe10a93c8857320df5e31d756eb99aeb8996d4769f16fda1bd29dc53df665cf6837fa5fded1 SHA512 d1023cc35bdff8ad375de67d844de5052c23ab581089ee1929b1483ab237b7d58d59717a6c2cc84cdf2f3ab0e5c0d5052af21462c749abaab7d115f077374c6c
-MISC metadata.xml 1635 BLAKE2B 2e83454869cdfe8ef1330d9af87409fcecccb3478e59414802522609ccf14f3c8052cca516d192b61618c0fb0dbd134b08119dcc1af5f25f81b4a138a06d9071 SHA512 d75d16c9627c528b752ab734d63eafce87d3a7a08d0cb952a4a987519532cab8c446e7df57d89c4d8291b47ae4a1121b69dc8d970a50fb14734e33ddc97ad3b6
+MISC metadata.xml 1373 BLAKE2B 7e3ecb8f36476edb32f20a03775f01f916fa82ab2c7a6e0554066a4b47019d3a13350e442ba4f9e6f184eb7678707a683339f223d5c86e18c08e9de5b359218c SHA512 a99c724624e7cdd71c65424adef18966dc6a88bd8e56e38fa5ba0ad4c40010481548d6d7f3e51044f62597096fdbf9e52a361d3c71d0ab870753526df664f7d2
diff --git a/sci-mathematics/cgal/metadata.xml b/sci-mathematics/cgal/metadata.xml
index d5954f178992..eb12c835ba04 100644
--- a/sci-mathematics/cgal/metadata.xml
+++ b/sci-mathematics/cgal/metadata.xml
@@ -5,14 +5,6 @@
<email>sci-mathematics@gentoo.org</email>
<name>Gentoo Mathematics Project</name>
</maintainer>
- <maintainer type="person" proxied="yes">
- <email>gentoo@aisha.cc</email>
- <name>Aisha Tammy</name>
- </maintainer>
- <maintainer type="project" proxied="proxy">
- <email>proxy-maint@gentoo.org</email>
- <name>Proxy Maintainers</name>
- </maintainer>
<longdescription lang="en">
The Computational Geometry Algorithms Library is a collaborative
open source library containing:
diff --git a/sci-mathematics/cliquer/Manifest b/sci-mathematics/cliquer/Manifest
index 51637bcec6ab..6ff1a895f49a 100644
--- a/sci-mathematics/cliquer/Manifest
+++ b/sci-mathematics/cliquer/Manifest
@@ -1,3 +1,3 @@
DIST cliquer-1.22.tar.gz 416433 BLAKE2B 3f43d443b1ecfef599213da99ffa15b5077392dd8d1bebdd0f5db73898d1fe997d6eabe6dbdb29852d40355228f082cfa7e3198be90dc9166965b90f062cae69 SHA512 3285cb0a3987ff730d9f9b25419a98201f399daf28444179ba8902211ddda87adcc7189f5b94f062d0648039a1b6217b80c8db482887d7dc8552b20459eff861
-EBUILD cliquer-1.22.ebuild 784 BLAKE2B 0702be928ba0035e513167d30afc8a446f8b9239de2f3f6280c2ec035001269ecc51032c61bfb92927fb4492551ff0d861bf3bf0625475daaf18527e179d7631 SHA512 2252130e35ec3bbfebe321c01f9f7a5c03db192fb4c70621d52a0ce52d642939e868e30c6d016871115eb4fbb675e27c2cc86b665a9fbab0e235b60b88392506
+EBUILD cliquer-1.22.ebuild 789 BLAKE2B 0f7042c3ba856f1683a523cbb09202994b431f44534475a0ae90a484c460191c476a4c9fc153785d0667686cdd33661e7cec6b944b2d1fc8715fddfd40fab250 SHA512 fd3267b16e1f83a83b9c5c93716a2a22f1c74fd294082d2b0a0c0a73b7492d22009934d1774c5998cfe28d9632bc138a0bff12fbd877a046760d4ee0ed82ee76
MISC metadata.xml 770 BLAKE2B 0de00517dccf6991a64d76ea25b7f1cfedd615d09c9f9a4842cc678bf1b23ec45af444a7ff6829e8908fb2936f6b4a959504b8c26ef89c8246bc0e0663e5f68b SHA512 06646ea6cf94717e6d98b81f2b6ca833d9beaf4e01ac012331e94794132648786c84d6177a32778c86a69ae7cfbe21c9b37690b6ef0d93227fc9bc67c350e1a3
diff --git a/sci-mathematics/cliquer/cliquer-1.22.ebuild b/sci-mathematics/cliquer/cliquer-1.22.ebuild
index 32067508f419..45bb7354a402 100644
--- a/sci-mathematics/cliquer/cliquer-1.22.ebuild
+++ b/sci-mathematics/cliquer/cliquer-1.22.ebuild
@@ -16,7 +16,7 @@ SRC_URI="http://files.sagemath.org/spkg/upstream/${PN}/${P}.tar.gz"
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="amd64 x86"
+KEYWORDS="amd64 ~arm x86"
IUSE="static-libs"
src_configure() {
diff --git a/sci-mathematics/euler/Manifest b/sci-mathematics/euler/Manifest
index 7083bf219c68..cacf272aa6e6 100644
--- a/sci-mathematics/euler/Manifest
+++ b/sci-mathematics/euler/Manifest
@@ -4,5 +4,5 @@ AUX euler-fortify.patch 658 BLAKE2B 4674ab1f332464315c81ffe01cb5d0f58fcebdb5c508
AUX euler-glibc-2.4-gentoo.patch 280 BLAKE2B 1f668caf8685d97bd88f542fafe75d8632d75736438cbb3e58e60b66874b55ff5cab4ed4cfabb28a3d54e087e2808b45c467990a53691fdf497ec148d7e7a931 SHA512 714f03c3d249d9a0d001d905f68d0b48306b99f7ad1438418356101c2c87a59c6f628dab0d4626f564e657234f10903a0160cb2a00f8fbaefb532d0393bc14c9
AUX euler-xdg.patch 772 BLAKE2B 382625847e68c23d5bac02b744caea00eb61a637eef1a7465dcb58ca81623ab3edccc90c67fab50328b2711dc6e6b3be86669f858aec8035b8e4b9ff3d82e39d SHA512 725f3243b92d7c7d5064e227eb0b6d15c39fa5a23586cd4ccd62977dd334a943108ee29e7cf06c7591b7af9f1322a6d27ac72016ce951b5e0bb7552021af069f
DIST euler-1.61.0.tgz 1202485 BLAKE2B b886d483f5bcb8e1a953b7eda43c1f4d4b5dc2ad1606be48da60f9e4fdbdf02a42e30c862f14f4d2d182ac93c29fc7e234f7132500c695cd8d5b693ca48e599b SHA512 f8b9b0c6aa5aea4bd42bd33fff986a52c624c268ede11b83c2c53293a5acbda45317ecc719c12f377b236460c7ff0dba1d110ee8e90b526fc70af03ed0327b27
-EBUILD euler-1.61.0-r1.ebuild 945 BLAKE2B a1c853ca2dd0703f85917c32c11107579227b1b638a914695d8aeaafe8de53b3711fd6a3eccf1ade59161aa7e171367679b4fafedad43cffc40cd0eadbc0103b SHA512 2d8251d04f060fdb6ae8bdc6b9f8feee5fb4a9a8cabd52c5259131125d5115c6e3b39d562fedd5daaf758de072f5882b93eba9904f9802d59e2c3fa8abee920c
+EBUILD euler-1.61.0-r1.ebuild 946 BLAKE2B b4e3cf7010303f36dbdbe21d63a0c52fc60332744ddc863a69aee1279638ea6a8e51e854e62f31c0bd68ab367bc3af4394d712075a1fe02ae51b96b8730fbb96 SHA512 d7efa0be5a582f91da373205df261a8330ca1051c95ccaa2fcbf732eed58fdaf6af83a079fe408c21bf081f40fa33469114046baa20496a6f878689d8fc8bfb0
MISC metadata.xml 345 BLAKE2B a084671da4686c4e3f1cd5bc008bb43d9ca1948609ecd8d05c77edb79fc1fe4316d5987206014bf254381e303e8eef117936cd7c86063ab4e01047be672f5687 SHA512 1dab2658c910bf3ff1c7df3d0a903128035a5898cd94289eb0be5d7e3f9babf82582f5732a29875c53be153c24e7c01833ed201e42cd27ce1bdcc714a09bf1fb
diff --git a/sci-mathematics/euler/euler-1.61.0-r1.ebuild b/sci-mathematics/euler/euler-1.61.0-r1.ebuild
index b54a13030b48..b7ce622ec035 100644
--- a/sci-mathematics/euler/euler-1.61.0-r1.ebuild
+++ b/sci-mathematics/euler/euler-1.61.0-r1.ebuild
@@ -10,7 +10,7 @@ HOMEPAGE="http://euler.sourceforge.net/"
SRC_URI="mirror://sourceforge/euler/${P}.tgz"
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="amd64 ppc -sparc x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 ~ppc -sparc x86 ~amd64-linux ~x86-linux"
BDEPEND="virtual/pkgconfig"
DEPEND="x11-libs/gtk+:2"
diff --git a/sci-mathematics/flint/Manifest b/sci-mathematics/flint/Manifest
index 572461b6d43e..0eea6f1ea1b6 100644
--- a/sci-mathematics/flint/Manifest
+++ b/sci-mathematics/flint/Manifest
@@ -1,6 +1,6 @@
AUX flint-2.7.1-fix-cmake-findgmp.patch 5721 BLAKE2B db31d9e88304ec26a3fdd4ba9d53dd97044487413567e172235260fc238e6a4ad89225788726bdff94f36b699acda45c86025c23be04b895c1857d836a321113 SHA512 a364c4606fb9321443991d1356f9fb7b2c7fb946ad46760e6e1b1172acc1399f19fabd1eec4dbf8e75e1e61be5d8bfa88ac056ccff47d60f4d50fdff6e31193b
DIST flint-2.7.1.tar.gz 4945081 BLAKE2B 9dcc4b0062be08778cd8ada1794a73237ea091a7bff4a4673aa59eac9b414ed90e0291b9547bdf72aa30e48da11f98ff983267ea2e3dd1d75fcec00b24c86ca9 SHA512 abea97228e91089d82a9a44714e719064bef261c45f5f5b24700955bb841cc98a8182e04e6054fcbcaa3bd92f2f95a82bd5d168ec2171af6a58d4f71eb0a479a
-DIST flint-2.8.3.tar.gz 5212158 BLAKE2B 4e9e98565399313cc78e86e00af42c780937f0c3be1f7305122e7f23d0a9d93766726818d371657a31eaf80fe692253cde889c9e13c2b47cc5b4c023baba5bdc SHA512 0ce5f92619655826ef0064403dcaa539dde336e404c9a7e85cb4baaed40438886eecdfb36d6b56ee87a1373a010da798e122ee216e88b861e51de7612d5ba501
-EBUILD flint-2.7.1-r1.ebuild 1371 BLAKE2B 859d5bb309b970d5d92e909f8c5573d782d076ed79a23080fb879caba258e35825113823f19a1c5572de726f7f213bd0fc459c088dae48b50bca0fbbb8397552 SHA512 fad00e1482b27ada9a2847638ac1129b90b8c30b5f033af6103509e9181f4dcb6d944ba7ed23ec18c4de51ecb3b9fa8963f13da57e6d0f0a23d7c6e0de1d6ad3
-EBUILD flint-2.8.3.ebuild 1522 BLAKE2B d70392a3b838eeb3ba7fc8abba81db3db9901fb277c8b43eadffa94e8af6fd77cbe355696ad9b18d6dabea5c7a9118362339b0bcdddb99a07c01b55a3ffc4ee1 SHA512 8876350a195414c3f604ca6388d47d98dd35c3d9f20279b8d7ceeae7ac0914cf0566bfa2f0cb480a38ca188e2afad66c8fae208f3aabf5f167864ac4fdf90d35
+DIST flint-2.8.4.tar.gz 5212964 BLAKE2B ddd3b9dca76ddac2070d3e12dfc4c5ea1a3b505c7bf28e41489798798d65ed2a5db12e01059816d42e5d1209166d17ee6035dcf0a94d991f78df59c6ad06b271 SHA512 1f66574a5f2f27e1f3cd0a334712c0e64f4a4b8dd57179a71f9adba4c4faff23ba8da3993f51c4f44f52a588d0d1678b1e1a272e8fe3367f2abc88e9d86ad804
+EBUILD flint-2.7.1-r1.ebuild 1372 BLAKE2B 4026ba6637f534d522ad3b7390ec491e764e440a913094fc98d9765b8cd3f89a0388099a56eb9805a2c588efc870d8cb7139b1d4daf8223314aed166b46b3162 SHA512 4f5cdebc04ff9888f5a235f4409b0428ba8ce4c18548c709cc0abf296254e6724f18d081f248f32c447c253af5dd7a71935bbd202e5789dd2b79981dd691a33e
+EBUILD flint-2.8.4.ebuild 1529 BLAKE2B 951c66854be6d5aaccc4855b870e884aabe52792fc92005eef0d8141c885d8be48d167ed39935b7f541ec2adcbb3cb9550cdd73ff5567e385ca6a034a8a8231f SHA512 022d80243f3d8c789918ae9e9d92125cf671a581b351cfaf675f916475c71d9e1fb2b189113e82258e965c131b7dfeb719aad00653a958061ac7521a1f4539c8
MISC metadata.xml 640 BLAKE2B b95d6f493564025e43604bffa340fffd88fcedf29c282fcc3c18e08ac089cdf1e10837787af664dd250a77a62237bf3665ff0a3045ca52680dd67aa0b39eeba7 SHA512 a9a64076e7f0df29e6a05a9d349c530a4ee4285b6a444425681eddf6ae1e8b41f610fda0bd7cc86b5177b36f34bc3072b67c7edac2cc8c0709a032b000576a14
diff --git a/sci-mathematics/flint/flint-2.7.1-r1.ebuild b/sci-mathematics/flint/flint-2.7.1-r1.ebuild
index 7086b59e6308..f8e7471260ea 100644
--- a/sci-mathematics/flint/flint-2.7.1-r1.ebuild
+++ b/sci-mathematics/flint/flint-2.7.1-r1.ebuild
@@ -17,7 +17,7 @@ LICENSE="LGPL-2.1+"
# Based off the soname, e.g. /usr/lib64/libflint.so -> libflint.so.15
SLOT="0/15"
-KEYWORDS="amd64 ~arm ~arm64 ppc x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc x86"
IUSE="doc ntl test"
RESTRICT="!test? ( test )"
diff --git a/sci-mathematics/flint/flint-2.8.3.ebuild b/sci-mathematics/flint/flint-2.8.4.ebuild
index 155984f2418a..216026f6df27 100644
--- a/sci-mathematics/flint/flint-2.8.3.ebuild
+++ b/sci-mathematics/flint/flint-2.8.4.ebuild
@@ -21,7 +21,7 @@ LICENSE="LGPL-2.1+"
# Based off the soname, e.g. /usr/lib64/libflint.so -> libflint.so.15
SLOT="0/16"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~riscv ~x86"
IUSE="doc ntl test"
RESTRICT="!test? ( test )"
diff --git a/sci-mathematics/gimps/Manifest b/sci-mathematics/gimps/Manifest
index 3da17a3da269..e8e8bb61147b 100644
--- a/sci-mathematics/gimps/Manifest
+++ b/sci-mathematics/gimps/Manifest
@@ -3,12 +3,12 @@ AUX gimps-25.6-conf.d 254 BLAKE2B 44cbf88e3bba505846396c87a68c879d03f76f7f0d0334
AUX gimps-28.9-init.d 722 BLAKE2B 8d55dfbb4166da76e2621097c85165ef49ade916d4ac76576b2abb249d79e0dcd7e37e060a0996576993e6510c051099d6bb7bed6da4ec8800f51b964803c3a8 SHA512 8a7501d8347aa0974268c910890550a2ce5a3d11606670dd69d5e5ccb1046e2994bc5b1f04f9e9dae89174a5a69f9158757079b835fbff50fd25f983190521e9
AUX gimps.service 283 BLAKE2B db6c0c777d514aa0216c1af087418ead25561ffa950752e237e1633a6b6414b56732b84aabd11533ea3dab34f8657358370d21c4730f551d0ff5cf03006b7ad3 SHA512 710c7d075d5542364746b837f2b62257011abb8f45862bf0a1fabd53adb182b5fd969256c7f3221506fef38e81ab1b0f4698efafc1ca7908d9e2d42dee386d8b
AUX gimps.tmpfiles 38 BLAKE2B c306d739ed0a0cc8bb4c80c7051ad93326cf0054d3f7fd61c4ed8a7d518356d521f7d3c3202d0b8b69723b8e7178457a34c65e92732eb15e8e64c3dff468ae2a SHA512 61c5eda13289175cdf55704442ceab4d5391d24cfa49f04155799fc2798e5ad5f1e624802e1c04b99685b1560f9898d1b0fc0c15c82251d1a765dd5de93024d8
-DIST gimps-30.7.7.linux64.tar.gz 7098117 BLAKE2B 49af058406ecdd608a383b052ce863455e06d95957410b3a548e76387760dc2862222c25c31867f916964885a16bab338f73532c9ca219d48bb3c6624ebd55ef SHA512 033a28e1d6cabdf1520422cec3e2e06b4751819c4758422685bf417bb444db10b9abc4a9a715b70aa4e0117e9125baa553f89f677ddb00123ee64409de8f5418
+DIST gimps-30.7.9.linux64.tar.gz 7100830 BLAKE2B 8ebae083d26309f7c624e38c943e3bb0c7fe40a538840970dc222ed33ba5eaa9a5c0767b822682921eaae27f839c1eca5c0204b2c135748002e5d072744afe25 SHA512 5e6f3fbcc50b9b91fda7b286392bb17e58fd8d55a8386f27e206c63c560993da9713513d5eb4355e8e934f2e8703b39fc96f3c6f01058b729330f3526d37479b
DIST p95v303b6.linux32.tar.gz 5702312 BLAKE2B 728c8b8e7e2b5187dc8126bccc5e2c165fbfbc0900d6c35517cd21b78e5292df143641e3766cc0146918062039b1eecab568f9b278f64b1b9197ee2f775603b9 SHA512 3e06fb77be07334949ece3ae152bdf5491f0b7f8e33e0e8ed2af3c34332841975a9514d1993ed2355abfa4e09f93e42093d02f96dc30c3471ae9f974cc2de11a
DIST p95v303b6.linux64.tar.gz 7046127 BLAKE2B 9cde9c2670203071cfc463434a47c8123064cb232bfeb25d8767cad2c25ea75b395e2ec135b7b4a6dc9616e9d6b05ead371e1083274a82468f62a0e1de93c98f SHA512 6d6ded9a1724993d42adee28d400b0337835c52a4ce42271e62efb37134adfc6f017f55475860fbc1224e377a227ef8547b8852a35c082c37e996f4a1c1b570c
DIST p95v305b2.linux32.tar.gz 5695951 BLAKE2B d97f5b553e0a0563d51a08049c08fe31231e2689cfe6ec979b832603bace334755e947be2d7a106d4f4b807070568746f2cdabf869c5c4c6e125155c332b10bf SHA512 b5caa642e742438f10b5ee89d27213834755051679fe0d4d452e446b2f7628c8a874227971473d4319b8841f47a0bb32e7de9731d8b45e808356efb11922716e
DIST p95v305b2.linux64.tar.gz 7165963 BLAKE2B 3ae20e8e29273650e94ff8774f973240c6b57d7a54e1674e7f741a9d366d3fdad98bb91b8e2abfcf7e1df6319476aa116e921171f2b585a568ee7d5038635531 SHA512 5fe250f7dcc35767fd5f4529219351095d1076f631528d80fa09498e27fa211abc621ef070548c398402143bec5e1d6e6e974155f50eb9f42af0ca179e4e03a8
EBUILD gimps-30.3.6.ebuild 1808 BLAKE2B 3483a73734d0b0008c992a946d36558f1e8ac93872a46bf80d79bb21ae65720c5614df1e1380fb15c2db2537559bc1969fc90dba0614afef1c2f8a6419ea996d SHA512 0dd32cf22373ec922a2716afc7f60ed5af2b0f76ba8f91b94eef891b1137b1dc597f0aca3609f76cb56b3f90b973953decd946d37e02cb6a1db1df1fd81c55a4
EBUILD gimps-30.5.2.ebuild 1884 BLAKE2B ab8a5f9fec9a8cef6bdd4284364201fd29bb7a25070170f4de072e18be7749a7e0406a37f8a5321cbeb5709f1cfb2f1d4d655914d0032d9ee2ec67c59d720b62 SHA512 d2f7e56482733997dc72872e83e0b64a47d15ff1985b61bde6be2aec8c3543a97638d625125e4b30ec4a057e748f3fb422fc06c0c8d25c22a74a221bb675fcc9
-EBUILD gimps-30.7.7.ebuild 1821 BLAKE2B 748341f70cbe142cfe193c48c32a1254d881a3a518621499572e7b72442c4b2e466929018789f03454068c90cd483c8848a2545d82b4ccc05a6b3b510bd7720a SHA512 5f59cfdb4b50d55ce5268f7115bdad851b78e079ad6fdc499e72e211130f25612c6c3cf6c0f5db7cf18579aac0a1dfbef12da9ad43a169f1e51d86025bcd51e6
+EBUILD gimps-30.7.9.ebuild 1821 BLAKE2B 748341f70cbe142cfe193c48c32a1254d881a3a518621499572e7b72442c4b2e466929018789f03454068c90cd483c8848a2545d82b4ccc05a6b3b510bd7720a SHA512 5f59cfdb4b50d55ce5268f7115bdad851b78e079ad6fdc499e72e211130f25612c6c3cf6c0f5db7cf18579aac0a1dfbef12da9ad43a169f1e51d86025bcd51e6
MISC metadata.xml 560 BLAKE2B 01b265f54acd4ad1c9e1d23043d4ce2020fd41843a0efb09003046ea835989393df9935edcc3320eff43d552e47c2bb5afc688ddb96e9e6088c1e1c3a38fca64 SHA512 ba744b0b86d81acf54ed31c70e19be7ee315b6976b29cf0a40e79a7a227b8f68f4262ac2eecd696ddf051dd13de2019dae5df43706ca629bceca738e0e501175
diff --git a/sci-mathematics/gimps/gimps-30.7.7.ebuild b/sci-mathematics/gimps/gimps-30.7.9.ebuild
index f1cf70e083a8..f1cf70e083a8 100644
--- a/sci-mathematics/gimps/gimps-30.7.7.ebuild
+++ b/sci-mathematics/gimps/gimps-30.7.9.ebuild
diff --git a/sci-mathematics/ginac/Manifest b/sci-mathematics/ginac/Manifest
index e439d5afee1b..f2f3a843c2ff 100644
--- a/sci-mathematics/ginac/Manifest
+++ b/sci-mathematics/ginac/Manifest
@@ -1,6 +1,6 @@
AUX ginac-1.5.1-pkgconfig.patch 340 BLAKE2B 4e45d5af711f0a6bb833bd805340527be8972b8587f47ffe34b9e473b2783f6cb98af2b2397b199bfca1c7522250c68249112ac67a750ec59f31e26628978bd0 SHA512 b88c7ef69686733a3e817d9d4961246eb64aebf753b51bf8f6ea5c6fdfef41e52b6a20656e074f0bcc42dfe7965a440642d9036628a139f2c87bbde5f59d76d1
DIST ginac-1.7.11.tar.bz2 1077491 BLAKE2B 741e9c8adfec15c225c3656b935707f86292b98310b50533269b238d1a9746bf54d186074c879fdbdd23f915dde225d9ee34fdbd87977835e8f9e78af364d77d SHA512 35a029915c946fcc10ba7b78df6fe1ece9a9f2f6bc172816a923c35f5b495154ab356526b904ac2a16a1bd6b0a81c480c5abb39ef40238ca7b32d1acbf97276c
DIST ginac-1.8.0.tar.bz2 1124136 BLAKE2B 087c286f621ca5502c54c1765d948f0549a60668fd610bd16ea627af2f4056b13331097768771a0ac14807212de59b132608dc615bf2618dd487a9478dbf5a83 SHA512 6cacd0d87ffae24118f2fbaed4d201ee2d3812a751becef1982308e91cf489543db14443439da9333f3620dc5c8b1c32587e1aff0bed69e6e334310dc64edf49
-EBUILD ginac-1.7.11.ebuild 1473 BLAKE2B 8add0d658de3be7f6b01e4866afbc289f27cba4a208d372b582b2ffd2e2bb1279f5b0f317fdc0746b3d79742a3be639f1cbdc1b8fcbcc4109392f15c667e5ec7 SHA512 38cbd823741cd188884bc7f03298ee7df2e9ea12beb10d2b3e848d3cad3ca0b2174974efa0a146b832d30cad7b1bc7a19057a9b3e86e2787447f4cc1e12f9a7f
+EBUILD ginac-1.7.11.ebuild 1474 BLAKE2B 80960c7c7d3b8aa3196c3bb606abca7d174e02ab3e7048ce267ac74b37ad4dde177581274c081e81237f9fc366eb3c64a29239a3f13ca352dad5db1e87ade20a SHA512 2ace30976f57eb93dca8b6a4dbf851b9ac5bcdfdc09ad6dc0838358a55784e04168266e5281eab8d4096c699bc8c02b44f600a1c80d7d11be3d590c8b7d19f0c
EBUILD ginac-1.8.0.ebuild 1476 BLAKE2B 704301ca488a748b37464da91ae3cf8a8d477f037dd9146f8acf8f7214ffefcf6a26d722c3a3f6bb749ab6b7a51c341e96bfa61dfc58b8621847f228b47b979b SHA512 4c6f9049db3ccc23838c7ad3d390fb238b3012595259ee3cf1b55aa68aadb769bc4d6ff15b7b9e6f2771b41f9ecc0e5c00a28534050a87639877871a7ce1b903
MISC metadata.xml 686 BLAKE2B ff4b88d20512b55b99aba22f7f87da2dbde32d4348bce69ffc1ee4488e41c0ec8cb062fedd72794d12671111be8a9df4e8be3dacf3d3379de7c82d18df3a97e8 SHA512 bae9dd2c19bd5e5bc84a3640d9548066cf95053c599a57259633b4a6960b2ea4039ebab692086b94553cffc1478de100754bc82a7157fc78871b9084ee9391e8
diff --git a/sci-mathematics/ginac/ginac-1.7.11.ebuild b/sci-mathematics/ginac/ginac-1.7.11.ebuild
index af38764f9a32..6bd2388f1c08 100644
--- a/sci-mathematics/ginac/ginac-1.7.11.ebuild
+++ b/sci-mathematics/ginac/ginac-1.7.11.ebuild
@@ -13,7 +13,7 @@ HOMEPAGE="https://www.ginac.de/"
LICENSE="GPL-2+"
SLOT="0"
-KEYWORDS="amd64 ppc x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 ~ppc x86 ~amd64-linux ~x86-linux"
IUSE="doc examples"
RDEPEND=">=sci-libs/cln-1.2.2"
diff --git a/sci-mathematics/gmp-ecm/Manifest b/sci-mathematics/gmp-ecm/Manifest
index 8946c63a44fc..8c3caa2bca15 100644
--- a/sci-mathematics/gmp-ecm/Manifest
+++ b/sci-mathematics/gmp-ecm/Manifest
@@ -1,5 +1,5 @@
AUX gmp-ecm-7.0.4-execstack.patch 1568 BLAKE2B ccf8b74074bf357e74bc6126c505ebc77c389c851ee0ec35743c99270b6f36fa92d26c9df4b1f1a20e125a3b6dbd53522fa441d91fc4f8427d3b6d6ab50be07a SHA512 874924dd2f81c2e85dd4cdb0d8a14d1e22a9aca0c3883a9e16f1888f61b5af9b26a8c80469b65566a4becefce6a1d37ecdbba029648b4d62dc320f9e5a776453
AUX gmp-ecm-7.0.4-openmp.patch 795 BLAKE2B 2a857cba5e0bc4e7dfe710c250bcb721dd2fd5e0c9c049987f8505d2efc758ff026b313bc92a2b18472bbebc320c8d1187c8506eaea6d2f1f6d51da284bca3ae SHA512 063d20e5a4cf088aaed31eb79c6b253ef4747d3d449c70936b4079c519480767f4f19dc259894422dc6d5783c9c360fc2c3a9fda4bb9b2a124a0e7bd90c08554
DIST ecm-7.0.4.tar.gz 1101899 BLAKE2B 6d52364d9c752aee66510a7f6b273559bf1b7de0032fbbeff74e229ed68fd0cd1c236b480f8fc25bcad6435740e3e22b3099c8f018912918ab8f4b33dc7b8b3c SHA512 b863b9bfd26df26c3c4243686036a69110e69ca3eec5b31d4550fe713e2fac4ce70cd1d80f0614899793aa44710531aa4a21abc0fa1b99eb17f62bd92b971350
-EBUILD gmp-ecm-7.0.4-r4.ebuild 2004 BLAKE2B 60f412108fdab2ca5ba1d06218e29311fad9899d5ad12cb7e50c39b4194dafc70b9c6e73d68b07cf2dc1f938744b37320e91d2d025b60d868397c26407dacc27 SHA512 b23a5852c8f28b9b8c857572ea6e864b8ae3fd91b07748636a3e575a6eb274f80051daaae981c1159829dcc5fd21874b9c4087f686f88d4ccaaddb9ca13768dd
+EBUILD gmp-ecm-7.0.4-r4.ebuild 2011 BLAKE2B 384a95201168380077786279ed6813f1b369fb81e87bb5392824b3704eddcd70789b56891d1ecc65da47bda2fc68006c4d28d7fe4844f8a75d0fb12ef8656569 SHA512 51dd9ad9e6ac27be94c1839ef4ea61f5b300d714fea9b144dec57b354f1412dc4977c83d399723493984d829fa92f4892d58f20325c470119760026de2b1acb8
MISC metadata.xml 643 BLAKE2B 90da8b09f30dd8bd8d4df3dcc388663e52d57ea7b2974becede9ed0c592eaacb33958d202cee33988b79364e058ef84676e995b9d8467beb1f7d89ad8b177136 SHA512 e2f0d6f286440543ed15531183671b30f0044c38685e58617d004286b596ba1b898c470dc39e2ebe95db10c83be9430f1a010539ba2b0231883fe6bf4b0b97a8
diff --git a/sci-mathematics/gmp-ecm/gmp-ecm-7.0.4-r4.ebuild b/sci-mathematics/gmp-ecm/gmp-ecm-7.0.4-r4.ebuild
index d090e6592b6d..a3e4c57b7900 100644
--- a/sci-mathematics/gmp-ecm/gmp-ecm-7.0.4-r4.ebuild
+++ b/sci-mathematics/gmp-ecm/gmp-ecm-7.0.4-r4.ebuild
@@ -13,7 +13,7 @@ SRC_URI="https://gitlab.inria.fr/zimmerma/ecm/uploads/9cd422ec80268f8a885e499e17
LICENSE="GPL-3 LGPL-3"
SLOT="0"
-KEYWORDS="amd64 ~arm ~arm64 x86 ~ppc-macos ~x64-macos"
+KEYWORDS="amd64 ~arm ~arm64 ~riscv x86 ~ppc-macos ~x64-macos"
IUSE="+custom-tune openmp static-libs cpu_flags_x86_sse2"
DEPEND="dev-libs/gmp:="
diff --git a/sci-mathematics/gretl/Manifest b/sci-mathematics/gretl/Manifest
index b5ddf70ef91a..f33142542155 100644
--- a/sci-mathematics/gretl/Manifest
+++ b/sci-mathematics/gretl/Manifest
@@ -1,4 +1,5 @@
AUX 50gretl-gentoo.el 473 BLAKE2B 4c855e4b79629828ba9f3c187550c64d26b93b6547ed8505d8485ade63d0963d04bf7f3de4b8a0b0d679657e93d2d08ff036d9a2ef1b02ec85936f872cc3aa86 SHA512 dff2fd680e295ba8cd722092d5ffe8cb36cd9b79f2ed2be69c8adaa5e414a456abb40c0ec70a6fc0d6b9fb09bf936e3c6ef6804f87bde62d86d3692c34ec595e
-DIST gretl-1.9.90.tar.xz 7764820 BLAKE2B 1a47c31a62aad662ed3cfb4ad2057000eef14daf1f8cac4125f511f0229e29c1a7f43bc2e6014ec5b971173d9698e842c13e36b0f12faaa2f4fa996e26d984cb SHA512 35ec45fb2ad2dec490567411c1a5d909dc7fc8f0c4a6ca142e6e92b2d95a9efc9581f154a7806cf3f5178b530cdca9508b7c215bca29e1bcaebfa874d476667a
-EBUILD gretl-1.9.90.ebuild 2703 BLAKE2B ec19a3cfd5b3bf7b760a15fd4e329aa68c8240532639b055d59dafb3d3120e6ddd5bb296501efd95fedc179c8e6845a7a76bc6db4a5b5d1c911ccf3e83c28308 SHA512 287f33f86f1f175b64eb595e607a64e3ca5b1cff134bb9e3a44e592b92929e00d21d447d5e96a0ebc8d707062dd53cb644ff65128da821b99edc5b6e23424d20
-MISC metadata.xml 1123 BLAKE2B 842689a5b247691f87412ebe678e2454147bbaf85dde06f7c157cd8eaaadc6c7059f68486708196baf8485feb2ff83e5e8663be3c334d5d6b51f73b66c943f5c SHA512 a64e382dedcd1ded944a6523f3274a9a8afc236a178fd7612a58894a35738d4163b98f162e5419fd87b0c2d9272b1d63bfda66af093302851fa41f15dc3e6b61
+AUX gretl-2001d-appdatadir.patch 246 BLAKE2B b225500d78564d018c54e4e9dcdd166c9c7f779c3d23a716d119cd968f05712bc38154702fb9cf53ad7de42000f75f584f89cffbc098706f01f89b2adc814136 SHA512 2e725e15732ea975b6085be9f84790a07d0d481b1aad0a876a07bf1de06a393ba8ff71f272ed601539458cb9a4a8af41bbc4185ef847ca99cba64aca0897b3f1
+DIST gretl-2021d.tar.xz 13256260 BLAKE2B ba4ae04317e3bd4c9ae064718ceee7b8c6afceaa263c1adcfb7fa5fe8bb74c9abc7f7847666a95f1035c36c553ce8ab80a002f488348e3e02fd321c5dd53d5d8 SHA512 17d5ba473208a5e810329b88c3e6b8421af73d6e1a172547c393143cd8419e2ff6cd07b9c741f0d6e65796fee64f4c71b7f5ccf0c81a67936c4d16f1fd0d7edb
+EBUILD gretl-2021d.ebuild 2842 BLAKE2B 264da0a632af19d6fe06c56acb0585c65174cd8fd2485a65ce7bb6022fd0a630ad802d104b0e28103258d337d8efdf47235b6a41bc43aaea2f97c2d684438750 SHA512 55f86e565ee4f9876feb766e982e5f2fb564d112c610d4de073344d931ff9ea145c810add0088f39c0f7ce9cd638a69888b6d9bb0fdfb84af5777111be0d5b21
+MISC metadata.xml 1199 BLAKE2B d400c41ccef93836c264ca3df2f66ef62ebd228f67dbe43c544aa33bf35b9fc23ed5bd0d38d4ba1e45e27465553ef6f4549b22739c7b385b9cb606bfb4f56ee3 SHA512 860e2aa571e650c80318fa4b1e2d6032e300cd1b7fd0fe9a69dd39d81bda51e05cfc9954e274d8cd6cbc9c2bacf87a9fcc9ad0fd38d66542ef30771158b5f4a3
diff --git a/sci-mathematics/gretl/files/gretl-2001d-appdatadir.patch b/sci-mathematics/gretl/files/gretl-2001d-appdatadir.patch
new file mode 100644
index 000000000000..8b42edccc88b
--- /dev/null
+++ b/sci-mathematics/gretl/files/gretl-2001d-appdatadir.patch
@@ -0,0 +1,11 @@
+--- a/gui/Makefile.in
++++ b/gui/Makefile.in
+@@ -139,7 +139,7 @@
+ else
+ gretldir = $(datarootdir)/gretl
+ uidir = $(gretldir)/ui
+- appdatadir = $(datarootdir)/appdata
++ appdatadir = $(datarootdir)/metainfo
+ endif
+
+ tooldir = $(topsrc)/tools
diff --git a/sci-mathematics/gretl/gretl-1.9.90.ebuild b/sci-mathematics/gretl/gretl-2021d.ebuild
index 57ea0d58c2b7..dcc6aca2cfbe 100644
--- a/sci-mathematics/gretl/gretl-1.9.90.ebuild
+++ b/sci-mathematics/gretl/gretl-2021d.ebuild
@@ -1,76 +1,77 @@
# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=5
+EAPI=8
-USE_EINSTALL=true
-
-inherit elisp-common toolchain-funcs
+inherit elisp-common toolchain-funcs xdg-utils
DESCRIPTION="Regression, econometrics and time-series library"
HOMEPAGE="http://gretl.sourceforge.net/"
-SRC_URI="mirror://sourceforge/${PN}/${P}.tar.xz"
+SRC_URI="mirror://sourceforge/project/${PN}/${PN}/${PV}/${P}.tar.xz"
LICENSE="GPL-3"
-SLOT="0/10"
+SLOT="0/40"
KEYWORDS="~amd64 ~x86 ~amd64-linux ~x86-linux"
-IUSE="accessibility cpu_flags_x86_avx +curl emacs gnome gtk mpi nls odbc openmp python
- readline cpu_flags_x86_sse2 R static-libs"
+IUSE="cpu_flags_x86_avx emacs extras gnome gtk mpi nls odbc openmp python
+ readline cpu_flags_x86_sse2 R"
-CDEPEND="
+DEPEND="
dev-libs/glib:2=
- dev-libs/gmp:0=
+ >=dev-libs/gmp-4.0.1:0=
+ dev-libs/json-glib:0=
dev-libs/libxml2:2=
- dev-libs/mpfr:0=
+ >=dev-libs/mpfr-2.2.0:0=
+ net-misc/curl:0=
sci-libs/fftw:3.0=
sci-visualization/gnuplot
virtual/lapack
virtual/latex-base
- accessibility? ( app-accessibility/flite:= )
- curl? ( net-misc/curl:0= )
emacs? ( >=app-editors/emacs-23.1:* )
+ gnome? ( >=gnome-extra/libgsf-1.14.47[gtk?] )
gtk? (
media-libs/gd:2=[png]
- sci-visualization/gnuplot[gd]
+ >=sci-visualization/gnuplot-5.0[cairo]
x11-libs/gtk+:3=
x11-libs/gtksourceview:3.0= )
mpi? ( virtual/mpi )
odbc? ( dev-db/unixODBC:0= )
R? ( dev-lang/R:0= )
readline? ( sys-libs/readline:0= )"
-RDEPEND="${CDEPEND}
+RDEPEND="${DEPEND}
python? ( dev-python/numpy )"
-DEPEND="${CDEPEND}
- virtual/pkgconfig"
+BDEPEND="virtual/pkgconfig
+ extras? ( dev-texlive/texlive-latexextra )
+ gtk? ( x11-misc/xdg-utils )"
SITEFILE=50${PN}-gentoo.el
-REQUIRED_USE="emacs? ( gtk ) !curl? ( !gtk )"
+REQUIRED_USE="emacs? ( gtk )"
+
+PATCHES=(
+ "${FILESDIR}"/${PN}-2001d-appdatadir.patch
+)
+
+DOCS=( README ChangeLog CompatLog )
-pkg_setup() {
- if use openmp && [[ $(tc-getCC)$ == *gcc* ]] && ! tc-has-openmp ; then
- ewarn "You are using a non capable gcc compiler ( < 4.2 ? )"
- die "Need an OpenMP capable compiler"
+pkg_pretend() {
+ if [[ ${MERGE_TYPE} != binary ]]; then
+ use openmp && tc-check-openmp
fi
}
src_configure() {
+ xdg_environment_reset
econf \
--disable-rpath \
- --enable-shared \
- --with-mpfr \
- --docdir="${EPREFIX}/usr/share/doc/${PF}" \
- --htmldir="${EPREFIX}/usr/share/doc/${PF}/html" \
$(use_enable cpu_flags_x86_avx avx) \
- $(use_enable curl www) \
+ $(use_enable extras build-addons) \
$(use_enable gtk gui) \
$(use_enable gtk xdg) \
$(use_enable gtk xdg-utils) \
$(use_enable nls) \
$(use_enable openmp) \
$(use_enable cpu_flags_x86_sse2 sse2) \
- $(use_enable static-libs static) \
- $(use_with accessibility audio) \
+ $(use_with gnome gsf) \
$(use_with mpi) \
$(use_with odbc) \
$(use_with readline) \
@@ -80,7 +81,7 @@ src_configure() {
}
src_compile() {
- emake
+ default
if use emacs; then
cd utils/emacs && emake
elisp-compile gretl.el
@@ -88,13 +89,13 @@ src_compile() {
}
src_install() {
- # to fix
emake -j1 DESTDIR="${D}" install
+ einstalldocs
+ find "${ED}" -type f -name '*.la' -delete || die
if use emacs; then
elisp-install ${PN} utils/emacs/gretl.{el,elc}
elisp-site-file-install "${FILESDIR}/${SITEFILE}"
fi
- dodoc README README.audio ChangeLog CompatLog
}
pkg_postinst() {
@@ -104,8 +105,19 @@ pkg_postinst() {
elog "add the following line to your \"~/.emacs\" file:"
elog " (add-to-list 'auto-mode-alist '(\"\\\\.inp\\\\'\" . gretl-mode))"
fi
+
+ if use gtk; then
+ xdg_desktop_database_update
+ xdg_icon_cache_update
+ xdg_mimeinfo_database_update
+ fi
}
pkg_postrm() {
use emacs && elisp-site-regen
+ if use gtk; then
+ xdg_desktop_database_update
+ xdg_icon_cache_update
+ xdg_mimeinfo_database_update
+ fi
}
diff --git a/sci-mathematics/gretl/metadata.xml b/sci-mathematics/gretl/metadata.xml
index 47fa48a1557b..8ddce5301b74 100644
--- a/sci-mathematics/gretl/metadata.xml
+++ b/sci-mathematics/gretl/metadata.xml
@@ -18,6 +18,7 @@
in LaTeX format.
</longdescription>
<use>
+ <flag name="extras">Build and install add-ons bundled with gretl</flag>
<flag name="R">Enable support for <pkg>dev-lang/R</pkg></flag>
</use>
<upstream>
diff --git a/sci-mathematics/lcalc/Manifest b/sci-mathematics/lcalc/Manifest
index 7806f02ead0b..94094fe4401c 100644
--- a/sci-mathematics/lcalc/Manifest
+++ b/sci-mathematics/lcalc/Manifest
@@ -1,3 +1,5 @@
DIST lcalc-2.0.3.tar.xz 825904 BLAKE2B c2daab62de1d5bfb024a8246a965d850480cf313efe4f0ddb7561c28d2cae2aa231fea5c07e073d21e04cfcf2b558f931472825f9100e6ab4585ac87d80b4d3a SHA512 33d7cff04d88b62775a69b5b38eea41c24bdb88592d5185fbf9c13ea0c62a7c07c041f7f4e5c06415a3983b0ba369f3c9766a556090a6282e1cd7003ad25ba46
+DIST lcalc-2.0.4.tar.xz 832620 BLAKE2B b37d9ebf2d1df88b04fba6c9834ebc977ed483ad399cdaccf5347e4aee2295e26615a0331f6386209fe87424a8444f198a9ec1173d88e741dd6f2b9246ae287c SHA512 760634a66184f4777b8849859322c4b31f4bdd9d6644a44a2129e47e2f691424b126953353273f7a57dba7236cffe4f35504bb9d03fdd152f74c7d1a48dc712c
EBUILD lcalc-2.0.3.ebuild 924 BLAKE2B 7207a3babebb5a8e47066634e85c4a9f6e03c466cd1cbf18edcdf5c022d8b387a989b9e3013e897bedaf6f553a98cce780d6daf971324ece5a8b79471b095e56 SHA512 f5d4dee6746b553ba89603659fa3581d670e7e089ff3c996718c0aa7fbfb7d3e171310fa0490a8aa55083dc50059830e2bec0e7d35d540b14f211550f12506ea
+EBUILD lcalc-2.0.4.ebuild 925 BLAKE2B ec5e4de013841a9f6d5021afab4b04ebf9db338bee06f3a43761d602883cf1d50dff493f3cfcf96575cb2f2eff95bff74d9be934478a13db609cb6e6ab37f607 SHA512 0c90b3fb1f5b782b6948af10939ca33f18d5b0ccfddd3f60ab6619abbfc750a3899c1cfc59bd62793d1e387f3019297424d38739fc66c4591c212b19ff948e34
MISC metadata.xml 1165 BLAKE2B 77544a05687fad32c18cb8d840d8de4291cae4135976bd741bbfd57a015956d5104026b99b1aec934d6a260501d89cd947e052a2ac85e35d2c93f7fc08224ac1 SHA512 cce822c8b50d97a7f8405634f565c3fbe147732db57bd66cccbaad2c2eda23076b76d0dfa442d462d55625a5dff06dde9bdf5e6ab4a9c9417d2f69972cc87add
diff --git a/sci-mathematics/lcalc/lcalc-2.0.4.ebuild b/sci-mathematics/lcalc/lcalc-2.0.4.ebuild
new file mode 100644
index 000000000000..26818c40aafb
--- /dev/null
+++ b/sci-mathematics/lcalc/lcalc-2.0.4.ebuild
@@ -0,0 +1,31 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Command-line utility and library for L-function computations"
+HOMEPAGE="https://gitlab.com/sagemath/lcalc"
+SRC_URI="https://gitlab.com/sagemath/lcalc/uploads/4d84022aa5285414eb547121b783601a/${P}.tar.xz"
+
+LICENSE="GPL-2+"
+# The subslot is the libLfunction soname major version
+SLOT="0/1"
+KEYWORDS="~amd64"
+
+# Omit USE=mpfr for now because it's broken upstream:
+#
+# https://gitlab.com/sagemath/lcalc/-/issues/7
+#
+IUSE="+double double-double quad-double pari"
+REQUIRED_USE="^^ ( double double-double quad-double )"
+
+BDEPEND="dev-util/gengetopt"
+DEPEND="double-double? ( sci-libs/qd:= )
+ quad-double? ( sci-libs/qd:= )
+ pari? ( sci-mathematics/pari:= )"
+REPEND="${DEPEND}"
+
+src_configure() {
+ econf $(use_with pari) \
+ --enable-precision="$(usev double)$(usev double-double)$(usev quad-double)"
+}
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest
new file mode 100644
index 000000000000..aef66b1db2f7
--- /dev/null
+++ b/sci-mathematics/lean/Manifest
@@ -0,0 +1,5 @@
+AUX lean-CMakeLists-fix_flags.patch 1285 BLAKE2B 0507e553c1acf2a53c5267932127117d5ae5ba9015a08c88748b3d82c041f8d904d15cd033dd7934ac55c474fa75a5d4a46f680cc887fee37c05c3f5f3832839 SHA512 11a5918847e45aac7bf79e48d8f881ef5cd3e6b09dbb0979f3f0b88fd36458be21ebeb530158da801399a0cdc8fe382444ff338cd793cd9f1bfced90c5d5a71b
+DIST lean-3.35.1.tar.gz 1872461 BLAKE2B 44635b05a7e8ea89522dfb44b8f097ec530419ab79a5413648292ca34019ca744ae3e327cf3a7c627cb7a7a682cfcb2ffc5e6802f2c5ad67e0a7abc303624a3c SHA512 24238cd9e920042f5bf7ba0a121da860e7e9c804d169c888bfabbc5e79e55f556a8920fab0c1a7e72b13501798c5f3fcb068f1705a0cf230f2b89abe1b3045ab
+EBUILD lean-3.35.1-r2.ebuild 1773 BLAKE2B 15392079ec1e4d9eec5dfd9ee13fee05eca98fb2d7fe204a05b793b06588848c339dbb3b01c8c84f30fc45acc2ce8bb74be5841b9aa216a3d5f2d42d3158b7a6 SHA512 89f983bdb770e0fdbbcbd4db2a1bc8de25df33050ed936748788695e4926588471e8963289ef5bd397748abc41aae656f5614f3317b05b70f54dcd43189464d1
+EBUILD lean-3.9999.ebuild 1773 BLAKE2B 15392079ec1e4d9eec5dfd9ee13fee05eca98fb2d7fe204a05b793b06588848c339dbb3b01c8c84f30fc45acc2ce8bb74be5841b9aa216a3d5f2d42d3158b7a6 SHA512 89f983bdb770e0fdbbcbd4db2a1bc8de25df33050ed936748788695e4926588471e8963289ef5bd397748abc41aae656f5614f3317b05b70f54dcd43189464d1
+MISC metadata.xml 656 BLAKE2B 2cb237ee8ec926a98c9c91cbb446daa36b167ecd7a3e9270982f0b4d3ba578a3c2beab79beb0dd9f63efc58ba0a9d01e9ca941922ed92b8ac919e19450880557 SHA512 6923cf3fb58c9b4ce183d95d0b2ea071ca3bbaf397dd04eb37862a92f39ab406d9cce42f61ef7054860cffc61c816b1591c1a97edc9a11630c74e2e88553408f
diff --git a/sci-mathematics/lean/files/lean-CMakeLists-fix_flags.patch b/sci-mathematics/lean/files/lean-CMakeLists-fix_flags.patch
new file mode 100644
index 000000000000..1fd788fd79be
--- /dev/null
+++ b/sci-mathematics/lean/files/lean-CMakeLists-fix_flags.patch
@@ -0,0 +1,23 @@
+index f0efdf425..4cd461986 100644
+--- a/CMakeLists.txt
++++ b/CMakeLists.txt
+@@ -194,7 +194,7 @@ set(CMAKE_CXX_FLAGS_DEBUG "-DLEAN_DEBUG -DLEAN_TRACE")
+ set(CMAKE_CXX_FLAGS_MINSIZEREL "-DNDEBUG")
+ set(CMAKE_CXX_FLAGS_RELEASE "-DNDEBUG")
+ set(CMAKE_CXX_FLAGS_RELWITHDEBINFO "-DLEAN_DEBUG")
+-set(CMAKE_CXX_FLAGS_GPROF "-O2 -g -pg")
++set(CMAKE_CXX_FLAGS_GPROF "-g -pg")
+
+ # OSX .dmg generation (this is working in progress)
+ set(CPACK_DMG_BACKGROUND_IMAGE "${LEAN_SOURCE_DIR}/../images/lean.png")
+@@ -264,8 +264,8 @@ if (NOT MSVC)
+ set(CMAKE_CXX_FLAGS "-Wall -Wextra -std=c++11 ${CMAKE_CXX_FLAGS}")
+ set(CMAKE_CXX_FLAGS_DEBUG "-g3 ${CMAKE_CXX_FLAGS_DEBUG}")
+ set(CMAKE_CXX_FLAGS_MINSIZEREL "-Os ${CMAKE_CXX_FLAGS_MINSIZEREL}")
+- set(CMAKE_CXX_FLAGS_RELEASE "-O3 ${CMAKE_CXX_FLAGS_RELEASE}")
+- set(CMAKE_CXX_FLAGS_RELWITHDEBINFO "-O2 -g3 ${CMAKE_CXX_FLAGS_RELWITHDEBINFO}")
++ set(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS_RELEASE}")
++ set(CMAKE_CXX_FLAGS_RELWITHDEBINFO "-g3 ${CMAKE_CXX_FLAGS_RELWITHDEBINFO}")
+ elseif (MULTI_THREAD)
+ set(CMAKE_CXX_FLAGS_DEBUG "/MTd ${CMAKE_CXX_FLAGS_DEBUG}")
+ set(CMAKE_CXX_FLAGS_MINSIZEREL "/MT ${CMAKE_CXX_FLAGS_MINSIZEREL}")
diff --git a/sci-mathematics/lean/lean-3.35.1-r2.ebuild b/sci-mathematics/lean/lean-3.35.1-r2.ebuild
new file mode 100644
index 000000000000..a15591b790f5
--- /dev/null
+++ b/sci-mathematics/lean/lean-3.35.1-r2.ebuild
@@ -0,0 +1,75 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+MAJOR=$(ver_cut 1)
+CMAKE_IN_SOURCE_BUILD="ON"
+
+inherit cmake optfeature readme.gentoo-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-community/lean.git"
+else
+ SRC_URI="https://github.com/leanprover-community/lean/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
+ KEYWORDS="~amd64 ~x86"
+fi
+S="${WORKDIR}/lean-${PV}/src"
+
+LICENSE="Apache-2.0"
+SLOT="0/${MAJOR}"
+IUSE="debug +json +threads"
+
+RDEPEND="dev-libs/gmp:="
+DEPEND="${RDEPEND}"
+
+PATCHES=( "${FILESDIR}/${PN}-CMakeLists-fix_flags.patch" )
+
+src_configure() {
+ local CMAKE_BUILD_TYPE
+ if use debug; then
+ CMAKE_BUILD_TYPE="Debug"
+ else
+ CMAKE_BUILD_TYPE="Release"
+ fi
+
+ local mycmakeargs=(
+ -DALPHA=ON
+ -DAUTO_THREAD_FINALIZATION=ON
+ -DJSON=$(usex json)
+ -DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}"
+ -DMULTI_THREAD=$(usex threads)
+ -DUSE_GITHASH=OFF
+ )
+ cmake_src_configure
+}
+
+src_test() {
+ local myctestargs=(
+ # Disable problematic "style_check" cpplint test,
+ # this also removes the python test dependency
+ --exclude-regex style_check
+ )
+ cmake_src_test
+}
+
+src_install() {
+ cmake_src_install
+
+ local DISABLE_AUTOFORMATTING="yes"
+ local DOC_CONTENTS="You probably want to use lean with mathlib, you can either:
+ - Do not install mathlib globally and use local versions
+ - Use leanproject from sci-mathematics/mathlib-tools
+ $ leanproject global-install
+ - Use leanpkg and compile mathlib (which will take some time)
+ $ leanpkg install https://github.com/leanprover-community/mathlib"
+ readme.gentoo_create_doc
+}
+
+pkg_postinst() {
+ readme.gentoo_print_elog
+}
diff --git a/sci-mathematics/lean/lean-3.9999.ebuild b/sci-mathematics/lean/lean-3.9999.ebuild
new file mode 100644
index 000000000000..a15591b790f5
--- /dev/null
+++ b/sci-mathematics/lean/lean-3.9999.ebuild
@@ -0,0 +1,75 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+MAJOR=$(ver_cut 1)
+CMAKE_IN_SOURCE_BUILD="ON"
+
+inherit cmake optfeature readme.gentoo-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-community/lean.git"
+else
+ SRC_URI="https://github.com/leanprover-community/lean/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
+ KEYWORDS="~amd64 ~x86"
+fi
+S="${WORKDIR}/lean-${PV}/src"
+
+LICENSE="Apache-2.0"
+SLOT="0/${MAJOR}"
+IUSE="debug +json +threads"
+
+RDEPEND="dev-libs/gmp:="
+DEPEND="${RDEPEND}"
+
+PATCHES=( "${FILESDIR}/${PN}-CMakeLists-fix_flags.patch" )
+
+src_configure() {
+ local CMAKE_BUILD_TYPE
+ if use debug; then
+ CMAKE_BUILD_TYPE="Debug"
+ else
+ CMAKE_BUILD_TYPE="Release"
+ fi
+
+ local mycmakeargs=(
+ -DALPHA=ON
+ -DAUTO_THREAD_FINALIZATION=ON
+ -DJSON=$(usex json)
+ -DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}"
+ -DMULTI_THREAD=$(usex threads)
+ -DUSE_GITHASH=OFF
+ )
+ cmake_src_configure
+}
+
+src_test() {
+ local myctestargs=(
+ # Disable problematic "style_check" cpplint test,
+ # this also removes the python test dependency
+ --exclude-regex style_check
+ )
+ cmake_src_test
+}
+
+src_install() {
+ cmake_src_install
+
+ local DISABLE_AUTOFORMATTING="yes"
+ local DOC_CONTENTS="You probably want to use lean with mathlib, you can either:
+ - Do not install mathlib globally and use local versions
+ - Use leanproject from sci-mathematics/mathlib-tools
+ $ leanproject global-install
+ - Use leanpkg and compile mathlib (which will take some time)
+ $ leanpkg install https://github.com/leanprover-community/mathlib"
+ readme.gentoo_create_doc
+}
+
+pkg_postinst() {
+ readme.gentoo_print_elog
+}
diff --git a/sci-mathematics/lean/metadata.xml b/sci-mathematics/lean/metadata.xml
new file mode 100644
index 000000000000..278e5b1a42a2
--- /dev/null
+++ b/sci-mathematics/lean/metadata.xml
@@ -0,0 +1,20 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="person">
+ <email>xgqt@gentoo.org</email>
+ <name>Maciej Barć</name>
+ </maintainer>
+ <longdescription lang="en">
+ The Lean theorem prover is a proof assistant developed principally
+ by Leonardo de Moura at Microsoft Research.
+ </longdescription>
+ <upstream>
+ <bugs-to>https://github.com/leanprover-community/lean/issues</bugs-to>
+ <remote-id type="github">leanprover-community/lean</remote-id>
+ </upstream>
+ <use>
+ <flag name="json"> Enable JSON support</flag>
+ </use>
+</pkgmetadata>
diff --git a/sci-mathematics/lpsolve/Manifest b/sci-mathematics/lpsolve/Manifest
index 550e64058f54..fa009c4ca36f 100644
--- a/sci-mathematics/lpsolve/Manifest
+++ b/sci-mathematics/lpsolve/Manifest
@@ -1,3 +1,3 @@
DIST lpsolve-5.5.2.0.tar.xz 737000 BLAKE2B 912690a7e4ed5fd5d475f322f5c168554fb3d47281545f42d2383ccbe72b3cb0036f72878c94899889972e266e9cf6ad73e59ac1e822deae753ae5b31a00c9b8 SHA512 341bff74dccf805cfd3aa4ee844a51f3c46ce875e88b1bf079a6ff0074f7cbd27420ec9c6a66a2530098a85c967457214543895651f4c570b956324a51bb9fe6
-EBUILD lpsolve-5.5.2.0.ebuild 672 BLAKE2B d1bf38682b9f1d1cd5c5fb735162316cdb27079698f4bb50428cca13c5240007e5284bc0a214913d3031a06ee445f16ca962a93fb1947cf3fe7af77aa0399a06 SHA512 c0b795e95c1db20a2d904c69052b2239de975964a03fa0b6ad85cb6bf2f95f9e9e7f97e0a7344b6f796135a49ab419a9f34350e3dbb0163e16e0e7e6bf981c39
+EBUILD lpsolve-5.5.2.0.ebuild 673 BLAKE2B 80ffa341ae18ab0e9bb370f3ef63816f95b5f2de0b3f8ecccf1babede155033e08d0971bacf2d8963165ca008ab2a361b98dad689f25ceac775dfa30448eae26 SHA512 bb307541ad2e5ec0739aea8d66cc94e920afe49cc2be225ea3be6912b2678050f89304bdadae987bc8f34d94ddd0a5ae00713811a0d691b861d9fb96b58c7eae
MISC metadata.xml 463 BLAKE2B f175dce49b24cb9d330a39f29ab07fa821c098aa0f74ed122b51c91bc8cc50e9eb6c60f3267cdab3c523427c25bc1ef6f70f1b34580829c8fa3266b4cbda6265 SHA512 49f10a80ef197ffaff9be05ec05c0a76a9d3c571e88d2c15148f93ffdbd79c280682801a57c11d61a3b230c38434699612ca1448d40d721e59234ffc8fae857e
diff --git a/sci-mathematics/lpsolve/lpsolve-5.5.2.0.ebuild b/sci-mathematics/lpsolve/lpsolve-5.5.2.0.ebuild
index 6ea531bf763f..3a153685d29b 100644
--- a/sci-mathematics/lpsolve/lpsolve-5.5.2.0.ebuild
+++ b/sci-mathematics/lpsolve/lpsolve-5.5.2.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -9,7 +9,7 @@ SRC_URI="http://dev.gentooexperimental.org/~scarabeus/${P}.tar.xz"
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="amd64 ~arm arm64 ppc ~ppc64 x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 ~arm arm64 ~ppc ~ppc64 x86 ~amd64-linux ~x86-linux"
IUSE="static-libs"
DEPEND="sci-libs/colamd"
diff --git a/sci-mathematics/mathlib-tools/Manifest b/sci-mathematics/mathlib-tools/Manifest
new file mode 100644
index 000000000000..a8c5fe76b9bb
--- /dev/null
+++ b/sci-mathematics/mathlib-tools/Manifest
@@ -0,0 +1,3 @@
+DIST mathlib-tools-1.1.0.tar.gz 32374 BLAKE2B f470927cae1dc66478efd44de6a5fd7c8df9656351ee342d14a1e75e8774383616cedf01b21ef1b92220fb03b1f1ccb326e3363dd0fec4fb5876f43c5ddb4010 SHA512 bc59d2e41c42ecc22c5768ac3adb209f0b170e2e97fe68483d8518b78a6b4fa163c1d46e4e3996c6f3e0aaa329c642fd111b3e16d850f40b6edc81c81215d03f
+EBUILD mathlib-tools-1.1.0.ebuild 1241 BLAKE2B 7b636b9be79404b2f46e7d3a5eb0d501a0267cdd00e84963eafd1ccaf91c343aefc93b2ae17b1662cf3d3ccbabbcb2be38d6bbf823122238d4264e14aaba1f8b SHA512 b695d4886cb7b36c944c40153d1ae1bf8e80ece5aa6c0c8e70be0d1b421dc5dad144089991d239d6957c8f50dd2a746a588add440c15af1e74565399135a984c
+MISC metadata.xml 722 BLAKE2B eee8161a95d29fb43a6f3666206d16170f54238815d8caae3f451e6371282ac18900a7233dc0d82946b9ad0b207eb64293dd62f60ce1ac2f0883d237d43e3c73 SHA512 ffded3693ba0e928312e37a5572a5ddf8a4d61d5c4fb04a6ba0d7ec200e2aa05e7f317557eed958b422b51114470668fc5f3ab9b52605ce7f3b7de878f81b9a1
diff --git a/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild b/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
new file mode 100644
index 000000000000..ce6f9c8adf9e
--- /dev/null
+++ b/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
@@ -0,0 +1,49 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=(python3_{8,9})
+
+inherit distutils-r1
+
+DESCRIPTION="Development tools for Lean's mathlib"
+HOMEPAGE="https://github.com/leanprover-community/mathlib-tools"
+
+if [[ "${PV}" == *9999* ]]; then
+ inherit git-r3
+ EGIT_REPO_URI="https://github.com/leanprover-community/${PN}.git"
+else
+ SRC_URI="https://github.com/leanprover-community/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="Apache-2.0"
+SLOT="0"
+
+DEPEND="
+ >=dev-python/GitPython-2.1.11[${PYTHON_USEDEP}]
+ >=dev-python/toml-0.10.0[${PYTHON_USEDEP}]
+ dev-python/PyGithub[${PYTHON_USEDEP}]
+ dev-python/atomicwrites[${PYTHON_USEDEP}]
+ dev-python/certifi[${PYTHON_USEDEP}]
+ dev-python/click[${PYTHON_USEDEP}]
+ dev-python/networkx[${PYTHON_USEDEP}]
+ dev-python/pydot[${PYTHON_USEDEP}]
+ dev-python/pyyaml[${PYTHON_USEDEP}]
+ dev-python/requests[${PYTHON_USEDEP}]
+ dev-python/tqdm[${PYTHON_USEDEP}]
+"
+RDEPEND="
+ ${DEPEND}
+ sci-mathematics/lean:0/3
+"
+
+distutils_enable_tests pytest
+
+src_prepare() {
+ # Remove problematic tests (mainly issues with network)
+ rm ./tests/test_functional.py || die
+
+ distutils-r1_python_prepare_all
+}
diff --git a/sci-mathematics/mathlib-tools/metadata.xml b/sci-mathematics/mathlib-tools/metadata.xml
new file mode 100644
index 000000000000..f91e58a755f7
--- /dev/null
+++ b/sci-mathematics/mathlib-tools/metadata.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="person">
+ <email>xgqt@gentoo.org</email>
+ <name>Maciej Barć</name>
+ </maintainer>
+ <longdescription lang="en">
+ This package contains leanproject, a supporting tool for Lean mathlib.
+ More info:
+ - https://leanprover-community.github.io/toolchain.html#handling-dependencies
+ - https://leanprover-community.github.io/leanproject.html
+ </longdescription>
+ <upstream>
+ <bugs-to>https://github.com/leanprover-community/mathlib-tools/issues</bugs-to>
+ <remote-id type="github">leanprover-community/mathlib-tools</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/sci-mathematics/mathomatic/Manifest b/sci-mathematics/mathomatic/Manifest
index 36499b056bfe..39df3c99fe6c 100644
--- a/sci-mathematics/mathomatic/Manifest
+++ b/sci-mathematics/mathomatic/Manifest
@@ -1,3 +1,3 @@
DIST mathomatic-16.0.5.tar.gz 381466 BLAKE2B 31dde337646d39faad3bcda6b72e316de4febfaf8c825320c70d69fdd55bb377948ec9e8b5ad855dc0a5b9be0f50b19387a595dfee7299e71fbf19c4f2bae979 SHA512 0d98cf7ad707d6536731c98dd253f4cce30243e9eefe9912b8fec3ad4ac4261e324b93b4f0113789ce17fd0b2e3d75f7b258be7905d8e3c7bb4b756627b75950
-EBUILD mathomatic-16.0.5.ebuild 1067 BLAKE2B c24fed7d4cd822817d70e95259cf65c9cdd9595d774dd62eeb9e694cb11d50df62fb1f8261dab3909bb44c5672f236d9a2588e8fa29d25963c42c209d2b1a889 SHA512 f63b5eee66e5744843829a37ee049ca4ea737679bec14c54d8c6c324ee1db42a17b3f98cca46901fa130d49ff06ad1ba6d9d00481fef76fb8848973a1a4a9109
+EBUILD mathomatic-16.0.5.ebuild 1068 BLAKE2B e944b4f462169b3a47d80f31805b352ac56c5f82f1e9c5f6a9f15d282e40efc83d46401e840d5ebc0b5909d4569aae45fe29c58bfbd4e62374bf3e4b57c0df9d SHA512 d44c8476d22f39e1d3be7a9523d078e74bd436af907568ca756865db11afda8d6c3f6a8d6a6a84c4ba98dddef615faa504eef85e73c173353d1d8cf84f541407
MISC metadata.xml 620 BLAKE2B 6e940ef7cff9245d2c53d222b811dbfb9802599ddf4a057678c0e69389f872052819b4b395c40d38ee7ebb3fc6e156628c95cd1a3466a034fb0febabf1c725b9 SHA512 89d1fce50b1f404956e1174cf63e1db2e66bf9ed42f636ad607c63723707b366a19446429f9f51efe83d7fc4e716d42c5590f1a6ed405dc8c229f10e80247e04
diff --git a/sci-mathematics/mathomatic/mathomatic-16.0.5.ebuild b/sci-mathematics/mathomatic/mathomatic-16.0.5.ebuild
index 9d087a72a670..949045b8228a 100644
--- a/sci-mathematics/mathomatic/mathomatic-16.0.5.ebuild
+++ b/sci-mathematics/mathomatic/mathomatic-16.0.5.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -10,7 +10,7 @@ SRC_URI="https://github.com/mfillpot/mathomatic/archive/${P}.tar.gz"
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="amd64 ppc x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 ~ppc x86 ~amd64-linux ~x86-linux"
IUSE="doc gnuplot"
DEPEND="sys-libs/readline:=
diff --git a/sci-mathematics/maxima/Manifest b/sci-mathematics/maxima/Manifest
index 93ac89c143f7..41cdfc15117f 100644
--- a/sci-mathematics/maxima/Manifest
+++ b/sci-mathematics/maxima/Manifest
@@ -16,7 +16,7 @@ AUX xdg-utils-1.patch 1313 BLAKE2B 35d6f88c505c5b1bb5ecf5691e17522b427a3f035f64d
DIST maxima-5.42.1.tar.gz 41865510 BLAKE2B d3b8a50594dc0cef0c354c42be1aee96df77a4e222dbe457edeb47d7fe77a8fe376b10ce8da9e4ff6c447242e9c53a32286d09a64d8600112f6feda92f1fb58d SHA512 79c5e70119b0384d9dd8aa47c7e96a0ccb7e6367526b8a14d21f00137a1c2f0c8b7990bb7231d7c90ffa0090f67c1fa30a418d013d9c5982030ae68de9717f48
DIST maxima-5.44.0.tar.gz 34976354 BLAKE2B d6870b6fb0581d9e60d6ed97c7daed8ce12b8b1ae49d0edb7b8d31dd723f9b879eb70440659ff958f53cee16d8d2a92f80dcaa3898d9f6dbabd79a5059073a65 SHA512 1e043bebb7c6d002c113d8de20a98d58d1a8e7bedfc9bcf52819e7c7554655991dc2f42f0333889706574249736db833a237b3e59b967e7e42ede28262e31f2f
DIST maxima-5.45.1.tar.gz 39951932 BLAKE2B b6d67aebf34c12567ec5d08581dc22d13a902d42074abc967f8e50e029845a52a2538da8cb4382e3e28163ce11a6d8c245cfc48150cc10768250de34368acf6c SHA512 08e7a2b24324c0f0dda127d291b9d439125fa1324732b17c804c3eb68d35f87e3fc713c147472821a1781e6378b7afb0721d5da907826324ec3d24848251b7cf
-EBUILD maxima-5.42.1-r1.ebuild 4915 BLAKE2B 6a1e69a325f186ca1c75c5ea04083778a147a58bcc8f5a92a9d2e9a8a4df3a9008864772afe7ca1e55e2e28361ba5ab3398627e217e03073f1d77c8334ba27dc SHA512 f749d004d177e75cba694729bdca07b361a0cd8280d4146faf525b076a2f6042ca0027626076c0d2184b0a48cc7f03000e44bd69ec1c7bb53caf424d8ed3e25e
+EBUILD maxima-5.42.1-r1.ebuild 4916 BLAKE2B 838203d4b4e1d417eb35a0891cb8b9801114f53fbce2ca9910e3ecfe53932a4be96e454721e46049a4fdd84b61eb447610eb028b33860fd34b0e2d60c9595bea SHA512 77184d89fa584f92da3e691ebddab58da12733c99742d6eb835d1be2d69ff0f11bdfffa40f3c7dfe537a4ee08fc34e8d269a5cec20c60a498eb9e77f92f137ce
EBUILD maxima-5.44.0-r10.ebuild 6372 BLAKE2B e3297b624215d728f9e2496548dd7f8120a580769a4d9a4900732b81410f6e10df28b132bb89272668ad29fbab8c95507ea9c7d0854894bff23ce3e82597ba0f SHA512 1f8d36eb61225a4a76250808964a6a6352a642c031ee129680a4f5cc6b418515c34c5c275478a4b46fcc41caffa3cc80d3111205b530b2384b313b46b481ea1b
EBUILD maxima-5.44.0-r9.ebuild 6298 BLAKE2B 8db82bbae80fd131141e5d5b8a700972865ae187b6b72956f14d48733ed91d54527e8784da044d63ee6c48f0c0604124dbe08aad856fbfd81bb61546aabb21d5 SHA512 f166a500b8bfc04de71d0851fe25fe8e9e48e5fe274d38099d5b9277c839ecb2fa4e6ec11c6b854921691b782a1c47b03001b0ac3723d6b9e42710bafc8cac78
EBUILD maxima-5.45.1-r2.ebuild 6374 BLAKE2B bae227125971213b20fc68eb0e6e6e1b653e07969169edc6c0157b0567e4fa64d5c9dc8233e0b03bcc0d41a19757da740bfe6a87742b5d9be0ae18a6ce53f42d SHA512 7729217e3978f9d05bbfcef32127c8f43a820ad176195032c8a6d8fe26e95e69ff0369d1c0e5fb92925ce35c7c73adc531dc7f0175fddbfb5798d79932f56d43
diff --git a/sci-mathematics/maxima/maxima-5.42.1-r1.ebuild b/sci-mathematics/maxima/maxima-5.42.1-r1.ebuild
index 087518553d51..e06559d09565 100644
--- a/sci-mathematics/maxima/maxima-5.42.1-r1.ebuild
+++ b/sci-mathematics/maxima/maxima-5.42.1-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="mirror://sourceforge/${PN}/${P}.tar.gz"
LICENSE="GPL-2 GPL-2+"
SLOT="0"
-KEYWORDS="amd64 ppc x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 ~ppc x86 ~amd64-linux ~x86-linux"
# Supported lisps
LISPS=( sbcl cmucl gcl ecls clozurecl clisp )
diff --git a/sci-mathematics/metamath/Manifest b/sci-mathematics/metamath/Manifest
new file mode 100644
index 000000000000..32ce99ca3096
--- /dev/null
+++ b/sci-mathematics/metamath/Manifest
@@ -0,0 +1,4 @@
+AUX metamath-configure.ac-dont_force_optimize.patch 490 BLAKE2B 5a7175a72b32ecb1991f01a481459543bf9fdc511ded4bbe1551d5991710f3176575b7ebbea50c6aff3cb4087370960249e78223b84df6337304c1eb7dfaf460 SHA512 882ebb713e6209af28d39fbe120aac223337602d3553e93bfe2649237f6f03cc5dc5ab610ae0f051054f24668ecea85293ce9a1bac6fb8b635a52f93e9cf806f
+DIST metamath-0.198.tar.gz 468593 BLAKE2B 030bc61f5d8f0c02d473fcd2802b3411c96eff04f7144b966f1f098aec3a65218137228f4d97ba96aaa190386802db00865b9e997b399ce06b19d421c335f2bf SHA512 607c0a8208b9414b36bf82a1fcb0b826e9bfa4cbcec0337be58f3e890b91473649b115403227f440b9774e5653434ffdf09f0ab82c2f5af59eac0d11b9d09942
+EBUILD metamath-0.198.ebuild 632 BLAKE2B f5df87080cce63d8410cd70d7979350582e40357fc9fbabe86bff8d8ba4434d6170a1d1ecfefe5f1d5ad5a3b7ca8f456f5eaecb406490631539a009d53d95677 SHA512 dea937a871e03eece4f72a81e6814013ddfc7266da2aa708394c1dc35a4584d565d42260b05b116290d8529ed909605fb8bc627e2015e44848fef6fc539b249c
+MISC metadata.xml 619 BLAKE2B fdeb72df964419f71e05af45685e81e9127e978b648d0386cbbad50485455a952fa380c5cf66706afb247a731b091fe7efbe076139d336132b3dc1ced69591bf SHA512 d7c4e4d33f5605a36480f62631c63d22724bb4f448aa102edce4d06898eecb6629f1cee59e16f13634359694d861b69317fa3d236a82ca3aa7252dd8159b3dc3
diff --git a/sci-mathematics/metamath/files/metamath-configure.ac-dont_force_optimize.patch b/sci-mathematics/metamath/files/metamath-configure.ac-dont_force_optimize.patch
new file mode 100644
index 000000000000..548b0042ecef
--- /dev/null
+++ b/sci-mathematics/metamath/files/metamath-configure.ac-dont_force_optimize.patch
@@ -0,0 +1,16 @@
+index 263d3d8..68a8fea 100644
+--- a/configure.ac
++++ b/configure.ac
+@@ -45,11 +45,9 @@ int f() {
+
+ # Try to optimize.
+ AC_MSG_CHECKING([[for optimization flags]])
+-new_CFLAGS="-O3 -funroll-loops -finline-functions -fomit-frame-pointer"
++new_CFLAGS=""
+ saved_CFLAGS="$CFLAGS"
+ CFLAGS="$CFLAGS $new_CFLAGS"
+-# Remove any existing "-O2", or it will override what we're doing.
+-CFLAGS=$( printf "%s" "$CFLAGS" | sed -e 's/ -O2/ /' )
+ AC_LINK_IFELSE(
+ [AC_LANG_PROGRAM([[
+ #include <stdio.h>
diff --git a/sci-mathematics/metamath/metadata.xml b/sci-mathematics/metamath/metadata.xml
new file mode 100644
index 000000000000..824d79b7b66d
--- /dev/null
+++ b/sci-mathematics/metamath/metadata.xml
@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="person">
+ <email>xgqt@gentoo.org</email>
+ <name>Maciej Barć</name>
+ </maintainer>
+ <longdescription lang="en">
+ Metamath is a tiny language that can express theorems in abstract
+ mathematics, accompanied by proofs that can be verified by a computer
+ program.
+ </longdescription>
+ <upstream>
+ <bugs-to>https://github.com/metamath/metamath-exe/issues</bugs-to>
+ <remote-id type="github">metamath/metamath-exe</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/sci-mathematics/metamath/metamath-0.198.ebuild b/sci-mathematics/metamath/metamath-0.198.ebuild
new file mode 100644
index 000000000000..1f48ed968847
--- /dev/null
+++ b/sci-mathematics/metamath/metamath-0.198.ebuild
@@ -0,0 +1,28 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit autotools
+
+DESCRIPTION="Proof verifier based on a minimalistic formalism"
+HOMEPAGE="http://us.metamath.org/"
+
+if [[ "${PV}" == *9999* ]]; then
+ inherit git-r3
+ EGIT_REPO_URI="https://github.com/${PN}/${PN}-exe.git"
+else
+ SRC_URI="https://github.com/${PN}/${PN}-exe/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
+ KEYWORDS="~amd64 ~x86"
+ S="${WORKDIR}/${PN}-exe-${PV}"
+fi
+
+LICENSE="GPL-2"
+SLOT="0"
+
+PATCHES=( "${FILESDIR}/${PN}-configure.ac-dont_force_optimize.patch" )
+
+src_prepare() {
+ default
+ eautoreconf
+}
diff --git a/sci-mathematics/nauty/Manifest b/sci-mathematics/nauty/Manifest
index e7a6abc2feed..2f5ba748c539 100644
--- a/sci-mathematics/nauty/Manifest
+++ b/sci-mathematics/nauty/Manifest
@@ -1,6 +1,10 @@
+DIST nauty-includes.patch 2530 BLAKE2B 8789bc2f65b89aa3bbf27e517f1c56340f9bde089ef54aa28757c66c3954b5c54e8a09b6989ad8d57098970240dd1838baa0003766fe10c7f6c32041abf461e3 SHA512 d11f530fecb86edc9e95f0b4d91240778047c0e84d6259c80490358baf0a3eeaa112acfe1fcdb594da6c6e17855f5e21cb75c88446b8d6d9e96402be0e5e6af2
DIST nauty-popcnt.patch 56034 BLAKE2B 838858a0decf9323217f6b8d7b200b0158db9a02efd278a5d3cf7392ac2201e901b36b963f3f30ca6070fd0ddfa70577a442b795b09fec0d457d33649c6e93c6 SHA512 4931440b6178cb668997539ac2991f0d04758b8750668d4477cb8a456640640c5bb71c2858e423a4ad812e3401151834366e04693bf9a5ecc5ccc211d2e4229c
DIST nauty26r7.tar.gz 1660659 BLAKE2B d1d6774dd65cbdb906727324b5008bb962d54d16f99afe68f643f62ab2e7fe297a7cb4ef59b5f50c72c7e59fa9ff8ef2c82f4a77764c7f076b90e8171c7f1370 SHA512 60a724264b43b48338c17240c3cf7156f408267f1b2df995ea7b5ab9fa48852cb11057e83178a364ca028d80dc9124ca9b38cdac34e150a995475140d07c8af6
+DIST nauty27r3.tar.gz 1721200 BLAKE2B 2071f241dc531a056c678be0ec40497421440f2d5f1796ba20c1257feff426a452df592912faadca08010b29afbbc8cc0552c0517c168af3de9f3334b60d7f18 SHA512 8d6d92de8d348d3874677a55773088f4ff5b9a45fd9ed3802c9b1590072f5861946ac1d21892f4b383a9e36f6c9ac08270d021429cf36da3e5038e6a38d9fb6c
DIST nauty_2.6r7+ds-1.debian.tar.xz 30328 BLAKE2B 009d64aa2042f814e55238ff83bde4d205925922c13a46213b933ec0f6364ed9a86aeabc7b4c22fdb717bd3ee7efdf794f3f2637cd08d7921e61cee99e73cf9a SHA512 fadde6a767e43048980842415207613ffeaa38d021fbf6a3f26a4bbe6877a92ddf5950094de517edd0f924deeacc8dec1d6a7334123c2a87d15befcc3876bc63
+DIST nauty_2.7r3+ds-1.debian.tar.xz 45520 BLAKE2B 5078ab84d1fcdbddc0f7442ebed57fb63551701295615b99f2833c300168dd7f71205fa3cc2e9ea977f52e389b67883b68e7d5d39e1698c6040913e4571fa4f9 SHA512 8618c78a7c6f1d579cb20048fcf55fb45b69d8d1cebd7f2c9aee664768ab78f0ab1930863c8475a153c9ac9f4692cf6e43f96d01c4a219eae1f23bb61cb50407
EBUILD nauty-2.6.7-r1.ebuild 1526 BLAKE2B c3ffeaa04617b7d18d2c18c5264930b6cd3b67db184770cbc34dfaa1b63e8c3496bc2d45f3922965e041a3929e53443da15c84762ac8b4132c8f320d5971a7da SHA512 191f12019f2d3016b6154d9f41a652bdebcbc0ab1cfdc57bc17a77bba4876434dc1b0950777cf4ec556997c82b3897964cb9ff635b8b5b485350a86791e56be0
EBUILD nauty-2.6.7.ebuild 1469 BLAKE2B 31dbd03617b358b4881f866c7b0c0863aa808c58433120c215886f23439896fff8f05e4df3e635473a4400a54fea53084cc81a949bc9eb732397d73775e1c831 SHA512 b9d7e3d17636c716e53658b590d37aaf4ed09219fed46b975cbd9ee1d36c17c1c57c3ce430b13f6125baf094e8f748072313c53e63c1e9249f081afe3f535f9b
+EBUILD nauty-2.7.3.ebuild 1956 BLAKE2B 4b154f9f78826f9326e4b8bc4adeabca7d2b712a1c0e06f3e6c54244bc1db6a3ef3e8f554e77be07d10f849e7a8e79168c66b87e96966ff68bb0636e6e731dbf SHA512 de4147888af985d1d604885092123255143040ae78c40e0204bcac5047e32d1530cc6bba995715ce320e448bf0caead6caa4e95015122f03ad1da22a2039669c
MISC metadata.xml 546 BLAKE2B a4224bf8078d785c2f6a90c3041db97b0dac92eca9ab9513989f899fc7b57e5a95d918a4abc7cbf2d8605107c764e32d4473cea6fa59703a0571aedf48aa5bfe SHA512 ff16cdbedc93669baa03da38ff27683c1a638390611b5c67f1be271542c1cb332e164743b3c9e8b43e89f14316970603bbe7f9130ad656257d8e0a654ce63238
diff --git a/sci-mathematics/nauty/nauty-2.7.3.ebuild b/sci-mathematics/nauty/nauty-2.7.3.ebuild
new file mode 100644
index 000000000000..e9486f711382
--- /dev/null
+++ b/sci-mathematics/nauty/nauty-2.7.3.ebuild
@@ -0,0 +1,76 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit autotools
+
+MY_PV1=$(ver_rs 2 'r')
+MY_PV=$(ver_rs 1 '' $(ver_rs 2 'r'))
+DEBIAN_PATCH_VERSION=1
+
+DESCRIPTION="Computing automorphism groups of graphs and digraphs"
+HOMEPAGE="https://pallini.di.uniroma1.it/"
+
+SRC_URI="https://pallini.di.uniroma1.it/${PN}${MY_PV}.tar.gz
+ mirror://debian/pool/main/${PN:0:1}/${PN}/${PN}_${MY_PV1}+ds-${DEBIAN_PATCH_VERSION}.debian.tar.xz
+ https://src.fedoraproject.org/rpms/nauty/raw/f35/f/nauty-includes.patch"
+
+LICENSE="Apache-2.0"
+SLOT="0"
+KEYWORDS="~amd64 ~arm ~x86"
+IUSE="examples"
+
+BDEPEND="sys-apps/help2man"
+DEPEND="dev-libs/gmp:0
+ sys-libs/zlib
+ sci-mathematics/cliquer"
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/${PN}${MY_PV}"
+
+DOCS=( schreier.txt formats.txt changes24-27.txt )
+
+PATCHES=(
+ "${WORKDIR}"/debian/patches/upstream-fix-gt_numorbits.patch
+ "${WORKDIR}"/debian/patches/upstream-C2help2man.patch
+ "${WORKDIR}"/debian/patches/upstream-autotoolization.patch
+ "${DISTDIR}"/nauty-includes.patch
+ "${WORKDIR}"/debian/patches/unbundle-cliquer.patch
+)
+
+src_prepare() {
+ default
+ rm makefile || die
+
+ # The debian patch looks for <cliquer.h>, but the autotools-form of
+ # cliquer installs that header as <cliquer/cliquer.h>.
+ sed -e 's~<cliquer\.h>~<cliquer/cliquer\.h>~' -i nautycliquer.h || die
+
+ # The debian autotools patch has only a placeholder in LT_INIT for
+ # the version that we must provide.
+ sed -e "s/@INJECTVER@/${PV}/" -i configure.ac || die
+
+ eautoreconf
+}
+
+src_configure() {
+ # Fedora has a patch to enable popcnt at runtime on CPUs that support it,
+ # but their patch isn't applying cleanly. What's worse, the patch doesn't
+ # support clang (bug 732020).
+ econf --disable-static \
+ --disable-popcnt \
+ --enable-tls \
+ --enable-generic
+}
+
+src_install() {
+ default
+
+ if use examples; then
+ docinto examples
+ dodoc nautyex*.c
+ fi
+
+ find "${ED}" -name '*.la' -delete || die
+}
diff --git a/sci-mathematics/octave-epstk/Manifest b/sci-mathematics/octave-epstk/Manifest
index d248aa40948d..a010bb22d200 100644
--- a/sci-mathematics/octave-epstk/Manifest
+++ b/sci-mathematics/octave-epstk/Manifest
@@ -1,4 +1,4 @@
DIST octave-epstk_2.4-1.debian.tar.gz 10905 BLAKE2B 79290d650a3a9e485c2b45fabcf5aa6c68585656f5f1c81ac3412ea123986bb51ed18b7f093bcec954964e260907594d5fda0f28915ef951fe59c6d238092278 SHA512 93ce2bdb04b2be36bc73d2c13a1bdd909b30597a76bc80db0abb1b4f53467742086559ed1f5ce265cea70f84c9b33d07a514b4fc1c8afc46640d0031907e6dea
DIST octave-epstk_2.4.orig.tar.bz2 1072111 BLAKE2B 25694cb80fe66efb15508f6654218a2fcfd66997258e590626caf4daeafdc68b92dba5c9b0066c25777af609606d9b6e15ebea45c8fabcca17c962a1d664172c SHA512 64de7c23e2a79f03a6aeaa9e8a73c6d95e59cf616fc601bd8c6ad18d3870b1c60752f95cdc174cc31b3095e8b6e3858111c7d72b3b6df8effee4393791282112
-EBUILD octave-epstk-2.4.ebuild 888 BLAKE2B 841df3019c6dacfe57780ab6846bca2c1be0f9cf90df04052bfb899838f4b4334fe5e19fb18fcc78b6bed9a49d403d26f76747a33c9f279ab9157a80252ba363 SHA512 c33f7b100bbf908df0442f438454c808e98e13582f38fa82d589a036d44182be83b0bea69556018daece65e12af3bce665e656e4b1a3eaf0f444acfe48fb6e52
+EBUILD octave-epstk-2.4.ebuild 895 BLAKE2B cb9ca100cbc5ee6d57e988ebea5df77ea2384f6bc1ccb6b8735edb9a390d9fbce3e797117b510145f6ad216676a97d9afb35a16ea2c4c84d6fe3a0572a4915c5 SHA512 b3dc185d40de7a45b3cee63544c86c4af4782d65c3497bdd4eb0b07c392b7375ec2d733a9b77740e2cfd83ca07b7cb16892dee4b302eb435f31127ff1229995e
MISC metadata.xml 615 BLAKE2B 26822f07c9d4469a837513b5bc2ec0178f3395e87b418147d5bf8f1f090c9e142d859012ff49c85452c204a5cc05409c5acfdaa770992d8679fea757aa7c6c51 SHA512 c2e6c3021416915b990b199eb72cf6612de132a562cf96acb172b613ed56921f1d12b300b2c082d8113f66412008da78675c922136eed820fd823acf1625ef3c
diff --git a/sci-mathematics/octave-epstk/octave-epstk-2.4.ebuild b/sci-mathematics/octave-epstk/octave-epstk-2.4.ebuild
index beaa8dc5478f..04ae2479ca9c 100644
--- a/sci-mathematics/octave-epstk/octave-epstk-2.4.ebuild
+++ b/sci-mathematics/octave-epstk/octave-epstk-2.4.ebuild
@@ -11,7 +11,7 @@ SRC_URI="mirror://debian/pool/main/${PN:0:1}/${PN}/${PN}_${PV}.orig.tar.bz2
S="${WORKDIR}"
LICENSE="GPL-2"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="~amd64 ~riscv ~x86"
SLOT="0"
IUSE="doc"
diff --git a/sci-mathematics/petsc/Manifest b/sci-mathematics/petsc/Manifest
index 35c0a873b0cb..d38317e053f3 100644
--- a/sci-mathematics/petsc/Manifest
+++ b/sci-mathematics/petsc/Manifest
@@ -1,11 +1,15 @@
AUX petsc-3.13.0-do_not_run_mpiexec.patch 2822 BLAKE2B 6c8e8185c693fdc720c0d8ea803cecff2d4b29ae71e3251e06e3460e05b301b709f30032f9a473f065c3e2a9a7b488241cb0d63ddaebdcdf275513af50257ddc SHA512 c2ea68fd59feed34ea6b7afdcbfe24e27e44d844ed6f077c52b81a20676dabb4613c9add6b33edea7d46f0c1a55993bd020d342092aa15e0f46020cc6bc51609
AUX petsc-3.13.0-fix_sandbox_violation.patch 1022 BLAKE2B 4883be2a38becba88dd1ceafffae46b775f75a59ce990c2d92808a52fb27e5ab89a14e355599009466be0af58680076e15ae74d82cd243b3bfe867fa90f4f05a SHA512 afd6e4ade2a53941d0211baa78e179de9c8bfead15c4c245d25623cee99fb1c0821d154e58428b3c431654d770689afdec1c2bd631f2fa8eedd99d3c7186656c
AUX petsc-3.13.0-make_hypre_configure.patch 4055 BLAKE2B e3bc831665fbe2c9a724a13420d1ce7557b7a1a6fcd7537271a6e48622f29f71f72257d649bcbef4aa4f287a804407cdb80579797eb54cfa994ef85d5bcb617f SHA512 47e4971596342c160fc54e1bc6d9fa739ae4bf6a9e3f89659992a3548de0beacdc7ac34a900117c1ee43b6bfaa81e8a58f1c45acea072be612ece3b5d18d7f86
+AUX petsc-3.16.0-fix_sandbox_violation.patch 717 BLAKE2B 9bef08265c058433cf903cc33739e9a1a2dc19f6ee77d92f2884c8a3fbdabe6585e9afa663a2a9ecf622d2e5c688ee0e931249e2e053213e3f0991070a0dd352 SHA512 3c8b490f8f6f0a4ceff8dbafdcc835174549cfe397753a7855995543c51dc5629c576b3af76c0ef527a62b2475dd5e6f059036048619f4ca83146879682835b9
AUX petsc-3.7.0-disable-rpath.patch 909 BLAKE2B b9b6064886d6c10b382982778398cb7fa254242e5ed0dfb86dd4cd6c094dc51eecfd625f6de5c2779bfc5b3beda351ac44145c69ac246d814a728d7565da8086 SHA512 8241c593d903615feb175bfe8213792ace739a18ac5f4c1d1890155ccea7de30b5ef5d97e2fa3b043e9a1e520e022abedeb038d0b4db671f89045e04edc65a68
DIST petsc-3.13.1.tar.gz 35097687 BLAKE2B fccf64fd3694deffdd0dc561069ffa7e9342fe279b5c9123edeb011df931874083839d27b7b9a0c63faea6487b104b54fd4ce68a88a074c82de91e8baaf270b0 SHA512 41c3138a6ae6c1f2d9077b464c6aeda96287e5a76849582b8f432e2ee93d2594a78ba2181eac0054a77b6165692be5f1a057049313f2be9743d4246383dfdc77
DIST petsc-3.14.6.tar.gz 39719179 BLAKE2B d3047baf87c67eb64ef02c0c54d6313ea06f091b377b3cdf6dcf6d96c7d68cec5958a007ddd84b52a3ab39bfc0adf146307fa1785a10f39386393371186a3fba SHA512 9766e164446ac5a69b8bf761a0e8a235b1a2b85ed9c96a7fd59e668ae4cceb9d9559a38b175b4aa9747e78d7b44d0018a3c02748dcd3d783d28f861f8382d44c
DIST petsc-3.15.0.tar.gz 15976488 BLAKE2B babfbeb05321c9cb2f7d70ef8ffca974a016eae73ca1a3359d9a8d38aa5aa90ff34571169a5711627d738b93f89fdee3d0a0ff1bd0e51cb7300bbb9b0a8675cb SHA512 d1565823d8a5ce5e1c2c576bbe1b4ebf467cef20bbd8e0cf6c303c6c2af2bf902b66c79468f4e125496f9242be4bd6ac162535ee30252cfb902c0d906a6f27c0
+DIST petsc-3.16.0-fftw-without-mpi.patch.bz2 5824 BLAKE2B 59615b1bbaf8ca1da92d7d193a45a2dd434f762cd741d711d4f408183a201a276ac3c968a3e7d740d19212120271701bce52bb7b0f4e311268f40915c81f9dcb SHA512 8e07dfe56a9150ce9a3a5ab8012657875ef84e6e7daa60560bbdd9062078c876a826057f3f3eaf1697ce046a82756ee6eb6a8b819eb51245367c9d5c8a72ee8e
+DIST petsc-3.16.0.tar.gz 16748960 BLAKE2B 87f9fdb79a9c44e5f476fa4746ad0cbe72f3eda9f6039f2e4743105626701d7c8d6c010fdb9d89becf8619288d0b7a60c8bc4e2fc0793eac5b39030b02c04fd9 SHA512 5280032fb4ec4d058733788bb0ae674e7400565e204133bd10ed88a2965230ec7adeaca2d498267ce661377ca7e6f9d948992206b1d679587606cb422c004655
EBUILD petsc-3.13.1.ebuild 5477 BLAKE2B e9a396d53021669d05fab78e68b4ee29430b544eb3f3999f39d38c2e266bf487bc33375057cccd61cc693e5689cdac90ce656a0463df9426b84398dc69997203 SHA512 406f1d98dcfbed81df31f4f0bee38af47b35668f2982d7cbe97ebe4616754731c3a74bec5f823c3a89daa859f4d41d1cbef2da74ba8b5ffa260d16b2ce1139c4
EBUILD petsc-3.14.6.ebuild 5369 BLAKE2B a76974285807ac4b8375099e1ca771e5a7f9c1fb8d14d369572a4d650a16a04f1bf2d074d144667c2c5b65e9bbd49fa2543bdbf97bc09d734326d37d194a12bb SHA512 408deb64b90ebe17671c8f2b75eac0c5d4ed27964acb92c09028200647016083ac01e323faf4e163c269b611e5952e79e223022bc81d557eadf690d83933f949
EBUILD petsc-3.15.0.ebuild 5291 BLAKE2B 54b3b5e1dd217cde21729e55fc82b0879de9d79976c8b2c3d32aefd8c18303b91073abe50226aeffe65e8cedb78dcd21bc7a267e3959941706b144c37fcf2c16 SHA512 4639f9551500799f835c47fd8f1bc521ab624db664de50ce70436d85827c0cd11d2d01556e1238484a769af1e913c773996aa06c3824050947f1a5292e3fb8aa
+EBUILD petsc-3.16.0.ebuild 5425 BLAKE2B 1eac71bf09d22ef0b5b5d88d6215a08fb125e27e30823fe414e3cfa743d7b21b87b11ac9863df81db0fd9354c5ef4024f72b2f632a96f079423ef76951cc4f92 SHA512 4924b6cb7013d2ca25e86111a5c7263c682bd78ea25386f76f89a81127d45139317536beecfabbc52c1b71a93f2a9c19a4f3873eaeed188f9dd939870fe7dd31
MISC metadata.xml 1132 BLAKE2B 97f06bc09680f9133b4c693b4d564dcf0e45a839114be1d49bda6a2adc5521b7b4236af50fab81603212456a428406a7eb78f9266be1f28367f032ce6f526cb1 SHA512 1ea1407782022a64ee166b9cb1b9408ca1c30f13fc94c3da1f2484a8ea3ae79ebe109f4c3cacaef3152360fd8eb8a2e6d9383d307b35d0e36dd193f5ec10478d
diff --git a/sci-mathematics/petsc/files/petsc-3.16.0-fix_sandbox_violation.patch b/sci-mathematics/petsc/files/petsc-3.16.0-fix_sandbox_violation.patch
new file mode 100644
index 000000000000..d1ed880bddfd
--- /dev/null
+++ b/sci-mathematics/petsc/files/petsc-3.16.0-fix_sandbox_violation.patch
@@ -0,0 +1,15 @@
+--- a/config/PETSc/options/installDir.py
++++ b/config/PETSc/options/installDir.py
+@@ -40,13 +40,7 @@ class Configure(config.base.Configure):
+ self.dir = os.path.abspath(os.path.expanduser(self.framework.argDB['prefix']))
+ self.petscDir = self.dir
+ self.petscArch = ''
+- try:
+- os.makedirs(os.path.join(self.dir,'PETScTestDirectory'))
+- os.rmdir(os.path.join(self.dir,'PETScTestDirectory'))
+- except Exception as e:
+- self.logPrint('Error trying to to test write permissions on directory '+str(e))
+- self.installSudo = 'sudo '
+ else:
+ self.dir = os.path.abspath(os.path.join(self.petscdir.dir, self.arch.arch))
+ self.petscDir = self.petscdir.dir
diff --git a/sci-mathematics/petsc/petsc-3.16.0.ebuild b/sci-mathematics/petsc/petsc-3.16.0.ebuild
new file mode 100644
index 000000000000..f39f87d8c281
--- /dev/null
+++ b/sci-mathematics/petsc/petsc-3.16.0.ebuild
@@ -0,0 +1,192 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+PYTHON_COMPAT=( python3_{8..10} )
+
+inherit flag-o-matic fortran-2 python-any-r1 toolchain-funcs
+
+DESCRIPTION="Portable, Extensible Toolkit for Scientific Computation"
+HOMEPAGE="https://www.mcs.anl.gov/petsc/"
+SRC_URI="http://ftp.mcs.anl.gov/pub/petsc/release-snapshots/${P}.tar.gz"
+SRC_URI+=" https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-fftw-without-mpi.patch.bz2"
+
+LICENSE="BSD-2"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="afterimage boost complex-scalars cxx debug fftw
+ fortran hdf5 hypre mpi metis mumps scotch sparse superlu threads X"
+
+# hypre and superlu curretly exclude each other due to missing linking to hypre
+# if both are enabled
+REQUIRED_USE="
+ afterimage? ( X )
+ complex-scalars? ( !hypre !superlu )
+ hdf5? ( mpi )
+ hypre? ( cxx mpi !superlu )
+ mumps? ( mpi scotch )
+ scotch? ( mpi )
+ superlu? ( !hypre )
+"
+
+RDEPEND="
+ virtual/blas
+ virtual/lapack
+ afterimage? ( media-libs/libafterimage )
+ boost? ( dev-libs/boost )
+ fftw? ( sci-libs/fftw:3.0[mpi?] )
+ hdf5? ( sci-libs/hdf5[mpi?] )
+ hypre? ( >=sci-libs/hypre-2.18.0[mpi?] )
+ metis? ( >=sci-libs/parmetis-4 )
+ mpi? ( virtual/mpi[cxx?,fortran?] )
+ mumps? ( sci-libs/mumps[mpi?] sci-libs/scalapack )
+ scotch? ( sci-libs/scotch[mpi?] )
+ sparse? ( sci-libs/suitesparse >=sci-libs/cholmod-1.7.0 )
+ superlu? ( >=sci-libs/superlu-5 )
+ X? ( x11-libs/libX11 )
+"
+
+DEPEND="${RDEPEND}
+ ${PYTHON_DEPS}
+ virtual/pkgconfig
+ dev-util/cmake
+ sys-apps/which
+"
+
+PATCHES=(
+ "${FILESDIR}"/${PN}-3.7.0-disable-rpath.patch
+ "${FILESDIR}"/${P}-fix_sandbox_violation.patch
+ "${WORKDIR}"/${P}-fftw-without-mpi.patch
+)
+
+# petsc uses --with-blah=1 and --with-blah=0 to en/disable options
+petsc_enable() {
+ use "$1" && echo "--with-${2:-$1}=1" || echo "--with-${2:-$1}=0"
+}
+# add external library:
+# petsc_with use_flag libname libdir
+# petsc_with use_flag libname include linking_libs
+petsc_with() {
+ local myuse p=${2:-${1}}
+ if use ${1}; then
+ myuse="--with-${p}=1"
+ if [[ $# -ge 4 ]]; then
+ myuse="${myuse} --with-${p}-include=${EPREFIX}${3}"
+ shift 3
+ myuse="${myuse} --with-${p}-lib=$@"
+ else
+ myuse="${myuse} --with-${p}-dir=${EPREFIX}${3:-/usr}"
+ fi
+ else
+ myuse="--with-${p}=0"
+ fi
+ echo ${myuse}
+}
+
+# select between configure options depending on use flag
+petsc_select() {
+ use "$1" && echo "--with-$2=$3" || echo "--with-$2=$4"
+}
+
+src_configure() {
+ # bug 548498
+ # PETSc runs mpi processes during configure that result in a sandbox
+ # violation by trying to open /proc/mtrr rw. This is not easy to
+ # mitigate because it happens in libpciaccess.so called by libhwloc.so,
+ # which is used by libmpi.so.
+ addpredict /proc/mtrr
+ # if mpi is built with knem support it needs /dev/knem too
+ addpredict /dev/knem
+
+ # configureMPITypes with openmpi-2* insists on accessing the scaling
+ # governor rw.
+ addpredict /sys/devices/system/cpu/
+
+ # bug 771711
+ # configureMPIEXEC and configureMPITypes access /dev/nvidiactl
+ addpredict /dev/nvidiactl
+
+ # bug 810841
+ addpredict /dev/kfd
+
+ local mylang
+ local myopt
+
+ use cxx && mylang="cxx" || mylang="c"
+ use debug && myopt="debug" || myopt="opt"
+
+ # environmental variables expected by petsc during build
+
+ export PETSC_DIR="${S}"
+ export PETSC_ARCH="linux-gnu-${mylang}-${myopt}"
+
+ if use debug; then
+ strip-flags
+ filter-flags -O*
+ fi
+
+ # C Support on CXX builds is enabled if possible i.e. when not using
+ # complex scalars (no complex type for both available at the same time)
+
+ econf \
+ scrollOutput=1 \
+ FFLAGS="${FFLAGS} -fPIC" \
+ CFLAGS="${CFLAGS} -fPIC" \
+ CXXFLAGS="${CXXFLAGS} -fPIC" \
+ LDFLAGS="${LDFLAGS}" \
+ --prefix="${EPREFIX}/usr/$(get_libdir)/petsc" \
+ --with-shared-libraries \
+ --with-single-library \
+ --with-clanguage=${mylang} \
+ $(use cxx && ! use complex-scalars && echo "with-c-support=1") \
+ --with-petsc-arch=${PETSC_ARCH} \
+ --with-precision=double \
+ --with-gnu-compilers \
+ --with-blas-lapack-lib="$($(tc-getPKG_CONFIG) --libs blas lapack)" \
+ $(petsc_enable debug debugging) \
+ $(petsc_enable mpi) \
+ $(petsc_select mpi cc mpicc $(tc-getCC)) \
+ $(petsc_select mpi cxx mpicxx $(tc-getCXX)) \
+ $(petsc_enable fortran) \
+ $(use fortran && echo "$(petsc_select mpi fc mpif77 $(tc-getF77))") \
+ $(petsc_enable mpi mpi-compilers) \
+ $(petsc_select complex-scalars scalar-type complex real) \
+ --with-windows-graphics=0 \
+ --with-matlab=0 \
+ --with-cmake:BOOL=1 \
+ $(petsc_enable threads pthread) \
+ $(petsc_with afterimage afterimage \
+ /usr/include/libAfterImage -lAfterImage) \
+ $(use_with hdf5) \
+ $(petsc_with hypre hypre \
+ /usr/include/hypre -lHYPRE) \
+ $(use_with sparse suitesparse) \
+ $(petsc_with superlu superlu \
+ /usr/include/superlu -lsuperlu) \
+ $(use_with X x) \
+ $(use_with X x11) \
+ $(petsc_with scotch ptscotch \
+ /usr/include/scotch \
+ [-lptesmumps,-lptscotch,-lptscotcherr,-lscotch,-lscotcherr]) \
+ $(petsc_with mumps scalapack \
+ /usr/include/scalapack -lscalapack) \
+ $(use_with mumps mumps \
+ /usr/include \
+ [-lcmumps,-ldmumps,-lsmumps,-lzmumps,-lmumps_common,-lpord]) \
+ --with-imagemagick=0 \
+ --with-python=0 \
+ $(use_with boost) \
+ $(use_with fftw)
+}
+
+src_install() {
+ emake DESTDIR="${ED}" install
+
+ # add PETSC_DIR to environmental variables
+ cat >> 99petsc <<- EOF
+ PETSC_DIR=${EPREFIX}/usr/$(get_libdir)/petsc
+ LDPATH=${EPREFIX}/usr/$(get_libdir)/petsc/lib
+ EOF
+ doenvd 99petsc
+}
diff --git a/sci-mathematics/singular/Manifest b/sci-mathematics/singular/Manifest
index fe177a946b86..bcb110728034 100644
--- a/sci-mathematics/singular/Manifest
+++ b/sci-mathematics/singular/Manifest
@@ -7,7 +7,7 @@ AUX singular-4.2.0-no-static.patch 2644 BLAKE2B 466705130179efe13cd4bdccb09e0bc2
DIST singular-4.2.0p1.tar.gz 14155171 BLAKE2B 444553f87d7ca8d6a62e4519c9857a6892757e92285df7c3b686913a9b51c9ae8d802c41382b0b2b6e37dc2dc496d4a10f262c98407470219cdce131e8baf127 SHA512 2ecd8940c9e8d70a93dbdb4df6da313c00151e5cb959f8eed5856e8df99089b5a03e514fbcdc70903c77df8b59fa7ef9f3b134f1de510b795fa6ea0341089bd8
DIST singular-4.2.0p3.tar.gz 16641923 BLAKE2B 4dd7e1a42c71bbba625e171aee656580b443656f50458909ffae1af81b1413d5330aa032656032ea365225eb088491fe2a48997895e37bc89eea5f17b8fbebb8 SHA512 b9833389b648ec4ba2bd09253f00254b9ae3dc61313fc81c9003b283fc413caab4274e55750de1c342ef24a8fc0ce817643cd31eabbb2999de7f5017dfa1411f
DIST singular-4.2.1.tar.gz 16643430 BLAKE2B 2cfc33bd59a5e8756c7ce022ad2b38477a0d7a6747b3c4fd4b1b168cfd179ace52121506cda2c4d5f318abca72231c74f649ede349b17b5f138083428d9da766 SHA512 48bebbe9c886ee56bb2f7bdd9e356bd33e357a2d707c976b8496200f422a2ba25d7c9bba22a261574428abf73a8b6b111d35236fca647e32619659059e861916
-EBUILD singular-4.2.0_p1.ebuild 2258 BLAKE2B d74e8ad0c98142364ff097e5e2d8585d01ba863021178d9c5206507c2318e71c0484bf620d77bae4927722395ef9b785d6e00be0d7d7bbd91086d71a2f54e143 SHA512 a9339d04e4beb91f440caede447bd565bf1576cab72b93e44ae39ce9be6ef26e294713b39526baa8c5ff68c867cbcddb9e87c42f19c27ca6e82786e4a5b2bf12
+EBUILD singular-4.2.0_p1.ebuild 2259 BLAKE2B 2237245fe2550f398a20a14ae599bcc668288aa6312925cee725e2571dc53f8f62f88bdff0cdf8cd303c72baaf2861a2c560ce54978da720e93cbe459769b7d1 SHA512 2a6b8e478f32ff9e3df96e0188cd137b16d9be1a8c18c9f5367a81b96dc8b0cc01d34771246001eee9e8ec9832f8832539e921879ec56fe8a51ebb42c0d29389
EBUILD singular-4.2.0_p3-r1.ebuild 2428 BLAKE2B af72aae39de23df410fe1d6dfe475c3179f6355fffe1775d4d408bec6fe80aa37022e6a9838a45014488666b56cfaa627f1fc1d007d360fbbe6987f4b3ead197 SHA512 0921b4991019b449054fb7c7c60a9bd39ec6434a19321b79f63470f2e15889945f24bc15f48e12ba16a24ff23c368a73b0b062d0150104d39aa715511766bc55
-EBUILD singular-4.2.1.ebuild 2564 BLAKE2B 8f849b934c52c6e367d70953e0f38c0043a3b0f35075858f3a19d0533e443c9fadab50ccad40d6b3ab8e8812b8b3cb2fe0b36ec9751f11e945ac2728cfc74640 SHA512 69979a38eb3e7c5b590c891595f91465cb3a2140825e0600626390aaa0f6e0a55f4a55a717938bf1923b3a8cb35df361c14a2c944101fba55274ef6cab3d6e45
+EBUILD singular-4.2.1.ebuild 2571 BLAKE2B 7ccf61735ce3bfd5472b646dceb77239430d44bff9816ea2c1a5cd1cd4807c0138ec2396a193c98b7c3b456a36ee72c6351ff95f949f3afa318b5955a14a014b SHA512 1aad8be5aee15235c8f4a865ec8e3e19c3cac61ae6c8db39e7a7f614119fa2dfc1869a7ce9cc6fb896a5ffb455c65e90b2fc91cf98d5b0a3e193941deadc807c
MISC metadata.xml 276 BLAKE2B ebfb8324de9ffc201d51a89c5c48054dad71e7ed3d0c012d20b4e24bdc18aef948acb61b87b4540808e7eeb07e99dca7e2d9b43123b8735e559427d5afc7a28f SHA512 615bf33cd754550bca58862b133795b54792f3253d1e80cf933a4094717e4a46acbd872d9373e0f25005843ff296ce3529d55acf38db43e9921220bdf0a3c2d1
diff --git a/sci-mathematics/singular/singular-4.2.0_p1.ebuild b/sci-mathematics/singular/singular-4.2.0_p1.ebuild
index 47a82d1c8fae..6dd751e0a4ff 100644
--- a/sci-mathematics/singular/singular-4.2.0_p1.ebuild
+++ b/sci-mathematics/singular/singular-4.2.0_p1.ebuild
@@ -17,7 +17,7 @@ SRC_URI="ftp://jim.mathematik.uni-kl.de/pub/Math/${MY_PN}/SOURCES/${MY_DIR}/${PN
LICENSE="BSD GPL-2 GPL-3"
SLOT="0"
-KEYWORDS="amd64 ppc x86 ~x86-linux"
+KEYWORDS="amd64 ~ppc x86 ~x86-linux"
IUSE="emacs examples +readline static-libs"
RDEPEND="dev-libs/gmp:0
diff --git a/sci-mathematics/singular/singular-4.2.1.ebuild b/sci-mathematics/singular/singular-4.2.1.ebuild
index 0f3497acf49d..015943a9e875 100644
--- a/sci-mathematics/singular/singular-4.2.1.ebuild
+++ b/sci-mathematics/singular/singular-4.2.1.ebuild
@@ -17,7 +17,7 @@ SRC_URI="ftp://jim.mathematik.uni-kl.de/pub/Math/${MY_PN}/SOURCES/${MY_DIR}/${PN
LICENSE="BSD GPL-2 GPL-3"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86 ~x86-linux"
+KEYWORDS="~amd64 ~ppc ~riscv ~x86 ~x86-linux"
IUSE="emacs examples +readline static-libs"
RDEPEND="dev-libs/gmp:0
diff --git a/sci-mathematics/slepc/Manifest b/sci-mathematics/slepc/Manifest
index 2b7c9b42733f..d16042866d7b 100644
--- a/sci-mathematics/slepc/Manifest
+++ b/sci-mathematics/slepc/Manifest
@@ -1,7 +1,9 @@
DIST slepc-3.13.1.tar.gz 4797627 BLAKE2B 29372b8a2d4c5f3b26e840df743f7aec098bfeeb29e9c108e509baa21d9697da19c737470ba4c132391d5193ebf749ef3f3c6ece600ec7527502d40a239aa0ee SHA512 620c344274808329c0a1009e7844532e03e88d38135bfd5b73bc0bc6815b17b6dfb49341d05399230ba6e06997db688aec17615429eaca3dc94fd886119bf321
DIST slepc-3.14.2.tar.gz 4865497 BLAKE2B d6fd0b45368383fad03b17f9d7f0ef26215b7459a5566c62ab2ad758eaa5fbc626be255b0aafa29b8830eb649a7bcfb0f36d383b865b4c1baa9de6037638de84 SHA512 0727a4f1672c4eb3cf0aa20aa408b897425539ac69123001ac3b2e0bc2d1fa230ef028fa0cd5e89e7a86a98884164fd1c97a742f90f0c128fcc7066d032ee321
DIST slepc-3.15.0.tar.gz 5191730 BLAKE2B 2fcdfbe25f59a80390478059ef0a8b066ac39b57e99fe65ab4fe4814507fdc78d1feb245df5f7542f08c151d20f2e2a6168c4bc2624f78ab5058627816bb6696 SHA512 f815f0805db3f3e329324778c172ba301ebb5d2fc8f8f4c5dd17e574a2cbed5c0f8015715bc908dfcbd4050fade8dab7ae3b312bae746c41d84c57bc5d101929
+DIST slepc-3.16.0.tar.gz 5486237 BLAKE2B 28f45036ba7e6aa2b227c6f25e2c8edf7fc6914f3150043a7e310f270d24e669f32172897b558687c33a809c484e314a865296d4879a622d85004d329ec3bd1c SHA512 15ba9e4626fe3cf44142448b77869fa6d313bb7c026736d5552dfbab1ce350c2e2f2379fb647a1c236af8cb95895e4442dca1defa741a5b2b9172cbdf0baf75f
EBUILD slepc-3.13.1.ebuild 1581 BLAKE2B 291e731de8209dfb55923816e77edd14017ffec77db4cc96c51fb4d9af14fb273141e424059d77cd123ccaf1d29d436eaa17d8b8e0e5b09eceaa580b52711d7f SHA512 2b59fb26a733c4f1ccb9bdc894cf0534dc0a9d6e150b70a22dd456082d6db7961704be5dade2fc4761930931aa845f486d66db72b0eedae63b21bb9e69054aa2
EBUILD slepc-3.14.2.ebuild 1581 BLAKE2B 291e731de8209dfb55923816e77edd14017ffec77db4cc96c51fb4d9af14fb273141e424059d77cd123ccaf1d29d436eaa17d8b8e0e5b09eceaa580b52711d7f SHA512 2b59fb26a733c4f1ccb9bdc894cf0534dc0a9d6e150b70a22dd456082d6db7961704be5dade2fc4761930931aa845f486d66db72b0eedae63b21bb9e69054aa2
EBUILD slepc-3.15.0.ebuild 1583 BLAKE2B 1897d8420f72f8732d604981f73fc00770749195cc8310b3ca4c464a2e07793b0445549dd68f14bb48973f686b39f95639388478cd0b2189251f4c1952d2272c SHA512 e9cec56f0df9015ddadd844392f50d0cc8faaf2929c717f07089af0b2dc73a43ed9d3fdffa23c49a254e445dfec034d62026242780392404b49ae79e7a0508dd
+EBUILD slepc-3.16.0.ebuild 1583 BLAKE2B 1897d8420f72f8732d604981f73fc00770749195cc8310b3ca4c464a2e07793b0445549dd68f14bb48973f686b39f95639388478cd0b2189251f4c1952d2272c SHA512 e9cec56f0df9015ddadd844392f50d0cc8faaf2929c717f07089af0b2dc73a43ed9d3fdffa23c49a254e445dfec034d62026242780392404b49ae79e7a0508dd
MISC metadata.xml 452 BLAKE2B 88f38d59fe707307721dce331ce359fb394e246e86c9acffe2bca8dcbd08f02f843ecb1c3812ed15af022edb2ccb4132e16067da9ac58129dfdef4119cc00738 SHA512 37974d7da3a3b4ae085ac3430c85ff74d4fafe453b9ef32cccebf893cdcc3074d89f4560056e7e54145ed24fa4f76a2126baf9a01b6a5477babd4fcb412f792c
diff --git a/sci-mathematics/slepc/slepc-3.16.0.ebuild b/sci-mathematics/slepc/slepc-3.16.0.ebuild
new file mode 100644
index 000000000000..0cd112cb1f08
--- /dev/null
+++ b/sci-mathematics/slepc/slepc-3.16.0.ebuild
@@ -0,0 +1,69 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+PYTHON_COMPAT=( python3_{8..10} )
+
+inherit flag-o-matic python-any-r1 toolchain-funcs
+
+DESCRIPTION="Scalable Library for Eigenvalue Problem Computations"
+HOMEPAGE="https://slepc.upv.es/"
+SRC_URI="https://slepc.upv.es/download/distrib/${P}.tar.gz"
+
+LICENSE="LGPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="complex-scalars doc mpi"
+
+RDEPEND="
+ =sci-mathematics/petsc-$(ver_cut 1-2)*:=[mpi=,complex-scalars=]
+ sci-libs/arpack[mpi=]
+ mpi? ( virtual/mpi )
+"
+
+DEPEND="${RDEPEND}
+ ${PYTHON_DEPS}
+ virtual/pkgconfig
+ dev-util/cmake
+"
+
+MAKEOPTS="${MAKEOPTS} V=1"
+
+src_configure() {
+ # *sigh*
+ addpredict "${PETSC_DIR}"/.nagged
+
+ # Make sure that the environment is set up correctly:
+ unset PETSC_DIR
+ unset PETSC_ARCH
+ source "${EPREFIX}"/etc/env.d/99petsc
+ export PETSC_DIR
+ export PETSC_ARCH
+ export SLEPC_DIR="${S}"
+
+ # configure is a custom python script and doesn't want to have default
+ # configure arguments that we set with econf
+ ./configure \
+ --prefix="${EPREFIX}/usr/$(get_libdir)/slepc" \
+ --with-arpack=1 \
+ --with-arpack-dir="${EPREFIX}/usr/$(get_libdir)" \
+ --with-arpack-lib="$(usex mpi "-lparpack,-larpack" "-larpack")"
+}
+
+src_install() {
+ emake DESTDIR="${ED}" install
+
+ # add PETSC_DIR to environmental variables
+ cat >> 99slepc <<- EOF
+ SLEPC_DIR=${EPREFIX}/usr/$(get_libdir)/slepc
+ LDPATH=${EPREFIX}/usr/$(get_libdir)/slepc/lib
+ EOF
+ doenvd 99slepc
+
+ if use doc ; then
+ dodoc docs/slepc.pdf
+ docinto html
+ dodoc -r docs/*.html docs/manualpages
+ fi
+}
diff --git a/sci-mathematics/spin/Manifest b/sci-mathematics/spin/Manifest
index 8321e99850d5..f55709e26d98 100644
--- a/sci-mathematics/spin/Manifest
+++ b/sci-mathematics/spin/Manifest
@@ -1,4 +1,4 @@
-AUX spin-6.4.5-makefile.patch 620 BLAKE2B 44fe04e7338e872be7efe6ffc2766c926ad425886bba2dff71972a77a455e2a72b34796f1c7b0618eb3777fdb05f12ba9d63c05fd229eee98fa50cc7830ae468 SHA512 47b72f5cda3275f62a291870e3683fb3f29f3eeab2d251336777d9a2c814b6be436bcbe59a8d98c0f4f32d7b0a9a2961f34c436d6f265d8a2474258fd9c0d6ee
-DIST spin645.tar.gz 672549 BLAKE2B 5b0f7d5ef8fbec84a4423938c10272f804084d05d470a69ef954ee261752b238b16643054d934617861fb02ef4a318c708a8464102572d34b71c883cb84fe450 SHA512 77bc35bb852c0448915c655bf11910d0b226d30d66abaa63311e6227de03f920ca026e7399cbeebdae631368fd8091f1e8330bd3094bd4febdf7d5c7a81834ad
-EBUILD spin-6.4.5.ebuild 891 BLAKE2B d80a6d3b613c4c5e8dd3bf307ecb6b20458a0d3ab15ba71d073e369c1aac2f2c83adc7b2fac0717885d9d9fc3e1e3789518a117da3e1341ae1feb81e1c6ac9af SHA512 5230d024a5629291960c4d665cc015bde9b49b81c3619765940308cd9437a2cadb36509f2278285b1daac147e22bc3032a45bfcf9e6bc16233132ad6538f15aa
-MISC metadata.xml 168 BLAKE2B 2e0e000b4c3b6ca04c12903fdbe278415c05a822623c52e9aa95cbbf3d50bcb1246b7edbda7d2f6b559af8950c6374e6e0a69b76319964cfe686bf50b0604a57 SHA512 4dcf45d1809e8390a2d8155c8ebfe0dd610203e392aeab0ccd8a10f42cc8532a4925eff32b35e7a6c35598a4efd288229034ec0732299dbd8cfa0acff705fed3
+AUX spin-6.5.2-makefile.patch 320 BLAKE2B d88604300a9a1c7f16339e9c9c0ba96f79e3a0d08f041eba6c623d8e1d62d4a247f0ad6e06e83816a011ba072bfb7bd6afe39df796cfb1b80ad514e6cab33e76 SHA512 89166f068ab54c99c55029c7d936db663335e99c6e884b9885fe0478bb211bc186d32302ce933bd8e597bb78c72f2a0d016c8e661095a58761d437b89914c573
+DIST spin-6.5.2.tar.gz 6084903 BLAKE2B a075043c55609de5860c3a428d356a9618a4062667e06d92797e1fb87cb4c805ac90ac580c7d9dfac1d5be1dda4c7f9c9f72927826b921c23710a858adb3eb4d SHA512 ff1d378076995fa5a8b66dd31d19d8bad6296b968183180251d267c926c20775edda927a31f466199e01231f6233c3a5166fd51ec44b02d570070e857d8ba7f9
+EBUILD spin-6.5.2.ebuild 1055 BLAKE2B 577a87309cad0970b307d592f69a83c187e81ec74e409aa007321a88c57a0740641739a0bc3676241766697d723aa227000ddb86b5cd3a8e7699dd0e43cf0f95 SHA512 0e55d1c692d58e9f9a35ee529d550fab597438215921c0252146541e18f8cfa186943ce656be5a46d043466408746a3ebdd921ecb6f88ebf8ad77272b28ec919
+MISC metadata.xml 327 BLAKE2B 1b6a2bbece4fff801301d1bc5b86ebea4fe32096f1fb76d24831bd299608d73116261733e1318cf76532a336c467b394655157145ba565e256626ca66bf191be SHA512 5baaef50807b13c5a3e63d394a0df2b75ecb7973d1467d918329b55536ff6280da086311ee56bcff9fc156f377f077916d572f3cf8a1756d959b4bdb70b55ae8
diff --git a/sci-mathematics/spin/files/spin-6.4.5-makefile.patch b/sci-mathematics/spin/files/spin-6.4.5-makefile.patch
deleted file mode 100644
index 64b76ec484f0..000000000000
--- a/sci-mathematics/spin/files/spin-6.4.5-makefile.patch
+++ /dev/null
@@ -1,20 +0,0 @@
---- makefile.orig 2016-01-09 12:51:10.260008241 +0100
-+++ makefile 2016-01-09 12:52:04.666673549 +0100
-@@ -7,8 +7,6 @@
- # see also ./make_pc for a simpler script not requiring make
- # for 32-bit compilation, use ./make32
-
--CC=gcc
--CFLAGS=-O2 -DNXT # on some systems add: -I/usr/include
- # on a PC: add -DPC
- # on Solaris: add -DSOLARIS
- # on a Mac: add -DMAC
-@@ -37,7 +35,7 @@
- tl_mem.o tl_rewrt.o tl_cache.o
-
- spin: $(SPIN_OS) $(TL_OS) spin.o
-- $(CC) $(CFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS)
-+ $(CC) $(CFLAGS) $(LDFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS)
-
- install: spin
- cp spin /usr/local/bin
diff --git a/sci-mathematics/spin/files/spin-6.5.2-makefile.patch b/sci-mathematics/spin/files/spin-6.5.2-makefile.patch
new file mode 100644
index 000000000000..545f6d10f973
--- /dev/null
+++ b/sci-mathematics/spin/files/spin-6.5.2-makefile.patch
@@ -0,0 +1,11 @@
+--- a/makefile
++++ b/makefile
+@@ -36,7 +36,7 @@
+ tl_mem.o tl_rewrt.o tl_cache.o
+
+ spin: makefile $(SPIN_OS) $(TL_OS) spin.o
+- $(CC) $(CFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS) $(LDFLAGS)
++ $(CC) $(CFLAGS) $(LDFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS) $(LDFLAGS)
+
+ install: spin
+ $(INSTALL) spin $(DESTDIR)/bin/spin
diff --git a/sci-mathematics/spin/metadata.xml b/sci-mathematics/spin/metadata.xml
index 115e9d64a669..081ee86ca70e 100644
--- a/sci-mathematics/spin/metadata.xml
+++ b/sci-mathematics/spin/metadata.xml
@@ -1,5 +1,11 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <!-- maintainer-needed -->
+ <maintainer type="person">
+ <email>marecki@gentoo.org</email>
+ <name>Marek Szuba</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">nimble-code/Spin</remote-id>
+ </upstream>
</pkgmetadata>
diff --git a/sci-mathematics/spin/spin-6.4.5.ebuild b/sci-mathematics/spin/spin-6.4.5.ebuild
deleted file mode 100644
index 010f2550a874..000000000000
--- a/sci-mathematics/spin/spin-6.4.5.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-inherit desktop epatch toolchain-funcs versionator
-
-MY_PV=$(replace_all_version_separators '')
-MY_P="${PN}${MY_PV}"
-
-DESCRIPTION="Tool for formal verification of distributed software systems"
-HOMEPAGE="http://spinroot.com/"
-SRC_URI="http://spinroot.com/spin/Src/${MY_P}.tar.gz"
-
-LICENSE="BSD"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="graphviz tk"
-
-DEPEND="sys-devel/bison"
-RDEPEND="sys-devel/gcc
- sys-process/time
- tk? (
- dev-lang/tk
- graphviz? ( media-gfx/graphviz )
- )"
-
-S="${WORKDIR}/Spin/Src${PV}"
-
-src_prepare() {
- epatch "${FILESDIR}/${PN}-6.4.5-makefile.patch"
-}
-
-src_compile() {
- tc-export CC
- default
-}
-
-src_install() {
- dobin spin
- doman ../Man/spin.1
- dodoc ../Doc/*
- if use tk; then
- newbin "${WORKDIR}/Spin/iSpin/ispin.tcl" ispin
- make_desktop_entry ispin
- fi
-}
diff --git a/sci-mathematics/spin/spin-6.5.2.ebuild b/sci-mathematics/spin/spin-6.5.2.ebuild
new file mode 100644
index 000000000000..5e4110e9abeb
--- /dev/null
+++ b/sci-mathematics/spin/spin-6.5.2.ebuild
@@ -0,0 +1,54 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit desktop toolchain-funcs
+
+MY_PN="${PN^}"
+MY_PV="version-${PV}"
+MY_P="${MY_PN}-${MY_PV}"
+
+DESCRIPTION="An efficient logic-model checker for the verification of multi-threaded code"
+HOMEPAGE="https://spinroot.com/ https://github.com/nimble-code/Spin"
+SRC_URI="https://github.com/nimble-code/${MY_PN}/archive/refs/tags/${MY_PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0"
+KEYWORDS="~amd64 ~riscv ~x86"
+IUSE="doc examples graphviz tk"
+
+RDEPEND="sys-devel/gcc
+ tk? (
+ dev-lang/tk
+ graphviz? ( media-gfx/graphviz )
+ )"
+BDEPEND="virtual/yacc"
+
+PATCHES=(
+ "${FILESDIR}"/${PN}-6.5.2-makefile.patch
+)
+
+S="${WORKDIR}"/${MY_P}/Src
+
+src_compile() {
+ tc-export CC
+ default
+}
+
+src_install() {
+ dobin ${PN}
+ dodoc ../Man/README.md
+ doman ../Man/${PN}.1
+
+ use doc && dodoc ../Doc/*
+ if use examples; then
+ docinto examples
+ dodoc -r ../Examples/*
+ fi
+
+ if use tk; then
+ newbin ../optional_gui/i${PN}.tcl i${PN}
+ make_desktop_entry ispin
+ fi
+}
diff --git a/sci-mathematics/wxmaxima/Manifest b/sci-mathematics/wxmaxima/Manifest
index 153db3af5ba1..5426d8d901e0 100644
--- a/sci-mathematics/wxmaxima/Manifest
+++ b/sci-mathematics/wxmaxima/Manifest
@@ -1,11 +1,7 @@
DIST wxmaxima-20.12.2.tar.gz 16262617 BLAKE2B 2f9f910f565158b2011f014d96747498c6286a95bdb69f9b6b2f82a37a569e8a02abbae5cbb9ae2ac1e78d0b976487666794b267c1c40c1245df08c752486403 SHA512 1c3e3f68a2fa2cd798dfb05c52e7ddf3193a15cb45282553c280914bd524d463ad27acc89898cb4a292ff236699d1ec2abb70d83fa52cb126123ab8e2fcd5ceb
-DIST wxmaxima-21.01.0.tar.gz 16220587 BLAKE2B b987e8c44c253484d152092093ab9154b7c2a5817c584bc1a4f4a0e5beec3ec2e0bc6995aea6ba28df2223b039ca97905225cc2524840174b2c99a5f7774dab2 SHA512 aec5aa5d3a9883e9b21b890c133684004576411a8341f3913ae548175979ad1f07a16d0fccd24c7757d40f4d06b4070b00fa7ef54f73f26b99c825e03e2a408b
-DIST wxmaxima-21.04.0.tar.gz 17684730 BLAKE2B a3b12970ad976a3ee3fc237b6d60f52d460e87997b869825d17645daa0f82bcc6f7999188fe4c92bba819d7a895cff468ff273ab62ab30f38a7a54a6dba47786 SHA512 723373c9fd9877bce38a205455e6ac58a48a61ac3ad0be5c09d0b24abeebd35af481f19efe5de08a2507f1198a8b4b6cfa987c50e4d4a580b4e05ec2c3e5a4f7
-DIST wxmaxima-21.05.1.tar.gz 17782450 BLAKE2B cf52c26342631810fd121ce89af98784bc243e650e3db3a26b577f63fffe63380c7af4db3d5f97ef3330455051ec0bc8349726cf70817dd24e7206dd0d274ef8 SHA512 beb100c5aba34a90e2c5c0f54022948e72e1b3f72862823fc23973abec644ed0f615d3c82499738c17d49d1c9af9ab6b868486d0187ee9971a7e6b017eda10cd
DIST wxmaxima-21.05.2.tar.gz 17782421 BLAKE2B 8a4057087b38f1023f5773b4f3457060b1624e6de654c2b5fadb8fb529461bdf3393e6ea443e69d0ea2057130aa1a7de7ab6739d7797c3a90bb114ec96587289 SHA512 a5d7832d224bad0963a86d3714172d51b67a1c8daf933e66b6c7817da102f942e37aa2a31d8f0f1e27438b61b1ba2705af333edcf2c33a53fdeec318fe837ff6
+DIST wxmaxima-21.11.0.tar.gz 15982803 BLAKE2B 8eff24b3b08fd156341cbd1c565fd832277f99cbbfa2f166671502399e8658273dca86c48b3b09c8616b9d9a17ec4ea9230def645719bcf3c22fc410f5f31d62 SHA512 1660537d475dc16e6d25011ae02b50a9179dd97b19dd115e914636fac71684906d77a2e4f4ab2d8506ac9f6b297de8feeeb46489a6dbf5782783f890a4181506
EBUILD wxmaxima-20.12.2.ebuild 1428 BLAKE2B 30e26a147fe84b328902bedb1ee7df68a6c27d203b9b6e900096d931091ce51cce41d22e45fe779bb4144949b1ebcf259fbd085cc4e2f992e495405c5176410d SHA512 823b28ad77dfa70536103b64735ec68cdefe38abeec760b15acb6904f7f8f97d6ace10eec836f0536ff576f7711b2d135a989072087ae67d133506a301920882
-EBUILD wxmaxima-21.01.0.ebuild 1893 BLAKE2B 2540d12b43a6dd9d663446fd8c49f33b57cb95f24bdd7a87ffdd2f23213756086d98a520e5d5d6907288324913c98048c03045c22516545dc67262c098bb792e SHA512 4f1e82caeba02332438bcf5532a9e488341e5a77b077b0fc853f82f2b7c6c8528047a67c9b01c332d20e2ff162d9b6834fc12013062973b61ec0eb349e6e2d3e
-EBUILD wxmaxima-21.04.0.ebuild 1893 BLAKE2B 2540d12b43a6dd9d663446fd8c49f33b57cb95f24bdd7a87ffdd2f23213756086d98a520e5d5d6907288324913c98048c03045c22516545dc67262c098bb792e SHA512 4f1e82caeba02332438bcf5532a9e488341e5a77b077b0fc853f82f2b7c6c8528047a67c9b01c332d20e2ff162d9b6834fc12013062973b61ec0eb349e6e2d3e
-EBUILD wxmaxima-21.05.1.ebuild 1893 BLAKE2B 2540d12b43a6dd9d663446fd8c49f33b57cb95f24bdd7a87ffdd2f23213756086d98a520e5d5d6907288324913c98048c03045c22516545dc67262c098bb792e SHA512 4f1e82caeba02332438bcf5532a9e488341e5a77b077b0fc853f82f2b7c6c8528047a67c9b01c332d20e2ff162d9b6834fc12013062973b61ec0eb349e6e2d3e
EBUILD wxmaxima-21.05.2.ebuild 1893 BLAKE2B 2540d12b43a6dd9d663446fd8c49f33b57cb95f24bdd7a87ffdd2f23213756086d98a520e5d5d6907288324913c98048c03045c22516545dc67262c098bb792e SHA512 4f1e82caeba02332438bcf5532a9e488341e5a77b077b0fc853f82f2b7c6c8528047a67c9b01c332d20e2ff162d9b6834fc12013062973b61ec0eb349e6e2d3e
+EBUILD wxmaxima-21.11.0.ebuild 1893 BLAKE2B 2540d12b43a6dd9d663446fd8c49f33b57cb95f24bdd7a87ffdd2f23213756086d98a520e5d5d6907288324913c98048c03045c22516545dc67262c098bb792e SHA512 4f1e82caeba02332438bcf5532a9e488341e5a77b077b0fc853f82f2b7c6c8528047a67c9b01c332d20e2ff162d9b6834fc12013062973b61ec0eb349e6e2d3e
MISC metadata.xml 724 BLAKE2B d51bb78a15283c2c6dfe7f7e1d26c7d06522a9eafb9493e7ff3fb3e489ac8530cd896d207a2d5f49dbb2150553ba3075b4f7c131bc079af9950f6d5459131647 SHA512 3f1eddc6f7529e317ce91484474c9bf1165b85bb90ca62e9fe0c9fece1cb559c7c538fb5482580dd24af518c863570f2aa834da37147016fe1f7444c0c8e4a90
diff --git a/sci-mathematics/wxmaxima/wxmaxima-21.04.0.ebuild b/sci-mathematics/wxmaxima/wxmaxima-21.04.0.ebuild
deleted file mode 100644
index 9abff2ab71ee..000000000000
--- a/sci-mathematics/wxmaxima/wxmaxima-21.04.0.ebuild
+++ /dev/null
@@ -1,79 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-WX_GTK_VER="3.0-gtk3"
-PLOCALES="ca cs da de el en es fi fr gl hu it ja kab nb pl pt_BR ru tr uk zh_CN zh_TW"
-inherit cmake plocale wxwidgets xdg
-
-DESCRIPTION="Graphical frontend to Maxima, using the wxWidgets toolkit"
-HOMEPAGE="https://wxmaxima-developers.github.io/wxmaxima/"
-SRC_URI="https://github.com/wxMaxima-developers/wxmaxima/archive/Version-${PV}.tar.gz -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-Version-${PV}
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
-IUSE="test"
-RESTRICT="!test? ( test )"
-
-DEPEND="
- dev-libs/libxml2:2
- x11-libs/wxGTK:${WX_GTK_VER}"
-RDEPEND="${DEPEND}
- media-fonts/jsmath
- sci-visualization/gnuplot[wxwidgets]
- 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 \
- || die "sed CMakeLists.txt failed"
- sed -e "s|share/doc/${PN}|share/doc/${PF}|g" -i info/CMakeLists.txt \
- || die "sed info/CMakeLists.txt failed"
-
- # locales
- rm_po() {
- rm locales/wxMaxima/${1}.po || die "rm ${1}.po failed"
- rm -f locales/manual/${1}.po
- rm -f info/${PN}.${1}.md
- rm -f info/${PN}.${1}.html
- sed -e "\\|/${1}/wxmaxima.1|d" -i data/CMakeLists.txt
- }
- plocale_find_changes locales/wxMaxima '' '.po'
- plocale_for_each_disabled_locale rm_po
-}
-
-src_configure() {
- local mycmakeargs=(
- -DWXM_UNIT_TESTS=$(usex test)
- )
-
- cmake_src_configure
-}
-
-src_test() {
- # Just run the unit tests manually for now as tests fail in a non-descriptive
- # way even with virtualx
- # bug #736695
- cd "${BUILD_DIR}/test/unit_tests" || die
-
- local tests=(
- AFontSize
- CellPtr
- ImgCell
- )
-
- local test
- for test in "${tests[@]}" ; do
- ./test_${test} || die "Unit test ${test} failed!"
- done
-}
-
-src_install() {
- docompress -x /usr/share/doc/${PF}
- cmake_src_install
-}
diff --git a/sci-mathematics/wxmaxima/wxmaxima-21.05.1.ebuild b/sci-mathematics/wxmaxima/wxmaxima-21.05.1.ebuild
deleted file mode 100644
index 9abff2ab71ee..000000000000
--- a/sci-mathematics/wxmaxima/wxmaxima-21.05.1.ebuild
+++ /dev/null
@@ -1,79 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-WX_GTK_VER="3.0-gtk3"
-PLOCALES="ca cs da de el en es fi fr gl hu it ja kab nb pl pt_BR ru tr uk zh_CN zh_TW"
-inherit cmake plocale wxwidgets xdg
-
-DESCRIPTION="Graphical frontend to Maxima, using the wxWidgets toolkit"
-HOMEPAGE="https://wxmaxima-developers.github.io/wxmaxima/"
-SRC_URI="https://github.com/wxMaxima-developers/wxmaxima/archive/Version-${PV}.tar.gz -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-Version-${PV}
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
-IUSE="test"
-RESTRICT="!test? ( test )"
-
-DEPEND="
- dev-libs/libxml2:2
- x11-libs/wxGTK:${WX_GTK_VER}"
-RDEPEND="${DEPEND}
- media-fonts/jsmath
- sci-visualization/gnuplot[wxwidgets]
- 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 \
- || die "sed CMakeLists.txt failed"
- sed -e "s|share/doc/${PN}|share/doc/${PF}|g" -i info/CMakeLists.txt \
- || die "sed info/CMakeLists.txt failed"
-
- # locales
- rm_po() {
- rm locales/wxMaxima/${1}.po || die "rm ${1}.po failed"
- rm -f locales/manual/${1}.po
- rm -f info/${PN}.${1}.md
- rm -f info/${PN}.${1}.html
- sed -e "\\|/${1}/wxmaxima.1|d" -i data/CMakeLists.txt
- }
- plocale_find_changes locales/wxMaxima '' '.po'
- plocale_for_each_disabled_locale rm_po
-}
-
-src_configure() {
- local mycmakeargs=(
- -DWXM_UNIT_TESTS=$(usex test)
- )
-
- cmake_src_configure
-}
-
-src_test() {
- # Just run the unit tests manually for now as tests fail in a non-descriptive
- # way even with virtualx
- # bug #736695
- cd "${BUILD_DIR}/test/unit_tests" || die
-
- local tests=(
- AFontSize
- CellPtr
- ImgCell
- )
-
- local test
- for test in "${tests[@]}" ; do
- ./test_${test} || die "Unit test ${test} failed!"
- done
-}
-
-src_install() {
- docompress -x /usr/share/doc/${PF}
- cmake_src_install
-}
diff --git a/sci-mathematics/wxmaxima/wxmaxima-21.01.0.ebuild b/sci-mathematics/wxmaxima/wxmaxima-21.11.0.ebuild
index 9abff2ab71ee..9abff2ab71ee 100644
--- a/sci-mathematics/wxmaxima/wxmaxima-21.01.0.ebuild
+++ b/sci-mathematics/wxmaxima/wxmaxima-21.11.0.ebuild
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index bd5a04b1bcea..c3422162c44f 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -1,3 +1,5 @@
DIST z3-4.8.11b.tar.gz 4801435 BLAKE2B 903a04246fe4dedc96fda653fa9e3a57a80b951d20b992306bd07bc778cf0a94cf36fe4ed3f178bb26196a1ca294834c784a117fe906d52b82f874a43869d110 SHA512 dfcfc85209dd00aa5f07de0a7e7186a33442b72b94b05c01f53350b9281551be2a2c21ad5e7814bc2c52a3329be8df578e6be8c387cbfdc3a9d3bef0611d6613
+DIST z3-4.8.13.tar.gz 5103999 BLAKE2B 5500bbc71e7a863092a36bdd2bc04f5a4435e9d8fdc62c7956aa2546ffa9e39344c9528bf802f6e4c211c799e873f2673dbf8b113599dcbb694ac040ada2e9a0 SHA512 c5e8f34525ed3b6b2935d7f01ce2f90f5dd99b4cdd035664b36c967fb1c7f3b05abed45c7288e2261723e73d68728ee91a0f67d92012d86b04598d7b54369c30
EBUILD z3-4.8.11b.ebuild 2610 BLAKE2B 62e0920d9e4ba69c65fff37bdc74c70f7177853f3b8ff61b2f4a50dd09d72d0f42ffcf71da152e2c5b80d1ff4e26b96d683f10a439c8a8270cc8f6dc50fb3faf SHA512 457a93cfee6bb224e5d1987a7ecaeba18f3f478ac26a222ed4c93e249225c46834d07800e9049931833e01d8ce1e5fadca09ab24df261fbc4b1165e1290845f9
+EBUILD z3-4.8.13.ebuild 2599 BLAKE2B 7d4b057cf1b8a9853db7d5f482a7457cd55fe1e4c3bdaa727db86fa69d0d144ccb2de9e25e51f34c7edb7c3487e6b0f4a51a76890dc309820e8096e39d7d9f01 SHA512 3c40f3b590e1d46defc757c6133136693e5ee5129949dfd1f7dbf49bc7e0634c591c2ba6e0758b0a0e9b979425c9501864020e4e12cc685ce963d74d5b2b6889
MISC metadata.xml 617 BLAKE2B f940ac3d7c159dadf4398164b749eaded84c12af5553a154d97fd9bfb939c72e3122e08e11c1c9764514f59a87695534daff6628bd15be4de834c7cfdb65d7f9 SHA512 758df481a60606de12c5a450162ee89fd2f68f842675b3bf280f024fcd61232228476ac889e60c09e42ebae01ad855b32ad77793ba7fa5714861ccc5ca52bfc7
diff --git a/sci-mathematics/z3/z3-4.8.13.ebuild b/sci-mathematics/z3/z3-4.8.13.ebuild
new file mode 100644
index 000000000000..488e59de75e0
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.8.13.ebuild
@@ -0,0 +1,103 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+CMAKE_ECLASS=cmake
+PYTHON_COMPAT=( python3_{8..10} )
+
+inherit cmake-multilib java-pkg-opt-2 python-single-r1
+
+DESCRIPTION="An efficient theorem prover"
+HOMEPAGE="https://github.com/Z3Prover/z3/"
+SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz"
+S=${WORKDIR}/z3-${P}
+
+SLOT="0/4.8"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="doc examples gmp isabelle java python"
+REQUIRED_USE="${PYTHON_REQUIRED_USE}"
+
+RDEPEND="${PYTHON_DEPS}
+ gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] )"
+DEPEND="${RDEPEND}
+ java? ( >=virtual/jdk-1.8 )"
+BDEPEND="
+ doc? ( app-doc/doxygen )"
+
+CMAKE_BUILD_TYPE=RelWithDebInfo
+
+src_prepare() {
+ cmake_src_prepare
+ java-pkg-opt-2_src_prepare
+}
+
+multilib_src_configure() {
+ local mycmakeargs=(
+ -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${P}"
+ -DZ3_USE_LIB_GMP=$(usex gmp)
+ -DZ3_ENABLE_EXAMPLE_TARGETS=OFF
+ -DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc)
+ -DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python)
+ -DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java)
+ -DZ3_INCLUDE_GIT_DESCRIBE=OFF
+ -DZ3_INCLUDE_GIT_HASH=OFF
+ )
+
+ multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" )
+
+ cmake_src_configure
+}
+
+multilib_src_test() {
+ cmake_build test-z3
+ set -- "${BUILD_DIR}"/test-z3 /a
+ echo "${@}" >&2
+ "${@}" || die
+}
+
+multilib_src_install_all() {
+ dodoc README.md RELEASE_NOTES
+ use examples && dodoc -r examples
+ use python && python_optimize
+
+ if use isabelle; then
+ insinto /usr/share/Isabelle/contrib/${P}/etc
+ newins - settings <<-EOF
+ Z3_COMPONENT="\$COMPONENT"
+ Z3_HOME="${EPREFIX}/usr/bin"
+ Z3_SOLVER="${EPREFIX}/usr/bin/z3"
+ Z3_REMOTE_SOLVER="z3"
+ Z3_VERSION="${PV}"
+ Z3_INSTALLED="yes"
+ Z3_NON_COMMERCIAL="yes"
+ EOF
+ fi
+}
+
+pkg_postinst() {
+ if use isabelle; then
+ if [[ -f ${ROOT}/etc/isabelle/components ]]; then
+ sed -e "/contrib\/${PN}-[0-9.]*/d" \
+ -i "${ROOT}/etc/isabelle/components" || die
+ cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die
+ contrib/${P}
+ EOF
+ fi
+ fi
+}
+
+pkg_postrm() {
+ if use isabelle; then
+ if [[ ! ${REPLACING_VERSIONS} ]]; then
+ if [[ -f "${ROOT}/etc/isabelle/components" ]]; then
+ # Note: this sed should only match the version of this ebuild
+ # Which is what we want as we do not want to remove the line
+ # of a new Isabelle component being installed during an upgrade.
+ sed -e "/contrib\/${P}/d" \
+ -i "${ROOT}/etc/isabelle/components" || die
+ fi
+ fi
+ fi
+}