From 4f49fc7caa0253a7ab164331f55bd4c70bba1bf7 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Wed, 7 Sep 2022 16:36:21 +0100 Subject: gentoo auto-resync : 07:09:2022 - 16:36:21 --- sci-mathematics/Manifest.gz | Bin 16181 -> 16194 bytes sci-mathematics/coq-mathcomp/Manifest | 4 +- .../coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild | 26 ++++++++ .../coq-mathcomp/coq-mathcomp-1.14.0.ebuild | 26 -------- .../coq-mathcomp/coq-mathcomp-1.15.0.ebuild | 17 +++++ sci-mathematics/gimps/Manifest | 2 + sci-mathematics/gimps/gimps-30.8.16.ebuild | 71 +++++++++++++++++++++ 7 files changed, 119 insertions(+), 27 deletions(-) create mode 100644 sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild delete mode 100644 sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild create mode 100644 sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild create mode 100644 sci-mathematics/gimps/gimps-30.8.16.ebuild (limited to 'sci-mathematics') diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz index eed973b45976..9813113c1566 100644 Binary files a/sci-mathematics/Manifest.gz and b/sci-mathematics/Manifest.gz differ diff --git a/sci-mathematics/coq-mathcomp/Manifest b/sci-mathematics/coq-mathcomp/Manifest index 4637b00c1a30..d91ee52399eb 100644 --- a/sci-mathematics/coq-mathcomp/Manifest +++ b/sci-mathematics/coq-mathcomp/Manifest @@ -1,3 +1,5 @@ DIST coq-mathcomp-1.14.0.tar.gz 1352989 BLAKE2B 475ca9725a7868d592fc289223f468c6703cca1574d878568d7faaa2725fc204155320c915c75861d5f122acc0cf6aaad9f324656f9a7dae030d37fee93bec27 SHA512 49821492016e75fe32d22557b6b2de4bc0a3d924e2a38a13f2759aeb87095417a27e274737d0dcc01448899c3ebb50c284e9eb96fd1d4c22fb5d101dc6d290bf -EBUILD coq-mathcomp-1.14.0.ebuild 604 BLAKE2B c40cb3f909d150fa3166e57d2f8a894086f6f17f0409b4626d223624cd53a77047e62c803067dd2dd245722f2d04d69f458e3a6037ebebaf5e7453e9bd6a0960 SHA512 c44bc20bcb101a506d1aedc264429b624f0e67e9a6908ad6ee7ad2eaa17f84406186dea2518675f68cbeff1cd5504421606c460872a4410c15aa3d66b4bc7bbf +DIST coq-mathcomp-1.15.0.tar.gz 1359283 BLAKE2B 7a575e49f93c6527da877a4044ae97d82fa48f242c29b5ed22bc58154f422e14716cb481aa4de96963cfd3cf1aad5dcd76608d85ec4b68ce1a5601b13e3add3e SHA512 96d3bc53ab83740675e6d0bd6e31479e16d986994d1725e9a0466ef46cd517e4ced966d6b1e34b3ff1b15327a2058afcc914b91dba3c5354021d4ef224b8348c +EBUILD coq-mathcomp-1.14.0-r1.ebuild 634 BLAKE2B f6799e12f4a72b243e06ac651e3f7e1e2c38ec1898834afc5ccd5dab55e0cf9760af03596c4a1c3a22cae896234c2b40b18ba2e1eff55f67d2b59a5e6192cf7c SHA512 cb2047bbe7629738b8fecd26980a05491f8bed63a9ba5b5ea8b427792c9355780ec0115753fc3b09bf6055305fe1212d7f2c39f8f58963043c9497acb066c4b5 +EBUILD coq-mathcomp-1.15.0.ebuild 489 BLAKE2B 4c86a4f49167e12e044c42ed361770100a543754664bf91908a5db09e920f409972bcdc9fdd2f35a3ffd15464f9d1fcd3dc7fbb15d3f21fff8ea35428bb39078 SHA512 40e252491580dd5fd07545a3ac5a8ea549103ff2a6f478197a448536f6f1235a3b043499104193071a48e8b1403b82fb6399badd50c297c3b35fc1b53f6a1f00 MISC metadata.xml 511 BLAKE2B 3936f96cbf938fb9de97b080566d7fdde222d7dd303ccf842c76e7bd113b31c05136aea043c354bbd2ac6d4f61e2cba4e738f9f325059d36b7bae4feaed1ae89 SHA512 af2a4cfded0990d95e0a4b77ba69aebea09dee075f9eb4023b14c4788cd4118a78b3b5a4349fed11fff347061ab4bf59a4c63c8f43b22f8513054f1b3817af2f diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild new file mode 100644 index 000000000000..fcf362d97248 --- /dev/null +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild @@ -0,0 +1,26 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +DESCRIPTION="Mathematical Components for the Coq proof assistant" +HOMEPAGE="https://github.com/math-comp/math-comp/" +SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz + -> ${P}.tar.gz" +S="${WORKDIR}"/math-comp-mathcomp-${PV}/mathcomp + +LICENSE="CeCILL-B" +SLOT="0/${PV}" +KEYWORDS="~amd64" + +RDEPEND=">=sci-mathematics/coq-8.13.0:= make jobserver unavailable +src_compile() { + emake -j1 +} + +src_install() { + emake -j1 install DESTDIR="${D}" +} diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild deleted file mode 100644 index 2197f1aa5dd9..000000000000 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild +++ /dev/null @@ -1,26 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -DESCRIPTION="Mathematical Components for the Coq proof assistant" -HOMEPAGE="https://github.com/math-comp/math-comp/" -SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}"/math-comp-mathcomp-${PV}/mathcomp - -LICENSE="CeCILL-B" -SLOT="0/${PV}" -KEYWORDS="~amd64" - -RDEPEND=">=sci-mathematics/coq-8.13.0:=" -DEPEND="${RDEPEND}" - -# > make jobserver unavailable -src_compile() { - emake -j1 -} - -src_install() { - emake -j1 install DESTDIR="${D}" -} diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild new file mode 100644 index 000000000000..5e41229a4f4f --- /dev/null +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild @@ -0,0 +1,17 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +DESCRIPTION="Mathematical Components for the Coq proof assistant" +HOMEPAGE="https://github.com/math-comp/math-comp/" +SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz + -> ${P}.tar.gz" +S="${WORKDIR}"/math-comp-mathcomp-${PV}/mathcomp + +LICENSE="CeCILL-B" +SLOT="0/${PV}" +KEYWORDS="~amd64" + +RDEPEND=">=sci-mathematics/coq-8.16.0:=" +DEPEND="${RDEPEND}" diff --git a/sci-mathematics/gimps/Manifest b/sci-mathematics/gimps/Manifest index e6e2c2e1d8c2..388b355b5509 100644 --- a/sci-mathematics/gimps/Manifest +++ b/sci-mathematics/gimps/Manifest @@ -7,6 +7,8 @@ DIST gimps-30.7.9.linux32.tar.gz 5966449 BLAKE2B b31b93417857d338e5e7454e1466bd8 DIST gimps-30.7.9.linux64.tar.gz 7100830 BLAKE2B 8ebae083d26309f7c624e38c943e3bb0c7fe40a538840970dc222ed33ba5eaa9a5c0767b822682921eaae27f839c1eca5c0204b2c135748002e5d072744afe25 SHA512 5e6f3fbcc50b9b91fda7b286392bb17e58fd8d55a8386f27e206c63c560993da9713513d5eb4355e8e934f2e8703b39fc96f3c6f01058b729330f3526d37479b DIST gimps-30.8.15.linux32.tar.gz 6029035 BLAKE2B 4b84ebd89d45d5f0d0de28539ea8bc5bfb0f7383f39bb02ac00d51ba46897bba222db6215578e38fb939f541dae2569f431547caa51825dcdc6845e7e62f028b SHA512 b0a30d2d629d0f08dd2838be9dbe669c7f8f3d9f50ccfedc94c453a994cba9972440182e05d8e3b74b258e6e60cff53f6521e73a7ebdb34a45701a81d8b3f671 DIST gimps-30.8.15.linux64.tar.gz 7211031 BLAKE2B 1d0291adb255099b9c8b44e2f650831755822ab850c2ebaa86dbe9728da619a4f9c22e3e5736a70ca3657818e2748caf32a23243347c048b9d57ecc8f7b3cf42 SHA512 6034dca7644bab85da3fdb194755a076778b37dfaa0a944ee5e64915e1196b61bd5f0a291a40118648c3a81faef3ac3026230709312d2de154260c3cf736a166 +DIST gimps-30.8.16.linux64.tar.gz 7211483 BLAKE2B 0d4b6f7c8e5eae2cf1dc64700b8274a4bbb024511fbcfb206474a889cb4bbe67c91b5be958593615b4089c37a51fd0b2e0026046edb3170986e86e126646245a SHA512 2a1c37ecffa24e5688002a3b5a8d0742b3d76d38b2e580d5e7a9684f02a8d6a8410dba2d54a825db531fed792e3c7207a32a23fd15048fb2cd93eabbb9e19b66 EBUILD gimps-30.7.9.ebuild 1928 BLAKE2B 8dabf8f54eb82e875380668b6ebe6f971db1cd3443d80ed9bd668204b5a19c91e997b68cfcc86ab6e9339bc24a696b6015a21bcdb83c7bea09893902596b31d5 SHA512 f22996f1a27b8941881a0fcbb2b09219f73967bf80708e6c9a55a1407ed57a180b26a53878989ec70ee05d604d29980616988e0ff1aab4323444d62b638f8e65 EBUILD gimps-30.8.15.ebuild 1930 BLAKE2B 89102fc275d061607159a6e358105944c88ec526c0a00c4fdea1813656ccb42aa0faa48db182c6b22e64159cbe6bbd67f994845ae5f13f46801bb965fea1b0a7 SHA512 b2bf140602852c2b5bb6a6298fdf31a90ddd06ff5230ea8ab0e846e341e078efc288211f8076991413634ae383c5ffc0ba83e1a752eeb9f712f1da14ab22b874 +EBUILD gimps-30.8.16.ebuild 1806 BLAKE2B 38ae90400994502ac44ffecd73e159c23eb554019869b84bfafe80a4531254d371d25891ac7834f3b5a68a7edcbaec42c91d07bf8d10b62907d73a854f623dcc SHA512 45b47270904812a81133ddedb54f276e3ed6389d0423de4ab04d877909d06803ffa03f7348cc206a7dcb07b9bc2b774a37604fa291c9d7d033d476b0369c499b MISC metadata.xml 560 BLAKE2B 01b265f54acd4ad1c9e1d23043d4ce2020fd41843a0efb09003046ea835989393df9935edcc3320eff43d552e47c2bb5afc688ddb96e9e6088c1e1c3a38fca64 SHA512 ba744b0b86d81acf54ed31c70e19be7ee315b6976b29cf0a40e79a7a227b8f68f4262ac2eecd696ddf051dd13de2019dae5df43706ca629bceca738e0e501175 diff --git a/sci-mathematics/gimps/gimps-30.8.16.ebuild b/sci-mathematics/gimps/gimps-30.8.16.ebuild new file mode 100644 index 000000000000..3470d5d20ebf --- /dev/null +++ b/sci-mathematics/gimps/gimps-30.8.16.ebuild @@ -0,0 +1,71 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit pax-utils readme.gentoo-r1 systemd tmpfiles + +DESCRIPTION="The Great Internet Mersenne Prime Search" +HOMEPAGE="https://www.mersenne.org/" + +# The author has finally caved in to the pressure of putting the build +# number in the package name. Some dark magic necessary to get to the +# package name + +MY_PV=$(ver_rs 2 'b' ) + +SRC_URI="https://www.mersenne.org/ftp_root/gimps/p95v${MY_PV/./}.linux64.tar.gz -> ${P}.linux64.tar.gz" + +SLOT="0" +LICENSE="GIMPS" +RESTRICT="mirror bindist" +KEYWORDS="-* ~amd64" + +# Since there are no statically linked binaries for this version of mprime, +# and no static binaries for amd64 in general, we use the dynamically linked +# ones and try to cover the .so deps with the packages listed in RDEPEND. +# libgmp.so.10.4.1 is bundled within the .tar.gz, but we use the system one. + +DEPEND="" +RDEPEND="net-misc/curl + >=dev-libs/gmp-6.1.2" + +S="${WORKDIR}" +OPTINSTALLDIR="/opt/gimps" + +QA_PREBUILT="opt/gimps/mprime" + +DOCS=( license.txt readme.txt stress.txt undoc.txt whatsnew.txt ) + +src_install() { + dodir ${OPTINSTALLDIR} + keepdir /var/lib/gimps + pax-mark m mprime + cp mprime "${D}/${OPTINSTALLDIR}" || die + fperms a-w "${OPTINSTALLDIR}/mprime" + fowners root:0 "${OPTINSTALLDIR}" + fowners root:0 "${OPTINSTALLDIR}/mprime" + + einstalldocs + + readme.gentoo_create_doc + + newinitd "${FILESDIR}/${PN}-28.9-init.d" gimps + newconfd "${FILESDIR}/${PN}-25.6-conf.d" gimps + + systemd_dounit "${FILESDIR}/${PN}.service" + newtmpfiles "${FILESDIR}/${PN}.tmpfiles" "${PN}.conf" +} + +pkg_postinst() { + tmpfiles_process "${PN}.conf" + + readme.gentoo_print_elog +} + +pkg_postrm() { + echo + einfo "GIMPS data files were not removed." + einfo "Remove them manually from /var/lib/gimps/" + echo +} -- cgit v1.2.3