aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLucio Sauer <watermanpaint@posteo.net>2024-05-15 01:01:35 +0200
committerJulien Roy <julien@jroy.ca>2024-05-14 20:59:22 -0400
commitad273a2b83e96ca07f5c0a211c91cd5dde0324d9 (patch)
treef9642e1599b6ae7669dc230b48b482ffd1a616b6 /sci-mathematics
parentsci-biology/*: fix variable order (diff)
downloadguru-ad273a2b83e96ca07f5c0a211c91cd5dde0324d9.tar.gz
guru-ad273a2b83e96ca07f5c0a211c91cd5dde0324d9.tar.bz2
guru-ad273a2b83e96ca07f5c0a211c91cd5dde0324d9.zip
sci-mathematics/*: fix variable order
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net> Signed-off-by: Julien Roy <julien@jroy.ca>
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/frama-c-aorai/frama-c-aorai-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-aorai/frama-c-aorai-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-aorai/frama-c-aorai-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-callgraph/frama-c-callgraph-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-dive/frama-c-dive-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-dive/frama-c-dive-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-dive/frama-c-dive-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-eva/frama-c-eva-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-from/frama-c-from-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-impact/frama-c-impact-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-inout/frama-c-inout-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-inout/frama-c-inout-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-instantiate/frama-c-instantiate-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-instantiate/frama-c-instantiate-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-metrics/frama-c-metrics-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-nonterm/frama-c-nonterm-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-nonterm/frama-c-nonterm-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-nonterm/frama-c-nonterm-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-occurrence/frama-c-occurrence-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-pdg/frama-c-pdg-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-pdg/frama-c-pdg-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-pdg/frama-c-pdg-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-postdominators/frama-c-postdominators-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-postdominators/frama-c-postdominators-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-postdominators/frama-c-postdominators-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-printapi/frama-c-printapi-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-printapi/frama-c-printapi-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-printapi/frama-c-printapi-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-qed/frama-c-qed-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-qed/frama-c-qed-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-reduc/frama-c-reduc-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-report/frama-c-report-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-report/frama-c-report-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-report/frama-c-report-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-rtegen/frama-c-rtegen-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-rtegen/frama-c-rtegen-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-rtegen/frama-c-rtegen-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-scope/frama-c-scope-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-scope/frama-c-scope-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-server/frama-c-server-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-server/frama-c-server-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-server/frama-c-server-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-slicing/frama-c-slicing-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-slicing/frama-c-slicing-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-sparecode/frama-c-sparecode-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-sparecode/frama-c-sparecode-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-sparecode/frama-c-sparecode-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-studia/frama-c-studia-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-studia/frama-c-studia-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-users/frama-c-users-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-users/frama-c-users-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-users/frama-c-users-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-variadic/frama-c-variadic-23.1.ebuild4
-rw-r--r--sci-mathematics/frama-c-variadic/frama-c-variadic-24.0.ebuild4
-rw-r--r--sci-mathematics/frama-c-variadic/frama-c-variadic-25.0.ebuild4
-rw-r--r--sci-mathematics/frama-c/frama-c-23.1-r1.ebuild4
-rw-r--r--sci-mathematics/frama-c/frama-c-24.0-r1.ebuild4
-rw-r--r--sci-mathematics/frama-c/frama-c-25.0-r2.ebuild4
-rw-r--r--sci-mathematics/rstudio-desktop-bin/rstudio-desktop-bin-2023.09.0_p463.ebuild4
-rw-r--r--sci-mathematics/rstudio-desktop-bin/rstudio-desktop-bin-2023.09.1_p494.ebuild4
93 files changed, 186 insertions, 186 deletions
diff --git a/sci-mathematics/frama-c-aorai/frama-c-aorai-23.1.ebuild b/sci-mathematics/frama-c-aorai/frama-c-aorai-23.1.ebuild
index 2894df5b71..bcc6251c76 100644
--- a/sci-mathematics/frama-c-aorai/frama-c-aorai-23.1.ebuild
+++ b/sci-mathematics/frama-c-aorai/frama-c-aorai-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/aorai"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
eva? ( ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?] )"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/aorai"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-aorai/frama-c-aorai-24.0.ebuild b/sci-mathematics/frama-c-aorai/frama-c-aorai-24.0.ebuild
index 126fcc4d5b..106587043e 100644
--- a/sci-mathematics/frama-c-aorai/frama-c-aorai-24.0.ebuild
+++ b/sci-mathematics/frama-c-aorai/frama-c-aorai-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/aorai"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
eva? ( ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?] )"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/aorai"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-aorai/frama-c-aorai-25.0.ebuild b/sci-mathematics/frama-c-aorai/frama-c-aorai-25.0.ebuild
index 03df09abae..2a33e46bf3 100644
--- a/sci-mathematics/frama-c-aorai/frama-c-aorai-25.0.ebuild
+++ b/sci-mathematics/frama-c-aorai/frama-c-aorai-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/aorai"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
eva? ( ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?] )"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/aorai"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
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 0f9b2d0250..34d6e414ab 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ DEPEND="${RDEPEND}"
# but is not needed for compilation (and would introduce a mutual dependency)
PDEPEND="~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
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 cb67010978..715aec3e01 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ DEPEND="${RDEPEND}"
# but is not needed for compilation (and would introduce a mutual dependency)
PDEPEND="~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-callgraph/frama-c-callgraph-25.0.ebuild b/sci-mathematics/frama-c-callgraph/frama-c-callgraph-25.0.ebuild
index f80aba1ff3..fb83c78b1f 100644
--- a/sci-mathematics/frama-c-callgraph/frama-c-callgraph-25.0.ebuild
+++ b/sci-mathematics/frama-c-callgraph/frama-c-callgraph-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ 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_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-23.1.ebuild b/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-23.1.ebuild
index eb5df5c3b0..fac225c184 100644
--- a/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-23.1.ebuild
+++ b/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild b/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild
index 2c56359bb0..5f3078343e 100644
--- a/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild
+++ b/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-25.0.ebuild b/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-25.0.ebuild
index f309af6e12..47760202ba 100644
--- a/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-25.0.ebuild
+++ b/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-dive/frama-c-dive-23.1.ebuild b/sci-mathematics/frama-c-dive/frama-c-dive-23.1.ebuild
index b533f467af..6d6a090d40 100644
--- a/sci-mathematics/frama-c-dive/frama-c-dive-23.1.ebuild
+++ b/sci-mathematics/frama-c-dive/frama-c-dive-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/dive"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/dive"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-dive/frama-c-dive-24.0.ebuild b/sci-mathematics/frama-c-dive/frama-c-dive-24.0.ebuild
index 3f17d93b22..019f572f5f 100644
--- a/sci-mathematics/frama-c-dive/frama-c-dive-24.0.ebuild
+++ b/sci-mathematics/frama-c-dive/frama-c-dive-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/dive"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/dive"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-dive/frama-c-dive-25.0.ebuild b/sci-mathematics/frama-c-dive/frama-c-dive-25.0.ebuild
index 89511a8de1..bdaba02161 100644
--- a/sci-mathematics/frama-c-dive/frama-c-dive-25.0.ebuild
+++ b/sci-mathematics/frama-c-dive/frama-c-dive-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/dive"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/dive"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-23.1.ebuild b/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-23.1.ebuild
index cbf36c6b13..a54789d18f 100644
--- a/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-23.1.ebuild
+++ b/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/e-acsl"
+
LICENSE="BSD LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/e-acsl"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild b/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild
index 452fd430be..40bdfacc38 100644
--- a/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild
+++ b/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/e-acsl"
+
LICENSE="BSD LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/e-acsl"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-25.0.ebuild b/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-25.0.ebuild
index 0cfc8e0792..b88ba88ed4 100644
--- a/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-25.0.ebuild
+++ b/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/e-acsl"
+
LICENSE="BSD LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/e-acsl"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
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 f08c928dc8..085313df53 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -26,8 +28,6 @@ DEPEND="${RDEPEND}"
# But it is not needed for compilation, and would introduce a mutual dependency
PDEPEND="~sci-mathematics/frama-c-scope-${PV}:=[ocamlopt?]"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
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 99444eac92..0769c4f194 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -26,8 +28,6 @@ DEPEND="${RDEPEND}"
# But it is not needed for compilation, and would introduce a mutual dependency
PDEPEND="~sci-mathematics/frama-c-scope-${PV}:=[ocamlopt?]"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-eva/frama-c-eva-25.0.ebuild b/sci-mathematics/frama-c-eva/frama-c-eva-25.0.ebuild
index fd0bb906d7..602ab45cda 100644
--- a/sci-mathematics/frama-c-eva/frama-c-eva-25.0.ebuild
+++ b/sci-mathematics/frama-c-eva/frama-c-eva-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
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 01cdb2ee9d..7456d1285c 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-postdominators-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
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 5678cc5cdd..4596bf8d58 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-postdominators-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-from/frama-c-from-25.0.ebuild b/sci-mathematics/frama-c-from/frama-c-from-25.0.ebuild
index 675f6f1bd1..479044a32a 100644
--- a/sci-mathematics/frama-c-from/frama-c-from-25.0.ebuild
+++ b/sci-mathematics/frama-c-from/frama-c-from-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-postdominators-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
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 b14094e510..9084eac33d 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -23,8 +25,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-slicing-${PV}:=[gtk=,ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
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 7854d7b6e2..d68a5285c4 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -23,8 +25,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-slicing-${PV}:=[gtk=,ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-impact/frama-c-impact-25.0.ebuild b/sci-mathematics/frama-c-impact/frama-c-impact-25.0.ebuild
index 668f7939ca..cd3a4b91e8 100644
--- a/sci-mathematics/frama-c-impact/frama-c-impact-25.0.ebuild
+++ b/sci-mathematics/frama-c-impact/frama-c-impact-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -23,8 +25,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-slicing-${PV}:=[gtk=,ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-inout/frama-c-inout-23.1.ebuild b/sci-mathematics/frama-c-inout/frama-c-inout-23.1.ebuild
index 4ed05de598..e556dddc54 100644
--- a/sci-mathematics/frama-c-inout/frama-c-inout-23.1.ebuild
+++ b/sci-mathematics/frama-c-inout/frama-c-inout-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild b/sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild
index 392f8e7209..297c2c4fc5 100644
--- a/sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild
+++ b/sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-inout/frama-c-inout-25.0.ebuild b/sci-mathematics/frama-c-inout/frama-c-inout-25.0.ebuild
index c92d13d387..7b836b6c6b 100644
--- a/sci-mathematics/frama-c-inout/frama-c-inout-25.0.ebuild
+++ b/sci-mathematics/frama-c-inout/frama-c-inout-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild b/sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild
index 50578bd52c..644848948a 100644
--- a/sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild
+++ b/sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/instantiate"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/instantiate"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-instantiate/frama-c-instantiate-24.0.ebuild b/sci-mathematics/frama-c-instantiate/frama-c-instantiate-24.0.ebuild
index 6b748f9c13..4353717f7b 100644
--- a/sci-mathematics/frama-c-instantiate/frama-c-instantiate-24.0.ebuild
+++ b/sci-mathematics/frama-c-instantiate/frama-c-instantiate-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/instantiate"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/instantiate"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-instantiate/frama-c-instantiate-25.0.ebuild b/sci-mathematics/frama-c-instantiate/frama-c-instantiate-25.0.ebuild
index 051fd7d32e..0ecd0a2229 100644
--- a/sci-mathematics/frama-c-instantiate/frama-c-instantiate-25.0.ebuild
+++ b/sci-mathematics/frama-c-instantiate/frama-c-instantiate-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/instantiate"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/instantiate"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-23.1.ebuild b/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-23.1.ebuild
index 4886b626c2..b26f689102 100644
--- a/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-23.1.ebuild
+++ b/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/loop_analysis"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/loop_analysis"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-24.0.ebuild b/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-24.0.ebuild
index bb78022614..5bfe2219ae 100644
--- a/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-24.0.ebuild
+++ b/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/loop_analysis"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/loop_analysis"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-25.0.ebuild b/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-25.0.ebuild
index fb419cf147..7c9947dc7e 100644
--- a/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-25.0.ebuild
+++ b/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/loop_analysis"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/loop_analysis"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
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 b111768466..feacafd828 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ 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_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
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 b208703c33..ed40262089 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ 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_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-metrics/frama-c-metrics-25.0.ebuild b/sci-mathematics/frama-c-metrics/frama-c-metrics-25.0.ebuild
index 02109b9299..f8ba14fed1 100644
--- a/sci-mathematics/frama-c-metrics/frama-c-metrics-25.0.ebuild
+++ b/sci-mathematics/frama-c-metrics/frama-c-metrics-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -21,8 +23,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-nonterm/frama-c-nonterm-23.1.ebuild b/sci-mathematics/frama-c-nonterm/frama-c-nonterm-23.1.ebuild
index 908165e94f..b7669ada9e 100644
--- a/sci-mathematics/frama-c-nonterm/frama-c-nonterm-23.1.ebuild
+++ b/sci-mathematics/frama-c-nonterm/frama-c-nonterm-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/nonterm"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/nonterm"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-nonterm/frama-c-nonterm-24.0.ebuild b/sci-mathematics/frama-c-nonterm/frama-c-nonterm-24.0.ebuild
index 23dfd923ba..d0a9385665 100644
--- a/sci-mathematics/frama-c-nonterm/frama-c-nonterm-24.0.ebuild
+++ b/sci-mathematics/frama-c-nonterm/frama-c-nonterm-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/nonterm"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/nonterm"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-nonterm/frama-c-nonterm-25.0.ebuild b/sci-mathematics/frama-c-nonterm/frama-c-nonterm-25.0.ebuild
index aebdb15555..3432922837 100644
--- a/sci-mathematics/frama-c-nonterm/frama-c-nonterm-25.0.ebuild
+++ b/sci-mathematics/frama-c-nonterm/frama-c-nonterm-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/nonterm"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/nonterm"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-23.1.ebuild b/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-23.1.ebuild
index 9d1cb998cf..407ddd723c 100644
--- a/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-23.1.ebuild
+++ b/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/obfuscator"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/obfuscator"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-24.0.ebuild b/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-24.0.ebuild
index 9730bbb6f9..9f2a8eca3a 100644
--- a/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-24.0.ebuild
+++ b/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/obfuscator"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/obfuscator"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-25.0.ebuild b/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-25.0.ebuild
index 88d0ead099..29f2bb38dd 100644
--- a/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-25.0.ebuild
+++ b/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/obfuscator"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/obfuscator"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
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 3ad978ada9..460b24533a 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ 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_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
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 ef05597aae..c3efc55f6b 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ 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_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-occurrence/frama-c-occurrence-25.0.ebuild b/sci-mathematics/frama-c-occurrence/frama-c-occurrence-25.0.ebuild
index 760f071278..65bd705b0b 100644
--- a/sci-mathematics/frama-c-occurrence/frama-c-occurrence-25.0.ebuild
+++ b/sci-mathematics/frama-c-occurrence/frama-c-occurrence-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ 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_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-pdg/frama-c-pdg-23.1.ebuild b/sci-mathematics/frama-c-pdg/frama-c-pdg-23.1.ebuild
index d9bdbdbc3c..b51cc70687 100644
--- a/sci-mathematics/frama-c-pdg/frama-c-pdg-23.1.ebuild
+++ b/sci-mathematics/frama-c-pdg/frama-c-pdg-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-pdg/frama-c-pdg-24.0.ebuild b/sci-mathematics/frama-c-pdg/frama-c-pdg-24.0.ebuild
index 7a5ba71597..0148f9f92a 100644
--- a/sci-mathematics/frama-c-pdg/frama-c-pdg-24.0.ebuild
+++ b/sci-mathematics/frama-c-pdg/frama-c-pdg-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-pdg/frama-c-pdg-25.0.ebuild b/sci-mathematics/frama-c-pdg/frama-c-pdg-25.0.ebuild
index 78677ebdf9..78c0795ed4 100644
--- a/sci-mathematics/frama-c-pdg/frama-c-pdg-25.0.ebuild
+++ b/sci-mathematics/frama-c-pdg/frama-c-pdg-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-postdominators/frama-c-postdominators-23.1.ebuild b/sci-mathematics/frama-c-postdominators/frama-c-postdominators-23.1.ebuild
index 4cb983633a..cb3f642f5a 100644
--- a/sci-mathematics/frama-c-postdominators/frama-c-postdominators-23.1.ebuild
+++ b/sci-mathematics/frama-c-postdominators/frama-c-postdominators-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-postdominators/frama-c-postdominators-24.0.ebuild b/sci-mathematics/frama-c-postdominators/frama-c-postdominators-24.0.ebuild
index 2d729bee1e..51a06371ce 100644
--- a/sci-mathematics/frama-c-postdominators/frama-c-postdominators-24.0.ebuild
+++ b/sci-mathematics/frama-c-postdominators/frama-c-postdominators-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-postdominators/frama-c-postdominators-25.0.ebuild b/sci-mathematics/frama-c-postdominators/frama-c-postdominators-25.0.ebuild
index 7186793d40..d599ca7f97 100644
--- a/sci-mathematics/frama-c-postdominators/frama-c-postdominators-25.0.ebuild
+++ b/sci-mathematics/frama-c-postdominators/frama-c-postdominators-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-printapi/frama-c-printapi-23.1.ebuild b/sci-mathematics/frama-c-printapi/frama-c-printapi-23.1.ebuild
index 73641b67d2..3fb2e0d70f 100644
--- a/sci-mathematics/frama-c-printapi/frama-c-printapi-23.1.ebuild
+++ b/sci-mathematics/frama-c-printapi/frama-c-printapi-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/print_api"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/print_api"
-
src_compile() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-printapi/frama-c-printapi-24.0.ebuild b/sci-mathematics/frama-c-printapi/frama-c-printapi-24.0.ebuild
index c48b0f7da0..742f2e3319 100644
--- a/sci-mathematics/frama-c-printapi/frama-c-printapi-24.0.ebuild
+++ b/sci-mathematics/frama-c-printapi/frama-c-printapi-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/print_api"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/print_api"
-
src_compile() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-printapi/frama-c-printapi-25.0.ebuild b/sci-mathematics/frama-c-printapi/frama-c-printapi-25.0.ebuild
index 16fd9911bc..3e9b314788 100644
--- a/sci-mathematics/frama-c-printapi/frama-c-printapi-25.0.ebuild
+++ b/sci-mathematics/frama-c-printapi/frama-c-printapi-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/print_api"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/print_api"
-
src_compile() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
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 4368d4413c..bc2991f8ce 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/qed"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/qed"
-
src_compile() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
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 c2a9a5fb8b..95a4be160a 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/qed"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/qed"
-
src_compile() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-qed/frama-c-qed-25.0.ebuild b/sci-mathematics/frama-c-qed/frama-c-qed-25.0.ebuild
index 2f65a4ebbf..593b035c02 100644
--- a/sci-mathematics/frama-c-qed/frama-c-qed-25.0.ebuild
+++ b/sci-mathematics/frama-c-qed/frama-c-qed-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/qed"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/qed"
-
src_compile() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-reduc/frama-c-reduc-25.0.ebuild b/sci-mathematics/frama-c-reduc/frama-c-reduc-25.0.ebuild
index ac1bbcfda2..cfe8234c72 100644
--- a/sci-mathematics/frama-c-reduc/frama-c-reduc-25.0.ebuild
+++ b/sci-mathematics/frama-c-reduc/frama-c-reduc-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -21,8 +23,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-report/frama-c-report-23.1.ebuild b/sci-mathematics/frama-c-report/frama-c-report-23.1.ebuild
index 51f8479e72..71c4b9bbcf 100644
--- a/sci-mathematics/frama-c-report/frama-c-report-23.1.ebuild
+++ b/sci-mathematics/frama-c-report/frama-c-report-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/report"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/report"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-report/frama-c-report-24.0.ebuild b/sci-mathematics/frama-c-report/frama-c-report-24.0.ebuild
index 21ca892ea4..8b539f8bc5 100644
--- a/sci-mathematics/frama-c-report/frama-c-report-24.0.ebuild
+++ b/sci-mathematics/frama-c-report/frama-c-report-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/report"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/report"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-report/frama-c-report-25.0.ebuild b/sci-mathematics/frama-c-report/frama-c-report-25.0.ebuild
index 053c9f8331..9c365cb6eb 100644
--- a/sci-mathematics/frama-c-report/frama-c-report-25.0.ebuild
+++ b/sci-mathematics/frama-c-report/frama-c-report-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/report"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/report"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-rtegen/frama-c-rtegen-23.1.ebuild b/sci-mathematics/frama-c-rtegen/frama-c-rtegen-23.1.ebuild
index 2dc5703eb4..fec53e9773 100644
--- a/sci-mathematics/frama-c-rtegen/frama-c-rtegen-23.1.ebuild
+++ b/sci-mathematics/frama-c-rtegen/frama-c-rtegen-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-rtegen/frama-c-rtegen-24.0.ebuild b/sci-mathematics/frama-c-rtegen/frama-c-rtegen-24.0.ebuild
index e59883c3ef..fa7af032c9 100644
--- a/sci-mathematics/frama-c-rtegen/frama-c-rtegen-24.0.ebuild
+++ b/sci-mathematics/frama-c-rtegen/frama-c-rtegen-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-rtegen/frama-c-rtegen-25.0.ebuild b/sci-mathematics/frama-c-rtegen/frama-c-rtegen-25.0.ebuild
index ef18fc0cdc..a045b2c220 100644
--- a/sci-mathematics/frama-c-rtegen/frama-c-rtegen-25.0.ebuild
+++ b/sci-mathematics/frama-c-rtegen/frama-c-rtegen-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
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 f8b4f03ed2..e2c293d0fd 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -21,8 +23,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
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 b389883698..671d47bc5a 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -21,8 +23,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-scope/frama-c-scope-25.0.ebuild b/sci-mathematics/frama-c-scope/frama-c-scope-25.0.ebuild
index aeebbb6146..543c8ff563 100644
--- a/sci-mathematics/frama-c-scope/frama-c-scope-25.0.ebuild
+++ b/sci-mathematics/frama-c-scope/frama-c-scope-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -21,8 +23,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-23.1.ebuild b/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-23.1.ebuild
index 4de77ed9f4..456544fb24 100644
--- a/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-23.1.ebuild
+++ b/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/security_slicing"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk,ocamlopt?]
~sci-mathematics/frama-c-slicing-${PV}:=[gtk,ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/security_slicing"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-24.0.ebuild b/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-24.0.ebuild
index 1c1a58aeed..9d999880cd 100644
--- a/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-24.0.ebuild
+++ b/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/security_slicing"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk,ocamlopt?]
~sci-mathematics/frama-c-slicing-${PV}:=[gtk,ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/security_slicing"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-25.0.ebuild b/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-25.0.ebuild
index 3f9993bd79..4cf22ff95b 100644
--- a/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-25.0.ebuild
+++ b/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/security_slicing"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk,ocamlopt?]
~sci-mathematics/frama-c-slicing-${PV}:=[gtk,ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/security_slicing"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-server/frama-c-server-23.1.ebuild b/sci-mathematics/frama-c-server/frama-c-server-23.1.ebuild
index b80b490740..b8243bf1be 100644
--- a/sci-mathematics/frama-c-server/frama-c-server-23.1.ebuild
+++ b/sci-mathematics/frama-c-server/frama-c-server-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/server"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/server"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-server/frama-c-server-24.0.ebuild b/sci-mathematics/frama-c-server/frama-c-server-24.0.ebuild
index 58f653cd40..77bed37385 100644
--- a/sci-mathematics/frama-c-server/frama-c-server-24.0.ebuild
+++ b/sci-mathematics/frama-c-server/frama-c-server-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/server"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/server"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-server/frama-c-server-25.0.ebuild b/sci-mathematics/frama-c-server/frama-c-server-25.0.ebuild
index f823304f50..2fb41db7e1 100644
--- a/sci-mathematics/frama-c-server/frama-c-server-25.0.ebuild
+++ b/sci-mathematics/frama-c-server/frama-c-server-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/server"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/server"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
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 9ff847d093..d9e618c25d 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -23,8 +25,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-sparecode-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
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 8bd55915a6..efbc708d0f 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -23,8 +25,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-sparecode-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-slicing/frama-c-slicing-25.0.ebuild b/sci-mathematics/frama-c-slicing/frama-c-slicing-25.0.ebuild
index 330825f9e6..2928ef4d45 100644
--- a/sci-mathematics/frama-c-slicing/frama-c-slicing-25.0.ebuild
+++ b/sci-mathematics/frama-c-slicing/frama-c-slicing-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -23,8 +25,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-sparecode-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-sparecode/frama-c-sparecode-23.1.ebuild b/sci-mathematics/frama-c-sparecode/frama-c-sparecode-23.1.ebuild
index 0c8e2f2d9a..0a70535f43 100644
--- a/sci-mathematics/frama-c-sparecode/frama-c-sparecode-23.1.ebuild
+++ b/sci-mathematics/frama-c-sparecode/frama-c-sparecode-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-users-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-sparecode/frama-c-sparecode-24.0.ebuild b/sci-mathematics/frama-c-sparecode/frama-c-sparecode-24.0.ebuild
index ddd530a0ad..a6e148859a 100644
--- a/sci-mathematics/frama-c-sparecode/frama-c-sparecode-24.0.ebuild
+++ b/sci-mathematics/frama-c-sparecode/frama-c-sparecode-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -22,8 +24,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-users-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-sparecode/frama-c-sparecode-25.0.ebuild b/sci-mathematics/frama-c-sparecode/frama-c-sparecode-25.0.ebuild
index cebb908feb..00120404b6 100644
--- a/sci-mathematics/frama-c-sparecode/frama-c-sparecode-25.0.ebuild
+++ b/sci-mathematics/frama-c-sparecode/frama-c-sparecode-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -23,8 +25,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-users-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
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 2fbc601030..3783e4d638 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/studia"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ 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"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
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 cdfb4af570..c3ca960ec2 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
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/studia"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ 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"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-studia/frama-c-studia-25.0.ebuild b/sci-mathematics/frama-c-studia/frama-c-studia-25.0.ebuild
index f1c9ef0d30..467b21b970 100644
--- a/sci-mathematics/frama-c-studia/frama-c-studia-25.0.ebuild
+++ b/sci-mathematics/frama-c-studia/frama-c-studia-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/studia"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -20,8 +22,6 @@ 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"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-users/frama-c-users-23.1.ebuild b/sci-mathematics/frama-c-users/frama-c-users-23.1.ebuild
index d44b8f5763..8f3e9dacbd 100644
--- a/sci-mathematics/frama-c-users/frama-c-users-23.1.ebuild
+++ b/sci-mathematics/frama-c-users/frama-c-users-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -21,8 +23,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-users/frama-c-users-24.0.ebuild b/sci-mathematics/frama-c-users/frama-c-users-24.0.ebuild
index 6ed4b17eb3..89ad080754 100644
--- a/sci-mathematics/frama-c-users/frama-c-users-24.0.ebuild
+++ b/sci-mathematics/frama-c-users/frama-c-users-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -21,8 +23,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-users/frama-c-users-25.0.ebuild b/sci-mathematics/frama-c-users/frama-c-users-25.0.ebuild
index a1cc117a6d..6ac2054e07 100644
--- a/sci-mathematics/frama-c-users/frama-c-users-25.0.ebuild
+++ b/sci-mathematics/frama-c-users/frama-c-users-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -21,8 +23,6 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c-variadic/frama-c-variadic-23.1.ebuild b/sci-mathematics/frama-c-variadic/frama-c-variadic-23.1.ebuild
index 59b6fdab79..9aff55411e 100644
--- a/sci-mathematics/frama-c-variadic/frama-c-variadic-23.1.ebuild
+++ b/sci-mathematics/frama-c-variadic/frama-c-variadic-23.1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/variadic"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/variadic"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-variadic/frama-c-variadic-24.0.ebuild b/sci-mathematics/frama-c-variadic/frama-c-variadic-24.0.ebuild
index 3c42697bfa..13f3ca0005 100644
--- a/sci-mathematics/frama-c-variadic/frama-c-variadic-24.0.ebuild
+++ b/sci-mathematics/frama-c-variadic/frama-c-variadic-24.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/variadic"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/variadic"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c-variadic/frama-c-variadic-25.0.ebuild b/sci-mathematics/frama-c-variadic/frama-c-variadic-25.0.ebuild
index 8bd2074aa0..a2e4d73ed3 100644
--- a/sci-mathematics/frama-c-variadic/frama-c-variadic-25.0.ebuild
+++ b/sci-mathematics/frama-c-variadic/frama-c-variadic-25.0.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz"
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/variadic"
+
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -19,8 +21,6 @@ RESTRICT="strip"
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
-S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/variadic"
-
src_prepare() {
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
diff --git a/sci-mathematics/frama-c/frama-c-23.1-r1.ebuild b/sci-mathematics/frama-c/frama-c-23.1-r1.ebuild
index 10569e819b..001a60281a 100644
--- a/sci-mathematics/frama-c/frama-c-23.1-r1.ebuild
+++ b/sci-mathematics/frama-c/frama-c-23.1-r1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Vanadium"
SRC_URI="https://frama-c.com/download/${P}-${NAME}.tar.gz"
+S="${WORKDIR}/${P}-${NAME}"
+
LICENSE="BSD LGPL-2 LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -25,8 +27,6 @@ RDEPEND="
DEPEND="${RDEPEND}
media-gfx/graphviz"
-S="${WORKDIR}/${P}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/frama-c/frama-c-24.0-r1.ebuild b/sci-mathematics/frama-c/frama-c-24.0-r1.ebuild
index 8d7b3ee3f7..204463ac89 100644
--- a/sci-mathematics/frama-c/frama-c-24.0-r1.ebuild
+++ b/sci-mathematics/frama-c/frama-c-24.0-r1.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Chromium"
SRC_URI="https://frama-c.com/download/${P}-${NAME}.tar.gz"
+S="${WORKDIR}/${P}-${NAME}"
+
LICENSE="BSD LGPL-2 LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -25,8 +27,6 @@ RDEPEND="
DEPEND="${RDEPEND}
media-gfx/graphviz"
-S="${WORKDIR}/${P}-${NAME}"
-
PATCHES=( "${FILESDIR}/frama-c-24.0-fix-bflags.patch" )
src_prepare() {
diff --git a/sci-mathematics/frama-c/frama-c-25.0-r2.ebuild b/sci-mathematics/frama-c/frama-c-25.0-r2.ebuild
index 5356f31fbd..0b34d7e195 100644
--- a/sci-mathematics/frama-c/frama-c-25.0-r2.ebuild
+++ b/sci-mathematics/frama-c/frama-c-25.0-r2.ebuild
@@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com"
NAME="Manganese"
SRC_URI="https://frama-c.com/download/${P}-${NAME}.tar.gz"
+S="${WORKDIR}/${P}-${NAME}"
+
LICENSE="BSD LGPL-2 LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
@@ -27,8 +29,6 @@ RDEPEND="
DEPEND="${RDEPEND}
media-gfx/graphviz"
-S="${WORKDIR}/${P}-${NAME}"
-
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
diff --git a/sci-mathematics/rstudio-desktop-bin/rstudio-desktop-bin-2023.09.0_p463.ebuild b/sci-mathematics/rstudio-desktop-bin/rstudio-desktop-bin-2023.09.0_p463.ebuild
index 895f238dd1..48714d2411 100644
--- a/sci-mathematics/rstudio-desktop-bin/rstudio-desktop-bin-2023.09.0_p463.ebuild
+++ b/sci-mathematics/rstudio-desktop-bin/rstudio-desktop-bin-2023.09.0_p463.ebuild
@@ -17,6 +17,8 @@ DESCRIPTION="IDE for R and Python"
HOMEPAGE="https://posit.co"
SRC_URI="https://download1.rstudio.org/electron/rhel8/x86_64/${MY_PN}-${PV/_p/-}-x86_64.rpm"
+S="${WORKDIR}/usr/lib/${MY_PN}"
+
LICENSE="AGPL-3"
SLOT="0"
KEYWORDS="-* ~amd64"
@@ -79,8 +81,6 @@ QA_PREBUILT="
CONFIG_CHECK="~USER_NS"
-S="${WORKDIR}/usr/lib/${MY_PN}"
-
src_configure() {
default
chromium_suid_sandbox_check_kernel_config
diff --git a/sci-mathematics/rstudio-desktop-bin/rstudio-desktop-bin-2023.09.1_p494.ebuild b/sci-mathematics/rstudio-desktop-bin/rstudio-desktop-bin-2023.09.1_p494.ebuild
index f12e569269..7e36b6a7df 100644
--- a/sci-mathematics/rstudio-desktop-bin/rstudio-desktop-bin-2023.09.1_p494.ebuild
+++ b/sci-mathematics/rstudio-desktop-bin/rstudio-desktop-bin-2023.09.1_p494.ebuild
@@ -17,6 +17,8 @@ DESCRIPTION="IDE for R and Python"
HOMEPAGE="https://posit.co"
SRC_URI="https://download1.rstudio.org/electron/rhel8/x86_64/${MY_PN}-${PV/_p/-}-x86_64.rpm"
+S="${WORKDIR}/usr/lib/${MY_PN}"
+
LICENSE="AGPL-3"
SLOT="0"
KEYWORDS="-* ~amd64"
@@ -79,8 +81,6 @@ QA_PREBUILT="
CONFIG_CHECK="~USER_NS"
-S="${WORKDIR}/usr/lib/${MY_PN}"
-
src_configure() {
default
chromium_suid_sandbox_check_kernel_config