diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-03-08 22:38:20 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-03-08 22:38:54 +0100 |
| commit | 0c9116b3aef8f3e47e801bc1c8afce931f9b790b (patch) | |
| tree | e77448405385db9e8b0f3bc8f3a20e91df2ba679 /sci-mathematics | |
| parent | sys-cluster/kube-scheduler: add 1.23.17 (diff) | |
| download | gentoo-0c9116b3aef8f3e47e801bc1c8afce931f9b790b.tar.gz gentoo-0c9116b3aef8f3e47e801bc1c8afce931f9b790b.tar.bz2 gentoo-0c9116b3aef8f3e47e801bc1c8afce931f9b790b.zip | |
sci-mathematics/cubicle: require ocamlopt
Closes: https://bugs.gentoo.org/895214
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild (renamed from sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild) | 4 |
1 files 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 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:* ) " |