diff options
| author |   François-Xavier Carton <fx.carton91@gmail.com> | 2022-05-24 23:23:29 +0200 |
|---|---|---|
| committer | François-Xavier Carton <fx.carton91@gmail.com> | 2022-05-24 23:30:02 +0200 |
| commit | e9083b7690d96235a394f9346906ce3d42e2de1d (patch) | |
| tree | d185518dad3d05377f2b041b96bdb68f5feb751b /sci-mathematics | |
| parent | sci-mathematics/frama-c: better fix for flags issue (diff) | |
| download | guru-e9083b7690d96235a394f9346906ce3d42e2de1d.tar.gz guru-e9083b7690d96235a394f9346906ce3d42e2de1d.tar.bz2 guru-e9083b7690d96235a394f9346906ce3d42e2de1d.zip | |
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>
Diffstat (limited to 'sci-mathematics')
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" |