commit: cfa07369cb804ea360eef996a504b1297ced25cc Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Wed Jun 29 18:05:14 2022 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Wed Jun 29 18:05:37 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cfa07369
sci-mathematics/alt-ergo: require ocamlopt Closes: https://bugs.gentoo.org/849374 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> ...lt-ergo-2.4.1_p20220407.ebuild => alt-ergo-2.4.1_p20220407-r1.ebuild} | 1 + 1 file changed, 1 insertion(+) diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild similarity index 97% rename from sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407.ebuild rename to sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild index f76781a05972..99700c400f68 100644 --- a/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407.ebuild +++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild @@ -32,6 +32,7 @@ RDEPEND=" " DEPEND="${RDEPEND}" BDEPEND="dev-ml/dune-configurator" +REQUIRED_USE="ocamlopt" src_prepare() { default