summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/Manifest.gzbin14151 -> 14156 bytes
-rw-r--r--sci-mathematics/coq/Manifest2
-rw-r--r--sci-mathematics/coq/coq-8.9.1.ebuild86
-rw-r--r--sci-mathematics/gimps/Manifest6
-rw-r--r--sci-mathematics/gimps/gimps-29.8.6.ebuild (renamed from sci-mathematics/gimps/gimps-28.10-r1.ebuild)28
-rw-r--r--sci-mathematics/gmp-ecm/Manifest2
-rw-r--r--sci-mathematics/gmp-ecm/gmp-ecm-7.0.4-r1.ebuild (renamed from sci-mathematics/gmp-ecm/gmp-ecm-7.0.4.ebuild)3
-rw-r--r--sci-mathematics/z3/Manifest4
-rw-r--r--sci-mathematics/z3/z3-4.8.5.ebuild2
-rw-r--r--sci-mathematics/z3/z3-4.8.6.ebuild93
10 files changed, 209 insertions, 17 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 531e82255dac..80a03d62f9c5 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 5bb4c15ed1f9..3d57543e252f 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -1,5 +1,7 @@
DIST coq-8.6.1.tar.gz 5588811 BLAKE2B 1016e54ef9b42a8534add55ab057454fad35b3fe103ba877689489c7d9cf43d76c1fbee123801d91035d353a882120650f94c433d9ee1daa878b8c819609c949 SHA512 814ab76a06ca15f927081428da74add4bc67290199fa011853b9c68a00cdefaf813b10fbac18a434f4504fce8f2173eb544080bf6f50d62caa41bb8724b13083
DIST coq-8.6.tar.gz 5538848 BLAKE2B 025d6598a5155712662ce20a56804b75c236f1d1dc4ed81e779aaf2916d5cb525acfcbef9b5960fc5b8b44f2e2290c9f7e5c2d6e84726400a9888587ee29cd16 SHA512 9f5f4913fda8cf83683fec9398b42d4567207c3d4b52b4638d5e09a24ed25a43905fb57a9fac1bb9f9d681bd47f3560e1da74e79348b3a3fd93e2e8c686cebae
+DIST coq-8.9.1.tar.gz 6001970 BLAKE2B f65498e2485c59f4f95d2afeac35750ebf85b5af6db7c269a11635f2414df483d4cb159557060c9118de25f4922176f54d2e5c6f12174599371348341cb4d80f SHA512 66344f801b955d1b6daf3ab1d704551070c95cf9032ae74f15fb33f7ec313812b3e05c0ec277a2eb448e3fdfd9721df06d36612e2fb4928b6530d70147f1d983
EBUILD coq-8.6.1.ebuild 1991 BLAKE2B 625a0e1000c6ee4cd888e97fce07cebf8866ef5f830dd9d5e068bc85b40caae2214d2371409397c80a41d82b5240d864cac05fb31eb9d1810df9470cdda300d3 SHA512 30a6fb585df11a7f45f802dcb8e07c3be23e18c8e17976ecf2add66fe3f23d496099762dd16d11e0f214d9f1be290067dd29e7d4e1bdb7c1d161e52f995f4b64
EBUILD coq-8.6.ebuild 1988 BLAKE2B d0b0a3880313d1f72b0fab73ae0b6afac6e4686aabbbd3dd4e7d21cd09d496088e0593e5b5fc15497f9987f7e51e8f6a58fbd307bc11e24f1af31360564838f2 SHA512 159c3541b12f23abb1de9502de2317d82181642ad5590b6d9225c185437d2730b12b5ffa3d7b7727951fa2da314e3f1db24a598446d7b62f7c1fe248a222fbd3
+EBUILD coq-8.9.1.ebuild 1861 BLAKE2B 545e0f0e4bd0db3a47093ad6851f1ac267187cbaf10066679743ff3e4f4f97d3b8e409a0abe8e3a27d97cc2b2c10a918a993b78be73739a3daa2c88f490f9783 SHA512 4bd89fada8c36d2e62142957a98f983265a184e3e26612874528d1891477bcc3aa106c96e63734d23b249bc8acb890d1beb6f906058d3046e6d35c58bdb74fae
MISC metadata.xml 1113 BLAKE2B 0162bb9994d76c6e3019c5e99459ed2fb5d25e7854213ac90735c9693256cb65d81da48cabf279bb6c8badd028e2f59bcab68a06232c92cc9203db16e36d3f79 SHA512 10bf7af26739a58d7e2165ab8d02b6412540c2abd1e28b800976fd8fc9df78275b5dafbdb2e660eae7fb4946769b41812ee5d2bba931317870d993869d7412b8
diff --git a/sci-mathematics/coq/coq-8.9.1.ebuild b/sci-mathematics/coq/coq-8.9.1.ebuild
new file mode 100644
index 000000000000..a7de5198ee4c
--- /dev/null
+++ b/sci-mathematics/coq/coq-8.9.1.ebuild
@@ -0,0 +1,86 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="7"
+
+inherit eutils multilib
+
+MY_PV=${PV/_p/pl}
+MY_P=${PN}-${MY_PV}
+
+DESCRIPTION="Proof assistant written in O'Caml"
+HOMEPAGE="http://coq.inria.fr/"
+SRC_URI="https://github.com/coq/coq/archive/V${MY_PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~x86"
+IUSE="gtk debug +ocamlopt doc"
+
+RESTRICT=test
+
+# Note: RDEPEND will require dev-ml/num:= for >=dev-lang/ocaml-4.0.7
+RDEPEND="
+ >=dev-lang/ocaml-4.0.5:=[ocamlopt?]
+ dev-ml/camlp5:=[ocamlopt?]
+ gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] )"
+DEPEND="${RDEPEND}
+ dev-ml/findlib
+ doc? (
+ media-libs/netpbm[png,zlib]
+ virtual/latex-base
+ dev-tex/hevea
+ dev-tex/xcolor
+ dev-texlive/texlive-pictures
+ dev-texlive/texlive-mathscience
+ dev-texlive/texlive-latexextra
+ )"
+
+S=${WORKDIR}/${MY_P}
+
+src_configure() {
+ ocaml_lib=$(ocamlc -where)
+ local myconf=(
+ -prefix /usr
+ -bindir /usr/bin
+ -libdir /usr/$(get_libdir)/coq
+ -mandir /usr/share/man
+ -coqdocdir /usr/$(get_libdir)/coq/coqdoc
+ -docdir /usr/share/doc/${PF}
+ -configdir /etc/xdg/${PN}
+ -lablgtkdir ${ocaml_lib}/lablgtk2
+ )
+
+ use debug && myconf+=( -debug )
+ use doc || myconf+=( -with-doc no )
+
+ if use gtk; then
+ if use ocamlopt; then
+ myconf+=( -coqide opt )
+ else
+ myconf+=( -coqide byte )
+ fi
+ else
+ myconf+=( -coqide no )
+ fi
+
+ use ocamlopt || myconf+=( -byte-only )
+
+ export CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/"
+ ./configure ${myconf[@]} || die "configure failed"
+}
+
+src_compile() {
+ emake STRIP="true" -j1 world VERBOSE=1
+}
+
+src_test() {
+ emake STRIP="true" check VERBOSE=1
+}
+
+src_install() {
+ emake STRIP="true" COQINSTALLPREFIX="${D}" install VERBOSE=1
+ dodoc README.md CREDITS CHANGES.md
+
+ use gtk && make_desktop_entry "coqide" "Coq IDE" "${EPREFIX}/usr/share/coq/coq.png"
+}
diff --git a/sci-mathematics/gimps/Manifest b/sci-mathematics/gimps/Manifest
index cefbbdaecda9..a06e46d8a7b2 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 p95v2810.linux32.tar.gz 4610763 BLAKE2B a6c811235644cdc4d359406504051965b582897b5cddd1c0a20274519dc16aebe76a4c6146cdbcbca8bc321f2963e3f42c9a43070b6ccc80f746c2ca2dbe2fae SHA512 ac2e0f2e1b557b71084027a5bd7cafeb350df3ee9edf347766d34d4a607034827494eb15dae30404da33f8c9f279a85e033cf845800868f4c51087a35b49c521
-DIST p95v2810.linux64.tar.gz 5707219 BLAKE2B 1ad26aa2fba4d7f4727bcd2dfe010d2b5b780e7516f7794111f7d5a782bb5d00080de3e87b98f110ca15a61c128ee18472c2655aaa68cb5498eb5bda11a06a4d SHA512 c4fd692df3018e5e73ba6095de5ed394f36d5c89dd81c2c7f2c74a4ce3184b22176dc13b8b59e4f42c1781e911107dc12224cfcddef882535931319ec93120f1
DIST p95v294b7.linux32.tar.gz 5455201 BLAKE2B 2d542c06fb490f6619884be3cd510fb77e130184d2b7d3bb44fd375fcd7c95e38ef4cf80ed01079c9f395d6e8a526930a07357f20e14277beba4e232f4e2ca27 SHA512 21ee6a8f0a4482bdb22d80093b24a8b9d7e091577628dc797ad01d3a0ab98e946814c70a6313e2624fffa6658454707f88d24608e107048fc6361d15aa5a7fbe
DIST p95v294b7.linux64.tar.gz 6244730 BLAKE2B ca5d0aad96e9bd5fb1bcb232435a26b7d8c2b9d869a6dc638d883fb892013df7a823abb0dae4545c2191b5f39b9cd29ee83400f452fbe63255f2dca899ad6bce SHA512 0579ea9ca1977884c8c50f8c8655b0fef1d5e2b456adca23d6d93542734727f265dc8f784c27fc9510c89afeec7386d4a9a9e9b5d691a97fed8189bef5577b3d
DIST p95v294b8.linux64.tar.gz 6244091 BLAKE2B ec02f582296f8959765f97526646f2f4a679a2b61d3c8e8efc971bf765c7f3b5cd4a9e2667661bcc6b0a3a088d095671af9b1f371f0e671de495935d582bf8e7 SHA512 bec8ce2081e9e349317441bbaa724e5d21ddfa1e328ccb6a17af796d41b201d96b2835fc2afcd68e350b22213225812cafdfca7973a7cd2071c1460188b3245d
-EBUILD gimps-28.10-r1.ebuild 1432 BLAKE2B 5045f454adea032d8d608496639066e56f73b890fe5f95477b4e5fa2550f09fdf59e4697885c351d645743c35631dcbdbf531ce46c74410c4d8faebfb71cb2ad SHA512 f6a39f5b852747c7c50c9ae276cc3393d30d057c6f80ec291de14ff1bb9e0fda109f1d5c7c9df7d2c45846cc6dcb07782e3e5bf60dee01622b702ef59b6985aa
+DIST p95v298b6.linux32.tar.gz 5696871 BLAKE2B e2c68c4dac1e4cfbc2e44542665326d33a7929585928ca720569b918f5286c97b93acc45c03d0514cadb29e87e5c6ca103e69953417df8405e36998c5768896b SHA512 6f82973237c59cd548fe7bfc08c51a62cc7ac4e98a8539e5dfbc23eec21fb6f46e1534dc834852557af61fa1a6fc9b634d9117d85fce37f8f6f9189fb724518b
+DIST p95v298b6.linux64.tar.gz 7032597 BLAKE2B de4de01d68caba4530d5adca165bfaa28cdb7e276b44355b200245cac6bab80bc05885a994c06331c2f66bdcd236c8bdb6cc8206ca40fb583bce6dc98eced7b1 SHA512 cb0ea195f4167e22bfdeef02872205a40ccd4d110abc9c354a413284db9aef1dbf9888ecdc3f09262e0d1033c0e4bed1f23d4d966fb58c437673a81095252bd1
EBUILD gimps-29.4.7.ebuild 1746 BLAKE2B 5e8cf0ed95e081dff81e1c69a4bc18506fa5a3cd4d242760a69f4d8cbe0b279a5353d2caf11b82b500727b0d024bd1ed95c3d41ce63cdd08d6cb0011b5273c30 SHA512 3ada7b591a505801c538dee5c70234ee354d7053fe12b07543eefd67e25d8d0f8cf7ceaf064ecd5a936e4df8f9d142a87205dad945b7d594d9933a2735580a3d
EBUILD gimps-29.4.8.ebuild 1675 BLAKE2B 97a5f7873735863b936afffa3a4086b7600c95abcb83527cfd6ec776dae035724681d27c52cc694ee81dc8d28a477daeccca6bc383b46504f303e023adeacb94 SHA512 abac150f784346a2324e60c7b1b107cdf9aebfacf4dc1e102f2212afcc91e0256369c635d4687d3abd95b191d6f1efede52240ed4276a7020e324cedf6725b88
+EBUILD gimps-29.8.6.ebuild 1722 BLAKE2B 9cacd6cbceb16f92812b879ebbf8baaaeddc866dcd4789a1deb9e5e128de502b61a9800ca308b8137f45378a43d4e2d4a55e089782728a580dd738eaae960059 SHA512 79e9deaeead01814daf5a578620a3e4ed93817706c60c54b2890abe0c911ba0061bca0bcd0b07e72281ce50869f9b20beec4aedafe93beed1949a57f8db19caf
MISC metadata.xml 529 BLAKE2B a6e3550d128d6c4801029726feb868aa1cd1017b8a2f6f7ebbb3743a7b2190d40db06d22eb4f8ce94e35ab5e6b1f213afdf179fe7777501ad87457be43d9af44 SHA512 a7fb9bd05f987e1d48a04b70e78cbb3906927197793870435fee8b68dd9da623a68fc30ca96d0173952414d9741674ba2cc2c3f821dfd7b302f91f09e887a362
diff --git a/sci-mathematics/gimps/gimps-28.10-r1.ebuild b/sci-mathematics/gimps/gimps-29.8.6.ebuild
index 3f313557058c..ead2bcedc1c0 100644
--- a/sci-mathematics/gimps/gimps-28.10-r1.ebuild
+++ b/sci-mathematics/gimps/gimps-29.8.6.ebuild
@@ -1,36 +1,46 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=6
+EAPI=7
inherit pax-utils systemd readme.gentoo-r1
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="
- amd64? ( ftp://mersenne.org/gimps/p95v${PV/./}.linux64.tar.gz )
- x86? ( ftp://mersenne.org/gimps/p95v${PV/./}.linux32.tar.gz )"
+ amd64? ( ftp://mersenne.org/gimps/p95v${MY_PV/./}.linux64.tar.gz )
+ x86? ( ftp://mersenne.org/gimps/p95v${MY_PV/./}.linux32.tar.gz )"
SLOT="0"
LICENSE="GIMPS"
-KEYWORDS="-* amd64 x86"
-IUSE=""
+KEYWORDS="-* ~amd64 ~x86"
# 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.3.2 is bundled within the .tar.gz, but we use the system one.
+
DEPEND=""
-RDEPEND="net-misc/curl"
+RDEPEND="net-misc/curl
+ >=dev-libs/gmp-6.1.2"
S="${WORKDIR}"
I="/opt/gimps"
QA_PREBUILT="opt/gimps/mprime"
-DOCS="license.txt readme.txt stress.txt whatsnew.txt undoc.txt"
+DOCS=( license.txt readme.txt stress.txt whatsnew.txt undoc.txt )
src_install() {
- dodir ${I} /var/lib/gimps
+ dodir ${I}
+ keepdir /var/lib/gimps
pax-mark m mprime
cp mprime "${D}/${I}" || die
fperms a-w "${I}/mprime"
diff --git a/sci-mathematics/gmp-ecm/Manifest b/sci-mathematics/gmp-ecm/Manifest
index d5bb9e2ec41d..bb447509e5ed 100644
--- a/sci-mathematics/gmp-ecm/Manifest
+++ b/sci-mathematics/gmp-ecm/Manifest
@@ -3,6 +3,6 @@ DIST gmp-ecm-6.4.4.tar.gz 941058 BLAKE2B e83f02592a8bb86285f258fefc3e302cc516888
DIST gmp-ecm-7.0.4.tar.gz 1101899 BLAKE2B 6d52364d9c752aee66510a7f6b273559bf1b7de0032fbbeff74e229ed68fd0cd1c236b480f8fc25bcad6435740e3e22b3099c8f018912918ab8f4b33dc7b8b3c SHA512 b863b9bfd26df26c3c4243686036a69110e69ca3eec5b31d4550fe713e2fac4ce70cd1d80f0614899793aa44710531aa4a21abc0fa1b99eb17f62bd92b971350
EBUILD gmp-ecm-6.4.3-r5.ebuild 1370 BLAKE2B ad6bf30df573f77c458268b81d63157cb66ef6b0a9b6a99a2eccef27c70caac2ba51eda8d056781712fe8aa33a65128aa742ac3ac5ba5914145882a8401345ba SHA512 6c2e766207e64b1b4837720f39f99e7efc644218178a44ad994585e2febc3c13b70a2c684a89964834ccdddac6d7f60d63543b7d5f8eba90906c85f760bfb513
EBUILD gmp-ecm-6.4.4-r1.ebuild 1474 BLAKE2B cf8ce605ccdb5a1b26db33a01989a06b8395840a84c700f7e420e8b69edc0bf4a91e03f84ce66e2d13184b10212c1e375c273d67c043adbf57e99b7462fc93eb SHA512 da6edd387bef9b397d431ee5ac7700e651a9751fb7aff1413151bf7a7f1e312def417514c7ff536a454c5b46f7405a26ad5fdbecf743f0d667313a1da6c00e22
-EBUILD gmp-ecm-7.0.4.ebuild 1163 BLAKE2B 1b47e6286c06526166e3a4e9c612ae0fee5e36e1220d9c33dbe5d93a7d2a0fa1afad87ca5f15656c9a8663044c820b09df54d6c76775da41d53926a36983ad65 SHA512 154195e3ab1ce965e8df9862a9c0571726a3426c3e3c90861913dc1937998d8be4172a2bf7207762dd2dea30a0d17d93b9257fc19a0c553306bb6f527a135493
+EBUILD gmp-ecm-7.0.4-r1.ebuild 1203 BLAKE2B e1c8e29bd3a42277aac1029f2a7b840cfacaf8cfb057e250ba597849858b4e6e1a45c4a4c6f2917a9834b53fed92faa7d5bc020b15dbe17c64d923e015827010 SHA512 a42cb6e57827da2c6e28858da18c65d0e70319dbd646378e9dab1d4ed5c138d842e9ad5aa6a2853d0abe6aeadee24fbffeb45fae955ae213ccca1d692cd2b8e8
EBUILD gmp-ecm-9999.ebuild 1026 BLAKE2B 26e3b858f684136f9909a00f58240359cb6f09cafb64276e1c14efc7d26f13dc9b676809c8bf8d8b3b3342847b87de2b19ba5f37096a975e870694a6fb082cd3 SHA512 2f4314e9578bdc129af573c540e2f4cb26549a5a5bbfd640bdcdd50afc55b6bd05f10486a0382be4f13d4c4fac3dc93bcffd44faddfbafcafdaaf9b64d2cc579
MISC metadata.xml 384 BLAKE2B 168807abd87bddc88522015f01126d5ec0bde8716aa38b6e619054d39e9bb12a6ffdaa3082328ecb56c0398b498c964c8e28c818d3887919fbe3065a28673f2a SHA512 a8a7aa64869c88ac293347281a80158cbd3cc84fc9f5ca56531d3d53b33601f9baa5c4f66c93508d6763dc54779a563faa09c4a473c670a9b217610efecca25c
diff --git a/sci-mathematics/gmp-ecm/gmp-ecm-7.0.4.ebuild b/sci-mathematics/gmp-ecm/gmp-ecm-7.0.4-r1.ebuild
index 54f7a1bbd2df..67ee92316610 100644
--- a/sci-mathematics/gmp-ecm/gmp-ecm-7.0.4.ebuild
+++ b/sci-mathematics/gmp-ecm/gmp-ecm-7.0.4-r1.ebuild
@@ -41,8 +41,7 @@ src_configure() {
src_compile() {
append-ldflags "-Wl,-z,noexecstack"
if use custom-tune; then
- use amd64 && cd x86_64
- use x86 && cd pentium4
+ emake && emake ecm-params # need to build all to get benchmark bits, then run benchmark
emake
fi
default
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index b05854ab47ca..9598008f8121 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -2,7 +2,9 @@ AUX z3-4.4.1-gcc-6.patch 668 BLAKE2B d6d87a3f8204f04359b2843e6988b9ac2c13df9fae5
DIST Z3-4.8.5.tar.gz 4177051 BLAKE2B f8c4be9dbab2d5cf6fdb0bd8e9e1648f8ac29bc8ca9241b3ef29699400b383f09601149d50899d6ca828abadacb71161af1524df6d1ed45d7fd95c4a49c0d3df SHA512 ca36e1a0332bd473a64f41dfdb31656fb3486178473e4fd4934dccce109a84c9686c08f94998df74bacb588eb12ea5db25dc17a564ee76f82fd2559349697309
DIST z3-4.4.1.tar.gz 3347371 BLAKE2B 57f090b891618613c4647a89620d12f2ac05ea110268e63b343594f53fa2cc7aa347781001e2778ea7dc1ce475c964ddeced7a82c304b4be706ad164fd17a285 SHA512 76991a24f47f2b53ceb8d7a9a6be19913c57994ffb6cf6acfe30f61b2e73959cf02a99f656053594fccb5aaf4d1f44b3ae7e51f1c8953b213d738ceeeaea74f8
DIST z3-4.5.0.tar.gz 3573695 BLAKE2B 285cc4d1f998d61ddb0b854044b7c79c1bb4cccf51bbdcba7c4a45698d74d9591f84d0aa74c5ef7c8aea2c6539ac987f29e326b44037e954108df67644dff594 SHA512 1ebc2c908d90b6b879f1e819c864ff894613276af47a440f27cf94968c195656952434754c3eb20f4bdbdd8497d227d22e1b4821c0d320b11052b5648d9e2dc7
+DIST z3-4.8.6.tar.gz 4328752 BLAKE2B 4932670f3c1ab9bdba18a6ad80f4fd8812eb70d71705ebdf1f93c3b052ffb632dc10e4f7f4043f098af214288d6d4a4a26ef7f8cc0d1183c9f27b14ef1787c46 SHA512 d338413274a3d11a9e9287202989df9da4c31e095c14428a418d4019e9f86c0e2b681c519d2d0bcbb4cd99a722a2539006f5c86ade568b1ee208545b142369f1
EBUILD z3-4.4.1.ebuild 4306 BLAKE2B 7e81603d96667c8e5748467668615f07a9e2194be963b67ae94eb90b29252d7fb53be373df21efbbea007aa8671609f2199fcb8a5f866b1f284228ad0d6e9d00 SHA512 1a370b019b33e83d5984b6abf321b39ff25f3b633ca60b2c48ddf9e33b30252389b5cb6f2e34e0dc1103730c9e5bf60ac688d67914d9c5dae52cf5fc5354620c
EBUILD z3-4.5.0.ebuild 4721 BLAKE2B 8d0dab01c8c06bb07462bb51311520bb9f600b64ab43dd1ad5975c39554416d1a019665d30079535f5e20cefa5d65c6e6eb7140fd2ebc90cd2c363e9c732421c SHA512 e52d01917d884d10c24bf081303bdef7b1efa3b042f838ebc7de678a473fdd01d7738a216c9e14c4929b847fe7e5c3abe7a92bdafc827a1c1aa54b86abe46664
-EBUILD z3-4.8.5.ebuild 2639 BLAKE2B b6cb4b0e12c118d3fc32be1b0bc52a94c636350a2df7a317f82c01fb9ee9a9a227887a2435268eabbdb034decac0c0266e7912115f7f820fe758a6533ab9b73b SHA512 13a82e86b4d931bd64511ceafef315232c9c9fe5af2fe3c4aa323dd2d5b5accbf2d0e57efb502c1da1e8ac5e1b0f6557eebcdc71698687ca1d054aa5ceb0a0cb
+EBUILD z3-4.8.5.ebuild 2638 BLAKE2B 2f9f25e652ab0eb24a7d254478d1ad36ad5b08cf1fbd742f90f132a939cc62cd74b38f60ee76246a4714041848cab487bd9464708cff7e4793dd295c8d7c5346 SHA512 733f387ae61a3de6e582844e6d49b329e19e3aa4ec193867acbc2220f8a1432fc566f103641967f76693f42b9e33b0097a6a7b0a36296c5d03b59e19a0335bba
+EBUILD z3-4.8.6.ebuild 2342 BLAKE2B 41f06a28720f4e277bb2baab64874c8b50df603a414be87ae1b260f7e344899664878e4db12fcf6da013ed64d0e2c4a98c072782c5056d3049a62eded391877a SHA512 ed360f44d8e79c0b92e442c2352c910da87a619a1ed16b6d83874cb283e090dc4e7ea5ebcfa273224aa09edeb8846cfde3f062983938d52c271303a5f2292d5d
MISC metadata.xml 862 BLAKE2B 1d219fcfb0772a48ec398a51b8916748db336730b91b66e336e8df0b8522b9a47df718d6303aff5f305b699e9297aaad9b352c69d529a93f66cf2a1b76c8f094 SHA512 2a5cc11ae87199a23c72ffb7366c65cbb33683bb6ad142d1df84a65b56bd69f50907bca69f066a1c860947254c241089521c026bac9ff92bd405038c266907ef
diff --git a/sci-mathematics/z3/z3-4.8.5.ebuild b/sci-mathematics/z3/z3-4.8.5.ebuild
index e21797494393..655c7b28fe6a 100644
--- a/sci-mathematics/z3/z3-4.8.5.ebuild
+++ b/sci-mathematics/z3/z3-4.8.5.ebuild
@@ -13,7 +13,7 @@ SRC_URI="https://github.com/Z3Prover/z3/archive/${P^}.tar.gz"
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="amd64 arm ~arm64 ppc64 x86"
+KEYWORDS="amd64 arm arm64 ppc64 x86"
IUSE="doc examples gmp isabelle java openmp python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
diff --git a/sci-mathematics/z3/z3-4.8.6.ebuild b/sci-mathematics/z3/z3-4.8.6.ebuild
new file mode 100644
index 000000000000..67b683d00d7f
--- /dev/null
+++ b/sci-mathematics/z3/z3-4.8.6.ebuild
@@ -0,0 +1,93 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+PYTHON_COMPAT=( python{2_7,3_{5,6,7}} )
+
+inherit cmake-multilib python-single-r1 toolchain-funcs
+
+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 ~ppc64 ~x86"
+IUSE="doc examples gmp isabelle java python"
+REQUIRED_USE="${PYTHON_REQUIRED_USE}"
+
+RDEPEND="${PYTHON_DEPS}
+ gmp? ( dev-libs/gmp:0=[${MULTILIB_USEDEP}] )"
+DEPEND="${RDEPEND}
+ java? ( >=virtual/jdk-1.8 )"
+BDEPEND="
+ doc? ( app-doc/doxygen )"
+
+CMAKE_BUILD_TYPE=RelWithDebInfo
+
+multilib_src_configure() {
+ local mycmakeargs=(
+ -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${P}"
+ -DUSE_LIB_GMP=$(usex gmp)
+ -DENABLE_EXAMPLE_TARGETS=OFF
+ -DBUILD_DOCUMENTATION=$(multilib_native_usex doc)
+ -DBUILD_PYTHON_BINDINGS=$(multilib_native_usex python)
+ -DBUILD_JAVA_BINDINGS=$(multilib_native_usex java)
+ )
+
+ cmake-utils_src_configure
+}
+
+multilib_src_test() {
+ cmake-utils_src_make 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
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-17 23:53:22 +0000