summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-06-05 19:47:54 +0200
committerAlfredo Tupone <tupone@gentoo.org>2024-06-05 19:52:55 +0200
commit16be5ca0b8d1fbf4dc57fb1f25ac46ffd7dd38bd (patch)
tree580665d29b427298cefbcaf907bf919373f5ac25
parentsci-chemistry/vmd: enable py3.12 (diff)
downloadgentoo-16be5ca0b8d1fbf4dc57fb1f25ac46ffd7dd38bd.tar.gz
gentoo-16be5ca0b8d1fbf4dc57fb1f25ac46ffd7dd38bd.tar.bz2
gentoo-16be5ca0b8d1fbf4dc57fb1f25ac46ffd7dd38bd.zip
dev-ml/camlp5: rebuild after test
Closes: https://bugs.gentoo.org/911844 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
-rw-r--r--dev-ml/camlp5/camlp5-8.02.00-r1.ebuild5
1 files changed, 5 insertions, 0 deletions
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() {