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

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>

22 files changed, 46 insertions, 46 deletions

diff --git a/sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild b/sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild
index 312fec23b..0f9b2d025 100644
--- a/sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild
+++ b/sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild
@@ -16,7 +16,7 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]"
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]"
 DEPEND="${RDEPEND}"
 # Eva is needed at runtime to run the callgraph plugin,
 # but is not needed for compilation (and would introduce a mutual dependency)
diff --git a/sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild b/sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild
index 075d85943..cb6701097 100644
--- a/sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild
+++ b/sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild
@@ -16,7 +16,7 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]"
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]"
 DEPEND="${RDEPEND}"
 # Eva is needed at runtime to run the callgraph plugin,
 # but is not needed for compilation (and would introduce a mutual dependency)
diff --git a/sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild b/sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild
index 9cf0f5f02..f08c928dc 100644
--- a/sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild
+++ b/sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild
@@ -16,8 +16,8 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-	~sci-mathematics/frama-c-callgraph-${PV}:=[gtk?,ocamlopt?]
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+	~sci-mathematics/frama-c-callgraph-${PV}:=[gtk=,ocamlopt?]
 	~sci-mathematics/frama-c-loopanalysis-${PV}:=[ocamlopt?]
 	~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]
 	~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]"
diff --git a/sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild b/sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild
index c9c0fb661..99444eac9 100644
--- a/sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild
+++ b/sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild
@@ -16,8 +16,8 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-	~sci-mathematics/frama-c-callgraph-${PV}:=[gtk?,ocamlopt?]
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+	~sci-mathematics/frama-c-callgraph-${PV}:=[gtk=,ocamlopt?]
 	~sci-mathematics/frama-c-loopanalysis-${PV}:=[ocamlopt?]
 	~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]
 	~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]"
diff --git a/sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild b/sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild
index 952322bdd..01cdb2ee9 100644
--- a/sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild
+++ b/sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild
@@ -16,9 +16,9 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-callgraph-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-callgraph-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
 		~sci-mathematics/frama-c-postdominators-${PV}:=[ocamlopt?]"
 DEPEND="${RDEPEND}"
 
diff --git a/sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild b/sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild
index ac43694b2..5678cc5cd 100644
--- a/sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild
+++ b/sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild
@@ -16,9 +16,9 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-callgraph-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-callgraph-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
 		~sci-mathematics/frama-c-postdominators-${PV}:=[ocamlopt?]"
 DEPEND="${RDEPEND}"
 
diff --git a/sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild b/sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild
index ad488446f..b14094e51 100644
--- a/sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild
+++ b/sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild
@@ -16,11 +16,11 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
 		~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
 		~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?]
-		~sci-mathematics/frama-c-slicing-${PV}:=[gtk?,ocamlopt?]"
+		~sci-mathematics/frama-c-slicing-${PV}:=[gtk=,ocamlopt?]"
 DEPEND="${RDEPEND}"
 
 S="${WORKDIR}/frama-c-${PV}-${NAME}"
diff --git a/sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild b/sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild
index 9e02aca3d..7854d7b6e 100644
--- a/sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild
+++ b/sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild
@@ -16,11 +16,11 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
 		~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
 		~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?]
-		~sci-mathematics/frama-c-slicing-${PV}:=[gtk?,ocamlopt?]"
+		~sci-mathematics/frama-c-slicing-${PV}:=[gtk=,ocamlopt?]"
 DEPEND="${RDEPEND}"
 
 S="${WORKDIR}/frama-c-${PV}-${NAME}"
diff --git a/sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild b/sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild
index ba126e401..b11176846 100644
--- a/sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild
+++ b/sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild
@@ -16,8 +16,8 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]"
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]"
 DEPEND="${RDEPEND}"
 
 S="${WORKDIR}/frama-c-${PV}-${NAME}"
diff --git a/sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild b/sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild
index e6e9b7966..b208703c3 100644
--- a/sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild
+++ b/sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild
@@ -16,8 +16,8 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]"
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]"
 DEPEND="${RDEPEND}"
 
 S="${WORKDIR}/frama-c-${PV}-${NAME}"
diff --git a/sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild b/sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild
index a94a2f687..3ad978ada 100644
--- a/sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild
+++ b/sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild
@@ -16,8 +16,8 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]"
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]"
 DEPEND="${RDEPEND}"
 
 S="${WORKDIR}/frama-c-${PV}-${NAME}"
diff --git a/sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild b/sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild
index f1405f842..ef05597aa 100644
--- a/sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild
+++ b/sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild
@@ -16,8 +16,8 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]"
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]"
 DEPEND="${RDEPEND}"
 
 S="${WORKDIR}/frama-c-${PV}-${NAME}"
diff --git a/sci-mathematics/frama-c-qed/frama-c-qed-23.1.ebuild b/sci-mathematics/frama-c-qed/frama-c-qed-23.1.ebuild
index 24df63ace..4368d4413 100644
--- a/sci-mathematics/frama-c-qed/frama-c-qed-23.1.ebuild
+++ b/sci-mathematics/frama-c-qed/frama-c-qed-23.1.ebuild
@@ -16,7 +16,7 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]"
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]"
 DEPEND="${RDEPEND}"
 
 S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/qed"
diff --git a/sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild b/sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild
index 7af1e560d..c2a9a5fb8 100644
--- a/sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild
+++ b/sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild
@@ -16,7 +16,7 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]"
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]"
 DEPEND="${RDEPEND}"
 
 S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/qed"
diff --git a/sci-mathematics/frama-c-scope/frama-c-scope-23.1.ebuild b/sci-mathematics/frama-c-scope/frama-c-scope-23.1.ebuild
index 88eaf9630..f8b4f03ed 100644
--- a/sci-mathematics/frama-c-scope/frama-c-scope-23.1.ebuild
+++ b/sci-mathematics/frama-c-scope/frama-c-scope-23.1.ebuild
@@ -16,8 +16,8 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
 		~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?]"
 DEPEND="${RDEPEND}"
 
diff --git a/sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild b/sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild
index 2f670f3be..b38988369 100644
--- a/sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild
+++ b/sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild
@@ -16,8 +16,8 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
 		~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?]"
 DEPEND="${RDEPEND}"
 
diff --git a/sci-mathematics/frama-c-slicing/frama-c-slicing-23.1.ebuild b/sci-mathematics/frama-c-slicing/frama-c-slicing-23.1.ebuild
index 4fa217aa5..9ff847d09 100644
--- a/sci-mathematics/frama-c-slicing/frama-c-slicing-23.1.ebuild
+++ b/sci-mathematics/frama-c-slicing/frama-c-slicing-23.1.ebuild
@@ -16,9 +16,9 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-callgraph-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-callgraph-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
 		~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?]
 		~sci-mathematics/frama-c-sparecode-${PV}:=[ocamlopt?]"
 DEPEND="${RDEPEND}"
diff --git a/sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild b/sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild
index 0dcd83814..8bd55915a 100644
--- a/sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild
+++ b/sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild
@@ -16,9 +16,9 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-callgraph-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-callgraph-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
 		~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?]
 		~sci-mathematics/frama-c-sparecode-${PV}:=[ocamlopt?]"
 DEPEND="${RDEPEND}"
diff --git a/sci-mathematics/frama-c-studia/frama-c-studia-23.1.ebuild b/sci-mathematics/frama-c-studia/frama-c-studia-23.1.ebuild
index 071c687e1..2fbc60103 100644
--- a/sci-mathematics/frama-c-studia/frama-c-studia-23.1.ebuild
+++ b/sci-mathematics/frama-c-studia/frama-c-studia-23.1.ebuild
@@ -16,8 +16,8 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]"
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]"
 DEPEND="${RDEPEND}"
 
 S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/studia"
diff --git a/sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild b/sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild
index b92f58aac..cdfb4af57 100644
--- a/sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild
+++ b/sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild
@@ -16,8 +16,8 @@ KEYWORDS="~amd64"
 IUSE="gtk +ocamlopt"
 RESTRICT="strip"
 
-RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
-		~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]"
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
+		~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]"
 DEPEND="${RDEPEND}"
 
 S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/studia"
diff --git a/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild b/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild
index b31420839..9a9a78dbe 100644
--- a/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild
+++ b/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild
@@ -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"
diff --git a/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild b/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild
index 30bcf4c57..63fe10abf 100644
--- a/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild
+++ b/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild
@@ -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"