commit: 59bc55e46efc021a7f4ca8c6a2da452a347fae4f
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 17 03:56:38 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jan 17 04:10:27 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=59bc55e4
sci-mathematics/alt-ergo: enforce ocamlopt=
We need to have ocamlopt on/off consistently
throughout the system, so use the '=' operator
to force it off where it's disabled on this package.
Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | 4 ++--
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
index 1b6ff79abed..d8812456117 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -12,9 +12,9 @@ SLOT="0"
KEYWORDS="amd64"
IUSE="examples gtk +ocamlopt"
-DEPEND=">=dev-lang/ocaml-3.12.1:=[ocamlopt?]
+DEPEND=">=dev-lang/ocaml-3.12.1:=[ocamlopt=]
dev-ml/zarith:=
- gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,ocamlopt?] )
+ gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,ocamlopt=] )
dev-ml/camlzip:=
<=dev-ml/ocplib-simplex-0.3:="
RDEPEND="${DEPEND}"
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 046f3c9f04f..bbe4688b784 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -12,9 +12,9 @@ SLOT="0"
KEYWORDS="amd64"
IUSE="examples gtk +ocamlopt"
-DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt?]
+DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt=]
dev-ml/zarith:=
- dev-ml/lablgtk:2=[sourceview,ocamlopt?]
+ dev-ml/lablgtk:2=[sourceview,ocamlopt=]
dev-ml/camlzip
sci-mathematics/psmt2-frontend
>=dev-ml/ocplib-simplex-0.4:=
