commit: 0c9116b3aef8f3e47e801bc1c8afce931f9b790b Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Wed Mar 8 21:38:20 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Wed Mar 8 21:38:54 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0c9116b3
sci-mathematics/cubicle: require ocamlopt Closes: https://bugs.gentoo.org/895214 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> .../cubicle/{cubicle-1.2.0-r1.ebuild => cubicle-1.2.0-r2.ebuild} | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild similarity index 94% rename from sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild rename to sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild index 8159f9f60a4a..756eb6aab056 100644 --- a/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild +++ b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild @@ -14,10 +14,10 @@ SRC_URI="https://github.com/cubicle-model-checker/${PN}/archive/${PV}.tar.gz LICENSE="Apache-2.0" SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" -IUSE="emacs examples ocamlopt" +IUSE="emacs examples" RDEPEND=" - >=dev-lang/ocaml-4.09.0:=[ocamlopt=] + >=dev-lang/ocaml-4.09.0:=[ocamlopt] dev-ml/num:= emacs? ( >=app-editors/emacs-23.1:* ) "
