summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-09-25 20:21:45 +0100
committerV3n3RiX <venerix@redcorelinux.org>2021-09-25 20:21:45 +0100
commitc719fdcee603a5a706a45d10cb598762d56a727d (patch)
tree620cbf137661399a3fb1eff92914204f9a970713 /sci-mathematics
parentcc4618c9ba3d974948ebf340b542d8cb01db2f55 (diff)
gentoo resync : 25.09.2021
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/Manifest.gzbin13665 -> 13659 bytes
-rw-r--r--sci-mathematics/pari/Manifest6
-rw-r--r--sci-mathematics/pari/pari-2.13.1-r1.ebuild122
-rw-r--r--sci-mathematics/pari/pari-2.13.2.ebuild (renamed from sci-mathematics/pari/pari-2.13.0.ebuild)0
-rw-r--r--sci-mathematics/why3-for-spark/Manifest2
-rw-r--r--sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild2
6 files changed, 3 insertions, 129 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 0a4b9d7e7b4f..a5fe1c3d5927 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/pari/Manifest b/sci-mathematics/pari/Manifest
index 8047bb5e53de..83a1f28f9c43 100644
--- a/sci-mathematics/pari/Manifest
+++ b/sci-mathematics/pari/Manifest
@@ -6,9 +6,7 @@ AUX pari-2.9.4-fltk-detection.patch 572 BLAKE2B 1c2e1fa6e52521c7865c3fd011824c83
AUX pari-2.9.4-ppc.patch 363 BLAKE2B 135e76972e4121362666a25e3da236c4a5b7cffa058bbc25b59ca19ea20ccb0665327f70701adca5239cb936d513976e3ba7b5cda915a3f77c7b2eb28e75eaa0 SHA512 aaf5960010e56722f11234079a20ee7a7f8819dc084e1f6567fd11ad2820e3ae47617608f312941c2f373b5312a8c09c9cd51bfa44e263ffe1e8062c9fd9877d
AUX pari-2.9.4-strip.patch 323 BLAKE2B 85a2b56f5501b4dafc0bffe48249c1662d6f96e81f8e8260ad52ecf84f053efef2ee6d6be6a6fda47886c372eb338d8bbf4443910df79a0d4e168b2666228c37 SHA512 50624ead82da41819ccfadfbdb746fb6ff414196ae2576c5d6a86e83c67355740b0e6e901a2860cab202db15adb1b00e346aabba338ab303230bc6aee8d33076
DIST pari-2.11.4.tar.gz 4445000 BLAKE2B e910783186eeb71e74a369681c113b77271abd7f87d7a9f366aea83f36ab984f02e312cd451fad7ee6efb2fa285780e8fa78540bb1fd4b135a62d265176c80e0 SHA512 1312f452244cd1d814a1e43e108378c956669b614845f21199b7039fe6462881168983d4badb8a80bb1bac202cd82d92788a2b4f3c23d16f993cae6e251c4fe1
-DIST pari-2.13.0.tar.gz 4758091 BLAKE2B 21a008fbca9af60c7298daf2db5c596cf881fbf4748899f417e317b2e2c0a951d152ffdab061a5f7da73db65345134a90d91e57069d9f0d0ac6eb2ad470a7a98 SHA512 671bed101be0ba0eef2c4aa4d9580477f2492f2cd354f04773df00c2fa1456d1d6d8e568d617675dc4adce3e6d1f8cbaafae45452891ceb10eba60cd669b529f
-DIST pari-2.13.1.tar.gz 4760932 BLAKE2B 50c8be1d07f303665013623f07109ef42a6d82ea88e4795c90be8ae4c714f78c2f009df40c457cc1c45f1591e5b8550965a35e3c9c272b8cd17508d774ef182e SHA512 57d0811c66d58ce6abf4d34d3f2ee98efaa22aa5f65941b8bd3d2ceaf5ba57447a8fe334b9587387b31298c85f19ec356a9db05d11dc6d956f921e7fc7d1596e
+DIST pari-2.13.2.tar.gz 4766461 BLAKE2B f765edaee8e3b85f859edb1ac82f20aab6cda1a1bb87a2bfaf2de0824d401aef8d5f559a95bc2da565b492f49445b7cf9bcce45376b100e6ca736d82a381ca88 SHA512 ee034e4f2d385755aa5fcddb8b562a2faf4d847591d35c47461e3cbf01382da3a85f004685c842e0c530fdb29e384b69dc496a568b9b204e276b4c8e27afd382
EBUILD pari-2.11.4.ebuild 3327 BLAKE2B 8117499dc50d8146bd3988fbaf4c18ccf719cd482372687bc58eaadec09011ec29b1324d58df2669d0fbc6dcbf3985e3dedf8bb20ad6793bfbc496913d467d6d SHA512 39034792b1b133599cba2eb89d7c459a6eb39da7db0f3ee0793b0941f5be9c992e5b4a1a0a58ad0e272fdf00b5b7e24ade75f7d2e7a2b2691d565eceefeff05a
-EBUILD pari-2.13.0.ebuild 3424 BLAKE2B 5d6bd25923c72ee36a037ca56f26fe71491ad3d2d1d98a3249291fc7ad50efdae7d9b170dd66691345f6e2c5080dc945fef06ed14174a89f3376e31faeca281e SHA512 ef976b96b5ad8600d96d9892ca24e449b1be11542ad531734fadec759b00188ac4afd9114fec76aace0f40e129e71e75acdc839b402cd31dd6bc93b6005898a9
-EBUILD pari-2.13.1-r1.ebuild 3458 BLAKE2B f2ad5f104a0818490238dfc4453a8995c0b7e768dfb9c51bdb3906f7f62affc80970cdd3afc83b88d6e678a7c32fb9aa7a6c2262b3cca7b03e37be2b2379aab3 SHA512 c8e6c33ee12431f982af943e32392b23846c5199dcea42f3f18a44a8d9ccd3ba62a78c27baa280ed7cebf6acab8f27f69f849de5a1faf7db99994fcd1c82d81b
+EBUILD pari-2.13.2.ebuild 3424 BLAKE2B 5d6bd25923c72ee36a037ca56f26fe71491ad3d2d1d98a3249291fc7ad50efdae7d9b170dd66691345f6e2c5080dc945fef06ed14174a89f3376e31faeca281e SHA512 ef976b96b5ad8600d96d9892ca24e449b1be11542ad531734fadec759b00188ac4afd9114fec76aace0f40e129e71e75acdc839b402cd31dd6bc93b6005898a9
MISC metadata.xml 1765 BLAKE2B 5d45009ff34f4d7780e70d2cdd94a5c60ebef674c235ba84d0989485dec62e83d15b9be7cbcbd583bf258fc936c5aff3d610ca8ea682323b07430fc2e71ee225 SHA512 32f560edbcfcf283b7f6a907277c584e5e9a33044b334e66818bc3529fb49a8709888aa27332da3f46e8c80971711403f333de3616132a47c34b9a1413237772
diff --git a/sci-mathematics/pari/pari-2.13.1-r1.ebuild b/sci-mathematics/pari/pari-2.13.1-r1.ebuild
deleted file mode 100644
index 12230c7f452d..000000000000
--- a/sci-mathematics/pari/pari-2.13.1-r1.ebuild
+++ /dev/null
@@ -1,122 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit flag-o-matic toolchain-funcs
-
-DESCRIPTION="Computer-aided number theory C library and tools"
-HOMEPAGE="https://pari.math.u-bordeaux.fr/"
-SRC_URI="https://pari.math.u-bordeaux.fr/pub/${PN}/unix/${P}.tar.gz"
-
-LICENSE="GPL-2"
-
-# The subslot is the value of $soname_num obtained from
-# upstream's config/version script.
-SLOT="0/7"
-KEYWORDS="~alpha ~amd64 ~arm ~hppa ~mips ~ppc ~ppc64 ~sparc ~x86 ~amd64-linux ~x86-linux"
-IUSE="data doc fltk gmp test threads X"
-RESTRICT="!test? ( test )"
-
-BDEPEND="
- virtual/pkgconfig
- doc? ( virtual/latex-base )
-"
-DEPEND="
- sys-libs/readline:0=
- data? ( sci-mathematics/pari-data )
- doc? ( X? ( x11-misc/xdg-utils ) )
- fltk? ( x11-libs/fltk:1= )
- gmp? ( dev-libs/gmp:0= )
- X? ( x11-libs/libX11:0= )"
-RDEPEND="${DEPEND}"
-
-PATCHES=(
- "${FILESDIR}/${PN}"-2.9.4-strip.patch
- "${FILESDIR}/${PN}"-2.9.4-ppc.patch
- "${FILESDIR}/${PN}"-2.11.2-no-automagic.patch
- "${FILESDIR}/${PN}"-2.9.4-fltk-detection.patch
- "${FILESDIR}/${PN}"-2.11.2-Makefile-LDFLAGS.patch
- "${FILESDIR}/${PN}"-2.11.2-Makefile-docinstall.patch
- "${FILESDIR}/${P}"-rnfdisc.patch
-)
-
-src_prepare() {
- default
-
- # move doc dir to a gentoo doc dir and replace acroread by xdg-open
- sed -i \
- -e "s:\$d = \$0:\$d = '${EPREFIX}/usr/share/doc/${PF}':" \
- -e 's:"acroread":"xdg-open":' \
- doc/gphelp.in || die "Failed to fix doc dir"
-}
-
-src_configure() {
- tc-export CC CXX PKG_CONFIG
-
- # Workaraound to "asm operand has impossible constraints" as
- # suggested in bug #499996.
- use x86 && append-cflags $(test-flags-CC -fno-stack-check)
-
- # need to force optimization here, as it breaks without
- if is-flag -O0; then
- replace-flags -O0 -O2
- elif ! is-flag -O?; then
- append-flags -O2
- fi
-
- # sysdatadir installs a pari.cfg stuff which is informative only.
- # It is supposed to be for "architecture-dependent" data.
- # It needs to be easily discoverable for downstream packages such as gp2c.
- # We set LD to "" so that it is set to the value of the compiler used
- # which is how a normal end user is expected to configure it. pari's build
- # system do not cope very well with a naked linker, it is expecting a
- # compiler driver. See https://bugs.gentoo.org/722090
- LD="" ./Configure \
- --prefix="${EPREFIX}"/usr \
- --datadir="${EPREFIX}/usr/share/${PN}" \
- --libdir="${EPREFIX}/usr/$(get_libdir)" \
- --sysdatadir="${EPREFIX}"/usr/share/pari \
- --mandir="${EPREFIX}"/usr/share/man/man1 \
- --with-readline="${EPREFIX}"/usr \
- --with-readline-lib="${EPREFIX}/usr/$(get_libdir)" \
- --with-ncurses-lib="${EPREFIX}/usr/$(get_libdir)" \
- $(use_with fltk) \
- $(use_with gmp) \
- --without-qt \
- $(usex threads "--mt=pthread" "" "" "") \
- || die "./Configure failed"
-}
-
-src_compile() {
- local mymake=""
- use hppa && \
- mymake=DLLD\="${EPREFIX}"/usr/bin/gcc\ DLLDFLAGS\=-shared\ -Wl,-soname=\$\(LIBPARI_SONAME\)\ -lm
-
- emake ${mymake} gp
-
- if use doc; then
- # To prevent sandbox violations by metafont
- VARTEXFONTS="${T}/fonts" emake docpdf
- fi
-}
-
-src_test() {
- # Welcome to the jungle, where the tests fail if you make your
- # terminal bigger.
- emake COLUMNS=80 test-all
-}
-
-src_install() {
- DOCS=( AUTHORS CHANGES* COMPAT NEW README* )
- default
-
- if use doc; then
- docompress -x "/usr/share/doc/${PF}"
- emake \
- DESTDIR="${D}" \
- EXDIR="${ED}/usr/share/doc/${PF}/examples" \
- DOCDIR="${ED}/usr/share/doc/${PF}" \
- install-doc
- fi
-}
diff --git a/sci-mathematics/pari/pari-2.13.0.ebuild b/sci-mathematics/pari/pari-2.13.2.ebuild
index bc5709ab3388..bc5709ab3388 100644
--- a/sci-mathematics/pari/pari-2.13.0.ebuild
+++ b/sci-mathematics/pari/pari-2.13.2.ebuild
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest
index 2c44a7bdc8af..8a8e0fbf76d6 100644
--- a/sci-mathematics/why3-for-spark/Manifest
+++ b/sci-mathematics/why3-for-spark/Manifest
@@ -9,7 +9,7 @@ DIST 8bb5801e17b8b23453262da69c981c091959eec7?filename=why3-2020-20200429-199EF-
DIST why3-2019-20190517-197BB-src.tar.gz 9439414 BLAKE2B 68072064e8ee9152528c90afc948047a1f4d58b960ac05b276761fdca5ba1204100c75f33db7bb0ea1a8a646b734e62892ed41bd875b954354f52b8f9d498d4a SHA512 9169a4ff9ee994a19f9f04b689d1b9c679f5340bcd631d7d49b4c55064f505bd5a6ca8149077e5d24d36f5365f0cab58587094e86f352a9105fc46f10c0746ba
DIST why3-2021-20210519-19ADF-src.tar.gz 10386938 BLAKE2B 93b6323c562126244f5cccef34088a521fe3dc1cec07c966e94472503ec8492707b20a641936449307f0439e711a82260d36679cbc69f53df8e7886a1d3673c3 SHA512 65e3c1430001962f2c7cce786f3e30f14b5295cff89c4087d95c1545e81743723319ba0309dbe15c4c46552110b25ff57addc3ee085dade02ea59a2273b127db
DIST why3-for-spark-gpl-2018-src.tar.gz 7682767 BLAKE2B 0b0272ca4d5519ca402990b234d0847378bcd2a0949fea78ea10e355233a16aebe79b938cdf8e4daadabb909171cab83b9d6ccacf9f2dc1c0b57bb6da6fd1fe0 SHA512 fc798acf343484fd8e70f470a318753c9a0e9967ff579f20ec185bf3c2a75e7a4a556388fc86a378610ce4a467f3e722c6f610da34d4c33bc3d6b10551731f07
-EBUILD why3-for-spark-2018.ebuild 1729 BLAKE2B 14002f870711eaf350aa38c4fa8bcf3947585e08c873b6d9509756009caae20f52d389db22ef288c4c92146622ee43053cf784013331b638d6370278c5189772 SHA512 e3fac3fafa90980c2d3cf068e19477baa45cb01f517ee5dc235a7984f07f8dffb95f6ef329082bf6d5e88cfb8b02ae617b509010fdbb448644c3742b22d1733f
+EBUILD why3-for-spark-2018.ebuild 1710 BLAKE2B 636d340d29663d376ebde33b519ed8b88a2a862f64d21fc6dc03ec7b21a5c3c63c9c6e4316d740b1d76b2fd322a5e360deb93bc33bb0d0b0e847b960cf77b7ef SHA512 fcfb3ae98e1f58444cc4d44d74e61bcea1d991729dc36bc15f7b3b9232c9010dc2a7825e277745b80160cb122407350fa1b73661c40ce23a53fa91c9a8ad4367
EBUILD why3-for-spark-2019-r2.ebuild 3000 BLAKE2B c6f405a6e36086f7763e1717f610d2c3139e48ef259652b5489be6d0ac536efe17cada609b693e7d0d848d1c5a4d6b321015e03d7ee2f2ebff71a9ef23b08620 SHA512 27a484e227f693ad50b026e658bbe0fbdc230f7a96ee30115e8fe38149ebc9e574c638fa9e0012b6099aa5a03df3ac83ae5800b611ef6ad2406b18571831109a
EBUILD why3-for-spark-2020.ebuild 2929 BLAKE2B 9a6dd9ee12f38a9c90899759318b7b4934bcdeb109320900c43b8b07f945f28988b8745771d88a3e284df2318280d08ea23cd72f4fd6fd98e23d3e7882990bb9 SHA512 eec3c1e053b2baaa97ef2808a4ccbff43358af9469e18cb14e30ceca043da68c3ec2ed848feff1cd1aeb0f31ef89f40cf192a9d47f9f8af11e0a487da8fba5ac
EBUILD why3-for-spark-2021.ebuild 3001 BLAKE2B a1132a71dd334a1fceea28792ecb932262ffc9d38b865ca719c1b7c65d44f37ec41fcc91539e7b1a1ef61b044d8e24e01dbd83578ea07edd1e9985ce1909d52a SHA512 c7153c57f285da11e34ee1b1b6996ce7766fc64e6a972e016ae46933265ba2569dbbf7eeb8e33afa864b2e12266be3a1438d836f832f7e1d892def4e6e2ceb78
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
index bb7093a5b79d..48d190220579 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
@@ -3,8 +3,6 @@
EAPI=6
-inherit autotools
-
MYP=${PN}-gpl-${PV}-src
DESCRIPTION="Platform for deductive program verification"