gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-10 06:57:08 -08:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/alt-ergo: enforce ocamlopt=

Browse Source 
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@gentoo.org>
This commit is contained in:
Sam James
2021-01-17 04:10:27 +00:00
parent 16a28ad136
commit 59bc55e46e
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+2 -2
View File
@@ -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}"
sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+2 -2
View File
@@ -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:=