mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-04-07 03:10:15 -04:00
Code Issues Packages Projects Releases Wiki Activity

sci-mathematics/*: fix variable order

Browse Source 
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
Signed-off-by: Julien Roy <julien@jroy.ca>
This commit is contained in:
Lucio Sauer
2024-05-15 01:01:35 +02:00
committed by Julien Roy
parent 8be6f6ab3f
commit ad273a2b83
93 changed files with 186 additions and 186 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
sci-mathematics/frama-c-aorai/frama-c-aorai-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-aorai/frama-c-aorai-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-aorai/frama-c-aorai-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-callgraph/frama-c-callgraph-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-dive/frama-c-dive-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-dive/frama-c-dive-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-dive/frama-c-dive-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-eva/frama-c-eva-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-from/frama-c-from-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-impact/frama-c-impact-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-inout/frama-c-inout-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-inout/frama-c-inout-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-instantiate/frama-c-instantiate-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-instantiate/frama-c-instantiate-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-metrics/frama-c-metrics-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-nonterm/frama-c-nonterm-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-nonterm/frama-c-nonterm-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-nonterm/frama-c-nonterm-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-occurrence/frama-c-occurrence-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-pdg/frama-c-pdg-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-pdg/frama-c-pdg-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-pdg/frama-c-pdg-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-postdominators/frama-c-postdominators-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-postdominators/frama-c-postdominators-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-postdominators/frama-c-postdominators-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-printapi/frama-c-printapi-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-printapi/frama-c-printapi-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-printapi/frama-c-printapi-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-qed/frama-c-qed-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-qed/frama-c-qed-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-reduc/frama-c-reduc-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-report/frama-c-report-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-report/frama-c-report-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-report/frama-c-report-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-rtegen/frama-c-rtegen-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-rtegen/frama-c-rtegen-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-rtegen/frama-c-rtegen-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-scope/frama-c-scope-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-scope/frama-c-scope-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-server/frama-c-server-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-server/frama-c-server-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-server/frama-c-server-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-slicing/frama-c-slicing-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-slicing/frama-c-slicing-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-sparecode/frama-c-sparecode-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-sparecode/frama-c-sparecode-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-sparecode/frama-c-sparecode-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-studia/frama-c-studia-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-studia/frama-c-studia-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-users/frama-c-users-23.1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-users/frama-c-users-24.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-users/frama-c-users-25.0.ebuild
View File

@@ -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

4
sci-mathematics/frama-c-variadic/frama-c-variadic-23.1.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-variadic/frama-c-variadic-24.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c-variadic/frama-c-variadic-25.0.ebuild
View File

@@ -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"

4
sci-mathematics/frama-c/frama-c-23.1-r1.ebuild
View File

@@ -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

4
sci-mathematics/frama-c/frama-c-24.0-r1.ebuild
View File

@@ -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() {

4
sci-mathematics/frama-c/frama-c-25.0-r2.ebuild
View File

@@ -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

4
sci-mathematics/rstudio-desktop-bin/rstudio-desktop-bin-2023.09.0_p463.ebuild
View File

@@ -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

4
sci-mathematics/rstudio-desktop-bin/rstudio-desktop-bin-2023.09.1_p494.ebuild
View File

@@ -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