From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 35C18158090 for ; Wed, 25 May 2022 08:15:29 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 0C582E0909; Wed, 25 May 2022 08:15:28 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id D9B14E0909 for ; Wed, 25 May 2022 08:15:27 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id D11853416C7 for ; Wed, 25 May 2022 08:15:26 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 378954A2 for ; Wed, 25 May 2022 08:15:25 +0000 (UTC) From: "Andrew Ammerlaan" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Andrew Ammerlaan" Message-ID: <1653427802.e9083b7690d96235a394f9346906ce3d42e2de1d.andrewammerlaan@gentoo> Subject: [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c-slicing/, sci-mathematics/frama-c-metrics/, ... X-VCS-Repository: repo/proj/guru X-VCS-Files: sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild sci-mathematics/frama-c-qed/frama-c-qed-23.1.ebuild sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild sci-mathematics/frama-c-scope/frama-c-scope-23.1.ebuild sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild sci-mathematics/frama-c-slicing/frama-c-slicing-23.1.ebuild s ci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild sci-mathematics/frama-c-studia/frama-c-studia-23.1.ebuild sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild X-VCS-Directories: sci-mathematics/frama-c-callgraph/ sci-mathematics/frama-c-occurrence/ sci-mathematics/frama-c-qed/ sci-mathematics/frama-c-impact/ sci-mathematics/frama-c-scope/ sci-mathematics/frama-c-eva/ sci-mathematics/frama-c-from/ sci-mathematics/frama-c-wp/ sci-mathematics/frama-c-studia/ sci-mathematics/frama-c-metrics/ sci-mathematics/frama-c-slicing/ X-VCS-Committer: andrewammerlaan X-VCS-Committer-Name: Andrew Ammerlaan X-VCS-Revision: e9083b7690d96235a394f9346906ce3d42e2de1d X-VCS-Branch: master Date: Wed, 25 May 2022 08:15:25 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: 941efb03-138c-4206-a309-bc75cd4f65d6 X-Archives-Hash: f6da954b55c1a7cf5dcc6e87d4be7f77 commit: e9083b7690d96235a394f9346906ce3d42e2de1d Author: François-Xavier Carton gmail com> AuthorDate: Tue May 24 21:23:29 2022 +0000 Commit: Andrew Ammerlaan gentoo 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 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.4.0