From e9083b7690d96235a394f9346906ce3d42e2de1d Mon Sep 17 00:00:00 2001 From: François-Xavier Carton Date: Tue, 24 May 2022 23:23:29 +0200 Subject: sci-mathematics/frama-c-*: force gtk USE to match frama-c core MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 --- 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(-) (limited to 'sci-mathematics') 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.4.0