diff options
Diffstat (limited to 'sci-mathematics')
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 |