From: "Andrew Ammerlaan" <andrewammerlaan@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c-slicing/, sci-mathematics/frama-c-metrics/, ...
Date: Wed, 25 May 2022 08:15:25 +0000 (UTC) [thread overview]
Message-ID: <1653427802.e9083b7690d96235a394f9346906ce3d42e2de1d.andrewammerlaan@gentoo> (raw)
commit: e9083b7690d96235a394f9346906ce3d42e2de1d
Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
AuthorDate: Tue May 24 21:23:29 2022 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Tue May 24 21:30:02 2022 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=e9083b76
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 <AT> gmail.com>
sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild | 2 +-
sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild | 2 +-
sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild | 4 ++--
sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild | 4 ++--
sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild | 6 +++---
sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild | 6 +++---
sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild | 6 +++---
sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild | 6 +++---
sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild | 4 ++--
sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild | 4 ++--
sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild | 4 ++--
sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild | 4 ++--
sci-mathematics/frama-c-qed/frama-c-qed-23.1.ebuild | 2 +-
sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild | 2 +-
sci-mathematics/frama-c-scope/frama-c-scope-23.1.ebuild | 4 ++--
sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild | 4 ++--
sci-mathematics/frama-c-slicing/frama-c-slicing-23.1.ebuild | 6 +++---
sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild | 6 +++---
sci-mathematics/frama-c-studia/frama-c-studia-23.1.ebuild | 4 ++--
sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild | 4 ++--
sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild | 4 ++--
sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild | 4 ++--
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"
reply other threads:[~2022-05-25 8:15 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1653427802.e9083b7690d96235a394f9346906ce3d42e2de1d.andrewammerlaan@gentoo \
--to=andrewammerlaan@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox