diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-11-21 03:03:00 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-11-21 03:03:00 +0000 |
| commit | 9db1279f804d62da2c61cfb39fc2e62b9faf56dd (patch) | |
| tree | 7b951d5bf3ab775b91a18e0022d8f19d3582d84e /sci-mathematics/why3 | |
| parent | 8a5f3383bbc5f817d89554020a3600d06985bc4a (diff) | |
gentoo auto-resync : 21:11:2024 - 03:03:00
Diffstat (limited to 'sci-mathematics/why3')
| -rw-r--r-- | sci-mathematics/why3/Manifest | 3 | ||||
| -rw-r--r-- | sci-mathematics/why3/files/why3-1.7.2-signum.patch | 11 | ||||
| -rw-r--r-- | sci-mathematics/why3/why3-1.7.2.ebuild | 2 |
3 files changed, 15 insertions, 1 deletions
diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest index 32defd10808f..bbaca0e7ab6e 100644 --- a/sci-mathematics/why3/Manifest +++ b/sci-mathematics/why3/Manifest @@ -1,5 +1,6 @@ +AUX why3-1.7.2-signum.patch 406 BLAKE2B ab81e95db7537a31fd75e3d0551ee57cf664aa6f41779c2d72100b39c88ca0f3a90fa517e07dd1f17c3f93fff134802cb1e3fa192e15b66b8163e840c1e75dd8 SHA512 3491b58cc54bfdd8601242b2f78d7a8afbed8097758610dd38815e8ed90cf462d02ded16905838a51275fd16ed634f89ba11e38a8d573c78ca01477fcfa35237 DIST why3-1.6.0.tar.gz 6850062 BLAKE2B 91db6f67a9d0fe24b7d7d18e6c5e9cd362563a55702bfb28c478754f53e831beb3033adde251214facd8d64ab923389b0b9fe7b240b6cd09f0b4b3e6f8eca143 SHA512 60d61b8337ab9f2fd2e6c7174eb0bab063f122417738cd75990c5c53120dd535bcedccb670567f5753853d6bc9f8efebb563d079e4d368372a7687193f1346b1 DIST why3-1.7.2.tar.gz 7005562 BLAKE2B cd1b25e35147a319e5d5d1f1380ecfaa3555624c797459e8df5cb3b1558928d9c02b567645a2f2952b877c7135a5a393f4b734dd35e569bea6e6b073708901ce SHA512 7e80671480ce0dc3c69514bea2836f5899c686b43a4e8607c27d28e63f78150150dc45fcac5760dbee9721d363e456b1dcaeb1501fc9f63f360722a1021f675f EBUILD why3-1.6.0.ebuild 2348 BLAKE2B 0b8f27f14bb7d2117a9f5f6451d12e57ae3123ac6f491c653fb762bdf2410b5af17f9f3d7c2655c56f6a2f3f198aad07411a7c07e4943e62e1673b66e4779e41 SHA512 7a4ff6be794f77a6a319ee5e39e0bb3c80c82777d45da510d54ab6ac1793c0d249ebf10516c4db4ad7bf27441a0ef37171c43c04295ae0bd757f34619ac6fd61 -EBUILD why3-1.7.2.ebuild 2364 BLAKE2B f58d8a3fe69e1f50efd2fa08b47091e83a80fb8796c0b8326d242ab918792342817abf61422f0b930f94e14a333e332ec48254ffa95522e93637a8814e14f917 SHA512 45fc4136e2efb6e95c3bf39a48857246e02be2cf557fda5d2f231cd8e9b004ad23d197b8b2566c6b041f18471994dec9e679f83979ac355bfa4f2e6247af98b4 +EBUILD why3-1.7.2.ebuild 2409 BLAKE2B c26ca5d897b83c8b9a7c48216b5f3753b246cf9f3d1f1532d7f0fbe02e327a6df21634866db07483e3e1b7f7493163b2dcf632b29ecfabf1d9e672d30ce1c8a9 SHA512 f02f1161252451824854c61615e049a90761321f433727bf25590f3777351bff991732ef761d8f11951fb0d54afe8ccc50bfef60ff2bf1611f6437e050451d56 MISC metadata.xml 1902 BLAKE2B 1868834e446b471f4b3f7b11fc987661dee83790110fa31c73f0060fd8340891ff85ec16591d1326977760c726ec04bd06a4cca46fb1a87f792340a002cba247 SHA512 4dc9408d44eafc037bfce9c996570e58c161e07c3ded2a052954c834fcf8c3a36cf8429493bc705ced7445d199eaf207cabb5df1b0ed6b625015af518e55d9e9 diff --git a/sci-mathematics/why3/files/why3-1.7.2-signum.patch b/sci-mathematics/why3/files/why3-1.7.2-signum.patch new file mode 100644 index 000000000000..97c014df8b91 --- /dev/null +++ b/sci-mathematics/why3/files/why3-1.7.2-signum.patch @@ -0,0 +1,11 @@ +--- a/src/server/cpulimit-unix.c 2024-11-20 22:37:00.519645455 +0100 ++++ b/src/server/cpulimit-unix.c 2024-11-20 22:39:55.096447774 +0100 +@@ -42,7 +42,7 @@ + } + } + +-void wallclock_timelimit_reached() { ++void wallclock_timelimit_reached(__attribute__((unused)) int signum) { + fprintf(stderr, + "Why3cpulimit: wallclock timelimit %d reached, killing command\n", + wallclock_timelimit); diff --git a/sci-mathematics/why3/why3-1.7.2.ebuild b/sci-mathematics/why3/why3-1.7.2.ebuild index 7517d54b1b67..888c5c48f865 100644 --- a/sci-mathematics/why3/why3-1.7.2.ebuild +++ b/sci-mathematics/why3/why3-1.7.2.ebuild @@ -46,6 +46,8 @@ BDEPEND=" DOCS=( CHANGES.md README.md ) +PATCHES=( "${FILESDIR}"/${P}-signum.patch ) + src_prepare() { mv configure.in configure.ac || die |