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 2894df5b7..bcc6251c7 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 126fcc4d5..106587043 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 03df09aba..2a33e46bf 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 0f9b2d025..34d6e414a 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 cb6701097..715aec3e0 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 f80aba1ff..fb83c78b1 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 eb5df5c3b..fac225c18 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 2c56359bb..5f3078343 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 f309af6e1..47760202b 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 b533f467a..6d6a090d4 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 3f17d93b2..019f572f5 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 89511a8de..bdaba0216 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 cbf36c6b1..a54789d18 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 452fd430b..40bdfacc3 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 0cfc8e079..b88ba88ed 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 f08c928dc..085313df5 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 99444eac9..0769c4f19 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 fd0bb906d..602ab45cd 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 01cdb2ee9..7456d1285 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 5678cc5cd..4596bf8d5 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 675f6f1bd..479044a32 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 b14094e51..9084eac33 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 7854d7b6e..d68a5285c 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 668f7939c..cd3a4b91e 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 4ed05de59..e556dddc5 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 392f8e720..297c2c4fc 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 c92d13d38..7b836b6c6 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 50578bd52..644848948 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 6b748f9c1..4353717f7 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 051fd7d32..0ecd0a222 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 4886b626c..b26f68910 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 bb7802261..5bfe2219a 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 fb419cf14..7c9947dc7 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 b11176846..feacafd82 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 b208703c3..ed4026208 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 02109b929..f8ba14fed 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 908165e94..b7669ada9 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 23dfd923b..d0a938566 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 aebdb1555..343292283 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 9d1cb998c..407ddd723 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 9730bbb6f..9f2a8eca3 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 88d0ead09..29f2bb38d 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 3ad978ada..460b24533 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 ef05597aa..c3efc55f6 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 760f07127..65bd705b0 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 d9bdbdbc3..b51cc7068 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 7a5ba7159..0148f9f92 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 78677ebdf..78c0795ed 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 4cb983633..cb3f642f5 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 2d729bee1..51a06371c 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 7186793d4..d599ca7f9 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 73641b67d..3fb2e0d70 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 c48b0f7da..742f2e331 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 16fd9911b..3e9b31478 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 4368d4413..bc2991f8c 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 c2a9a5fb8..95a4be160 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 2f65a4ebb..593b035c0 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 ac1bbcfda..cfe8234c7 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 51f8479e7..71c4b9bbc 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 21ca892ea..8b539f8bc 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 053c9f833..9c365cb6e 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 2dc5703eb..fec53e977 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 e59883c3e..fa7af032c 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 ef18fc0cd..a045b2c22 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 f8b4f03ed..e2c293d0f 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 b38988369..671d47bc5 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 aeebbb614..543c8ff56 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 4de77ed9f..456544fb2 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 1c1a58aee..9d999880c 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 3f9993bd7..4cf22ff95 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 b80b49074..b8243bf1b 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 58f653cd4..77bed3738 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 f823304f5..2fb41db7e 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 9ff847d09..d9e618c25 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 8bd55915a..efbc708d0 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 330825f9e..2928ef4d4 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 0c8e2f2d9..0a70535f4 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 ddd530a0a..a6e148859 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 cebb908fe..00120404b 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 2fbc60103..3783e4d63 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 cdfb4af57..c3ca960ec 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 f1c9ef0d3..467b21b97 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 d44b8f576..8f3e9dacb 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 6ed4b17eb..89ad08075 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 a1cc117a6..6ac2054e0 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 59b6fdab7..9aff55411 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 3c42697bf..13f3ca000 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 8bd2074aa..a2e4d73ed 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 10569e819..001a60281 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 8d7b3ee3f..204463ac8 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 5356f31fb..0b34d7e19 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 895f238dd..48714d241 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 f12e56926..7e36b6a7d 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