summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-04-11 23:39:55 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-04-11 23:39:55 +0100
commit7d040c2d1b0c38c8635ec28dfaa632a2db8be895 (patch)
tree78e9474cad949bcd1254749d61f4f6b9e7d488bf /sci-mathematics/coq
parent0d39cf7bd8aae36b5d8eb4272a42dc6919216e34 (diff)
gentoo auto-resync : 11:04:2023 - 23:39:54
Diffstat (limited to 'sci-mathematics/coq')
-rw-r--r--sci-mathematics/coq/Manifest2
-rw-r--r--sci-mathematics/coq/coq-8.17.0.ebuild7
2 files changed, 8 insertions, 1 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 01adb3c5c501..3097d08bf5c4 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -7,5 +7,5 @@ EBUILD coq-8.12.0-r2.ebuild 1853 BLAKE2B 2a34013702abba1c9e1116397822684fcfd0906
EBUILD coq-8.13.0-r1.ebuild 1827 BLAKE2B c14222f64269417e09c02f581a281a5328cb71e203d365019a939846bd2c2d61c8a059e64f3df0027472927b8e36aea6b2b998de86799cd1c425481a3d98e3d3 SHA512 faad0043cabc4f2d2fa129878a233ba11d0ced13fbd2c0f947c6ee380a5a1efceb65bcc0ee8e84f4116a9c3b78beb940865c07aafd22816911a39a69f9b23138
EBUILD coq-8.15.2.ebuild 2402 BLAKE2B a1f9f44c17ea51c1a0536d02eaddbeba7eb5e441ec8562da3b9776dbafafbd30c50beb821d248e0a51dc56b3a5bec7feb36811d92277609d405b01229bdda17f SHA512 45c64aa13323c97c29dd4eeccc5b4e228b6abf51a3717bf62dee0c102df13c9a809073150d82be8ae7a07d43f62f52b4b7d2a69908f0ffed646b64a44d46c7e3
EBUILD coq-8.16.1.ebuild 2418 BLAKE2B 09538efce3b1ba1b96141fe56b4328ed5fdd9a2c3aeeabb94ab35af59027748e4e75f456edd6ea81d97f8a7cd2ace7c6a89af1c815139168bd2728ad8ceafc7e SHA512 37dd16c4b7d7ebb9c380f47e24c25bbdf361db401d593f1a0d21cd0842dc4a1c6ebfd1bafd1d6c661885811f2b00c3d1665e78efcc385c478216b832e7889a51
-EBUILD coq-8.17.0.ebuild 2207 BLAKE2B e664529b791384a0afae297df3c9457a1d8659e07a8f6b710a0e8328913ed13c63664ceda6bbc314f43cd161b1f70d61d6cfbba8535e27cfefdb004b350a2be8 SHA512 74010ab80f6f8a1a961630776b729132d9a9cac53e82ef1bd357ba0efb9ddafa2d9e31fadb77e5e09031cd2cd5161cbe7c40a3ee4bce3c7d030856940920a934
+EBUILD coq-8.17.0.ebuild 2318 BLAKE2B aedaaffa25443144c96c551980610b726b21fadc80a972ed9aad4c56d3c72e0415e88ec169c95e5c19e052933e9d0eb75ccc642f2bb34d78e0ad91740a2f3de2 SHA512 45e8b76a4bf851c2be74e1ed9c38de28ec95a320d73620806abd1124a59d7b843713ab0cd7592b42beed53509f01ccbb91eee96a293505123879f17c8bd845d6
MISC metadata.xml 1047 BLAKE2B 9f6defdf213139ee6549bc8f3b36ce5e8f53ea73bd5aad9262932cbaea7e90bd97c9ffc9dbbd03ac50097c5a6f19f5ddf00dd2b74cc6a5349faf1b597244fb67 SHA512 0f5bfbdd9ffd6f64379e697ed7cf90c2d9257cd1815e520aa14235f1cb399d20fc863221a0cae803cc88e5975be964b9debc3d750a6378ea157146f2e567c5dc
diff --git a/sci-mathematics/coq/coq-8.17.0.ebuild b/sci-mathematics/coq/coq-8.17.0.ebuild
index 19df902424b8..f8376e6eeb69 100644
--- a/sci-mathematics/coq/coq-8.17.0.ebuild
+++ b/sci-mathematics/coq/coq-8.17.0.ebuild
@@ -53,6 +53,13 @@ BDEPEND="
DOCS=( CODE_OF_CONDUCT.md CONTRIBUTING.md CREDITS INSTALL.md README.md )
+src_prepare() {
+ # Remove failing tests. bug #859877
+ rm -r test-suite/coq-makefile/timing || die
+
+ default
+}
+
src_configure() {
export CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/"