From: "Alfredo Tupone" <tupone@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/camlp5/
Date: Wed, 5 Jun 2024 17:53:25 +0000 (UTC) [thread overview]
Message-ID: <1717609975.16be5ca0b8d1fbf4dc57fb1f25ac46ffd7dd38bd.tupone@gentoo> (raw)
commit: 16be5ca0b8d1fbf4dc57fb1f25ac46ffd7dd38bd
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 5 17:47:54 2024 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Jun 5 17:52:55 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=16be5ca0
dev-ml/camlp5: rebuild after test
Closes: https://bugs.gentoo.org/911844
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/camlp5/camlp5-8.02.00-r1.ebuild | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/dev-ml/camlp5/camlp5-8.02.00-r1.ebuild b/dev-ml/camlp5/camlp5-8.02.00-r1.ebuild
index e984b76b319f..9ef7049a8ee4 100644
--- a/dev-ml/camlp5/camlp5-8.02.00-r1.ebuild
+++ b/dev-ml/camlp5/camlp5-8.02.00-r1.ebuild
@@ -52,7 +52,12 @@ src_compile() {
}
src_test() {
+ ulimit -s 11530000
emake bootstrap
+ if use ocamlopt; then
+ emake opt
+ emake opt.opt
+ fi
}
src_install() {
next reply other threads:[~2024-06-05 17:53 UTC|newest]
Thread overview: 77+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-06-05 17:53 Alfredo Tupone [this message]
-- strict thread matches above, loose matches on Subject: below --
2024-10-15 20:43 [gentoo-commits] repo/gentoo:master commit in: dev-ml/camlp5/ Alfredo Tupone
2024-10-15 15:25 Arthur Zamarin
2024-07-10 12:20 Alfredo Tupone
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-07-02 14:50 Maciej Barć
2024-05-30 6:28 Alfredo Tupone
2023-08-08 15:39 Alfredo Tupone
2023-08-06 14:11 Alfredo Tupone
2023-07-17 6:12 Sam James
2023-04-28 13:06 Alfredo Tupone
2023-03-17 11:27 Arthur Zamarin
2023-03-17 7:00 Arthur Zamarin
2023-03-17 6:39 Arthur Zamarin
2023-03-16 23:52 Sam James
2023-03-16 23:17 Sam James
2023-02-19 8:45 Alfredo Tupone
2023-02-18 21:40 Alfredo Tupone
2023-02-15 18:38 Matt Turner
2023-01-27 19:49 Alfredo Tupone
2022-05-03 18:01 Arthur Zamarin
2022-05-03 17:52 Arthur Zamarin
2022-05-03 17:47 Arthur Zamarin
2022-05-03 17:45 Arthur Zamarin
2022-05-01 21:51 Jakov Smolić
2022-04-04 16:26 Alfredo Tupone
2022-01-09 10:51 Alfredo Tupone
2021-10-06 1:02 Sam James
2021-07-29 7:08 Agostino Sarubbo
2021-07-29 6:45 Agostino Sarubbo
2021-07-28 3:12 Sam James
2021-07-28 3:12 Sam James
2021-06-10 3:54 Sam James
2021-05-04 19:23 Sam James
2021-01-27 7:01 Alfredo Tupone
2021-01-24 16:06 Sam James
2021-01-14 6:39 Alfredo Tupone
2020-12-29 4:14 Sam James
2020-11-10 1:04 Sam James
2020-11-10 1:04 Sam James
2020-10-28 3:36 Sam James
2020-10-22 13:59 Sam James
2020-10-22 13:59 Sam James
2020-05-14 5:58 Alfredo Tupone
2020-05-13 13:19 Joonas Niilola
2020-05-13 8:11 Alfredo Tupone
2020-02-17 13:36 Alfredo Tupone
2020-02-17 12:21 Agostino Sarubbo
2020-02-17 12:13 Agostino Sarubbo
2020-02-17 12:09 Agostino Sarubbo
2020-02-10 0:53 Miroslav Šulc
2020-02-10 0:53 Miroslav Šulc
2020-01-15 8:16 Alfredo Tupone
2019-10-20 11:41 David Seifert
2017-11-04 9:53 Alexis Ballier
2017-07-17 11:54 Alexis Ballier
2017-06-26 11:43 Alexis Ballier
2017-06-25 14:42 Alexis Ballier
2017-04-27 10:40 Alexis Ballier
2017-01-24 10:55 Alexis Ballier
2017-01-23 18:27 Tobias Klausmann
2017-01-08 6:50 Aaron Bauman
2016-11-29 12:18 Alexis Ballier
2016-04-30 18:08 Alexis Ballier
2016-04-30 18:07 Alexis Ballier
2016-02-04 17:24 Tobias Klausmann
2016-02-02 8:51 Alexis Ballier
2015-11-12 11:58 Alexis Ballier
2015-11-12 11:21 Agostino Sarubbo
2015-11-11 9:54 Agostino Sarubbo
2015-11-10 12:01 Agostino Sarubbo
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1717609975.16be5ca0b8d1fbf4dc57fb1f25ac46ffd7dd38bd.tupone@gentoo \
--to=tupone@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox