diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-04-02 23:19:01 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-04-02 23:19:01 +0100 |
| commit | d288197c01703f58dbea0ff4f42b01e7c4c6f327 (patch) | |
| tree | 5a9afa2f3fc3271753649a9b2c3c7045a7e85104 /sci-mathematics/why3-for-spark | |
| parent | 97310164515a0a048d4f049ae2d3e8d413fb94c6 (diff) | |
gentoo auto-resync : 02:04:2023 - 23:19:00
Diffstat (limited to 'sci-mathematics/why3-for-spark')
3 files changed, 14 insertions, 1 deletions
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest index e19628472587..f0ae4746f931 100644 --- a/sci-mathematics/why3-for-spark/Manifest +++ b/sci-mathematics/why3-for-spark/Manifest @@ -1,6 +1,7 @@ AUX why3-for-spark-2020-bibtex.patch 288 BLAKE2B 50459e0dfe6ef3d5b455993e9e7fbc3c8093d40a83dc2c0b8660c1d69d7d45cfc3fc657cb06dd3794741e7c3d923b46c0a0b7330c656be908aac72f921e7885d SHA512 0ce636357b9c3c31762bdfcb7487f812a6cfcb49c4c412236b7a6b1ec69f4c74f1b29ac80f4e441d872fe251ab050bc1b186acf514473c52e3680f2d274f4f9b AUX why3-for-spark-2020-gentoo.patch 332 BLAKE2B d71897d1d253a95f2a783483ee7bb0d243961cbc7218e05f3717a95388da0613e3f162a39cb4dac816035d6381ac69f189e352f2d83530b70b46b2439f7b92c3 SHA512 766de53c5cdede4bfdbac671851ec7de5060712622d4c89ce9117ef31596c2e4bd938bd2fe50d6a969f93ae252c40c83c2f782ad710fd52ab652434765483f90 AUX why3-for-spark-2021-flags.patch 1234 BLAKE2B 617040fbf9204382adda8161a07ab5244bb60daf1936a8c549ccd3c28a10e447c80cf8875ef2d16103751dfc9881c15e0a8f39f2877fe7d0adf9a8dd374e1e21 SHA512 abbe1b1f9ed6b5aedf0521e0f8d19b6f0267c5304000419f6df91b581bfa99a46c4b46ceed5a294ffc47c0b2f987666c6cd5801049da14b79f24885cbd227bcb +AUX why3-for-spark-2021-make.patch 362 BLAKE2B 40ce982fe3d028650d964ff6c265bcf9ebb58c2b4c6418650089f688e63d1af7485caf537605057eb409eae93c1ffcc6f206e5235e853490b1611f6f2815edf2 SHA512 62e4649d39a289e4095cc6ef8ab6bb4b5583f416412c5a12c5c78c8f04b28e928940d3690affb23bf4f64559baa1c164e09acd559b62eae9cafbaef014ed1366 DIST why3-2021-20210519-19ADF-src.tar.gz 10386938 BLAKE2B 93b6323c562126244f5cccef34088a521fe3dc1cec07c966e94472503ec8492707b20a641936449307f0439e711a82260d36679cbc69f53df8e7886a1d3673c3 SHA512 65e3c1430001962f2c7cce786f3e30f14b5295cff89c4087d95c1545e81743723319ba0309dbe15c4c46552110b25ff57addc3ee085dade02ea59a2273b127db -EBUILD why3-for-spark-2021-r1.ebuild 2940 BLAKE2B 6dfd1ac6a312925e89f024bd56ab4042b8e0803c180f589ce28f31acd3779577240de226f28bca72a21ab95bb1fd38562dd7b9e584e0d86a5520a612beb079f2 SHA512 468a87fc46fbf564a61a7e02995d0bd5090519b0cef82b40d4f15e116bd8af6bde76c734c93d9cb0f1af0e96b00fa3a39697b179e2fba183169dc867bfa6a160 +EBUILD why3-for-spark-2021-r1.ebuild 2984 BLAKE2B c1532cab3deaba93a489758989a03e3eb79e9c10296779e0eaa32f2b0e81ad099a4be9370bc20b7b0834b2e7ee4e2a6c148594503d073357a5d1d1a2518a0de1 SHA512 983b92e67d9110fa07a36fb6f6f0898fa19606ceb34caeb7a29dc7a3d496c130383da055368ce6c240413fb89a9412974ab98f0498cd6eb25b9ab397d8bd2557 MISC metadata.xml 1486 BLAKE2B 3f8757b80b9b1b031fdfee11a4d1fb8aa6bf52b496e7fe2f26b3159313aa6df3998717b9b7d69a3e8c1206425986d3f8faa4d73b7ca1e216b90521c6bbe10c68 SHA512 60dd1f95702d163ad46f636d4af302437cab29d29fb1466352ff2889841d378bb2c6d4670cd626dcf612f2a1196627f09282f29e63815a929411d5bbdc68593e diff --git a/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch new file mode 100644 index 000000000000..5eba27fd5d0e --- /dev/null +++ b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch @@ -0,0 +1,11 @@ +--- a/Makefile.in 2023-04-02 22:54:43.160504917 +0200 ++++ b/Makefile.in 2023-04-02 22:55:05.194152231 +0200 +@@ -9,6 +9,8 @@ + # # + #################################################################### + ++.NOTPARALLEL: notparallel ++ + VERBOSEMAKE ?= @enable_verbose_make@ + + ifeq ($(VERBOSEMAKE),yes) diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild index 10f8a95c8393..4204da3000b6 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild @@ -52,6 +52,7 @@ S="${WORKDIR}"/${MYP} PATCHES=( "${FILESDIR}"/${PN}-2020-gentoo.patch "${FILESDIR}"/${P}-flags.patch + "${FILESDIR}"/${P}-make.patch #Bug #883167 "${FILESDIR}"/${PN}-2020-bibtex.patch ) |