mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-23 14:03:33 -04:00
Code Issues Packages Projects Releases Wiki Activity

sci-mathematics/frama-c-*: force gtk USE to match frama-c core

Browse Source 
Having frama-c[gtk] can cause problems if there are plugins compiled
with [-gtk]. It can also cause runtime issues.

Closes: https://bugs.gentoo.org/817314
Closes: https://bugs.gentoo.org/817365
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
This commit is contained in:
François-Xavier Carton
2022-05-24 23:23:29 +02:00
parent 6f826a3a6d
commit e9083b7690
22 changed files with 46 additions and 46 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild
View File

@@ -16,8 +16,8 @@ KEYWORDS="~amd64"
IUSE="coq gtk +ocamlopt"
RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
~sci-mathematics/frama-c-qed-${PV}:=[gtk?,ocamlopt?]
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-qed-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]
>=sci-mathematics/why3-1.4.0
<sci-mathematics/why3-1.5.0"

4
sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild
View File

@@ -16,8 +16,8 @@ KEYWORDS="~amd64"
IUSE="coq gtk +ocamlopt"
RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
~sci-mathematics/frama-c-qed-${PV}:=[gtk?,ocamlopt?]
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-qed-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]
>=sci-mathematics/why3-1.4.0
<sci-mathematics/why3-1.5.0"