aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVitaly Zdanevich <zdanevich.vitaly@ya.ru>2024-07-19 21:33:15 +0400
committerVitaly Zdanevich <zdanevich.vitaly@ya.ru>2024-07-19 21:33:15 +0400
commit79341e9f046f373509b9ab9d14ef711797d5bfa5 (patch)
tree0e7a7f713f4587b70c4d7a4eb3ec0f0505a00644 /sci-mathematics
parentdev-util/juliaup: add 1.16.10, drop 1.14.9 (diff)
downloadguru-79341e9f046f373509b9ab9d14ef711797d5bfa5.tar.gz
guru-79341e9f046f373509b9ab9d14ef711797d5bfa5.tar.bz2
guru-79341e9f046f373509b9ab9d14ef711797d5bfa5.zip
*/*: ExcessiveLineLength fix most of them
Signed-off-by: Vitaly Zdanevich <zdanevich.vitaly@ya.ru>
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/frama-c-aorai/frama-c-aorai-23.1.ebuild7
-rw-r--r--sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild12
-rw-r--r--sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild12
-rw-r--r--sci-mathematics/frama-c-callgraph/frama-c-callgraph-25.0.ebuild11
-rw-r--r--sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-23.1.ebuild14
-rw-r--r--sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild12
-rw-r--r--sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-25.0.ebuild12
-rw-r--r--sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-23.1.ebuild7
-rw-r--r--sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild6
-rw-r--r--sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-25.0.ebuild6
-rw-r--r--sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild12
-rw-r--r--sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild12
-rw-r--r--sci-mathematics/frama-c-eva/frama-c-eva-25.0.ebuild12
-rw-r--r--sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild12
-rw-r--r--sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild12
-rw-r--r--sci-mathematics/frama-c-from/frama-c-from-25.0.ebuild12
-rw-r--r--sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild12
-rw-r--r--sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild12
-rw-r--r--sci-mathematics/frama-c-impact/frama-c-impact-25.0.ebuild12
-rw-r--r--sci-mathematics/frama-c-inout/frama-c-inout-23.1.ebuild12
-rw-r--r--sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild12
-rw-r--r--sci-mathematics/frama-c-inout/frama-c-inout-25.0.ebuild12
-rw-r--r--sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild6
-rw-r--r--sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild6
-rw-r--r--sci-mathematics/frama-c-metrics/frama-c-metrics-25.0.ebuild6
-rw-r--r--sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild6
-rw-r--r--sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild6
-rw-r--r--sci-mathematics/frama-c-occurrence/frama-c-occurrence-25.0.ebuild6
28 files changed, 188 insertions, 91 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 bcc6251c7..461536320 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
@@ -41,5 +41,10 @@ src_compile() {
}
src_install() {
- emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_EVA="${ENABLE_EVA}" DESTDIR="${ED}" install
+ emake \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ ENABLE_EVA="${ENABLE_EVA}" \
+ DESTDIR="${ED}" \
+ install
}
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 34d6e414a..05f94d403 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
@@ -49,9 +49,17 @@ src_configure() {
src_compile() {
tc-export AR
use gtk && emake src/plugins/callgraph/cg_viewer.ml
- emake -f src/plugins/callgraph/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" HAS_DGRAPH="${HAS_DGRAPH}"
+ emake -f src/plugins/callgraph/Makefile \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ HAS_DGRAPH="${HAS_DGRAPH}"
}
src_install() {
- emake -f src/plugins/callgraph/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" HAS_DGRAPH="${HAS_DGRAPH}" DESTDIR="${ED}" install
+ emake -f src/plugins/callgraph/Makefile \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ HAS_DGRAPH="${HAS_DGRAPH}" \
+ DESTDIR="${ED}"
+ install
}
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 715aec3e0..c9af6aaad 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
@@ -49,9 +49,17 @@ src_configure() {
src_compile() {
tc-export AR
use gtk && emake src/plugins/callgraph/cg_viewer.ml
- emake -f src/plugins/callgraph/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" HAS_DGRAPH="${HAS_DGRAPH}"
+ emake -f src/plugins/callgraph/Makefile \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ HAS_DGRAPH="${HAS_DGRAPH}"
}
src_install() {
- emake -f src/plugins/callgraph/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" HAS_DGRAPH="${HAS_DGRAPH}" DESTDIR="${ED}" install
+ emake -f src/plugins/callgraph/Makefile \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ HAS_DGRAPH="${HAS_DGRAPH}" \
+ DESTDIR="${ED}"
+ install
}
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 fb83c78b1..231d431df 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
@@ -48,9 +48,16 @@ src_configure() {
src_compile() {
use gtk && emake src/plugins/callgraph/cg_viewer.ml
- emake -f src/plugins/callgraph/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" HAS_DGRAPH="${HAS_DGRAPH}"
+ emake -f src/plugins/callgraph/Makefile \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ HAS_DGRAPH="${HAS_DGRAPH}"
}
src_install() {
- emake -f src/plugins/callgraph/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" HAS_DGRAPH="${HAS_DGRAPH}" DESTDIR="${ED}" install
+ emake -f src/plugins/callgraph/Makefile \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ HAS_DGRAPH="${HAS_DGRAPH}" \
+ DESTDIR="${ED}" install
}
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 fac225c18..537939af7 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
@@ -22,6 +22,8 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
+p="src/plugins/constant_propagation/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -39,9 +41,11 @@ src_configure() {
--enable-eva \
--enable-callgraph \
--enable-server
- printf 'include share/Makefile.config\n' > src/plugins/constant_propagation/Makefile || die
- sed -e '/^# *Constant propagation/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/constant_propagation/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/constant_propagation/Makefile || die
+
+
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *Constant propagation/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
export ENABLE_EVA=yes
@@ -51,9 +55,9 @@ src_configure() {
src_compile() {
tc-export AR
- emake -f src/plugins/constant_propagation/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/constant_propagation/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 5f3078343..346b52c56 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
@@ -22,6 +22,8 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
+p="src/plugins/constant_propagation/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -39,9 +41,9 @@ src_configure() {
--enable-eva \
--enable-callgraph \
--enable-server
- printf 'include share/Makefile.config\n' > src/plugins/constant_propagation/Makefile || die
- sed -e '/^# *Constant propagation/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/constant_propagation/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/constant_propagation/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *Constant propagation/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
export ENABLE_EVA=yes
@@ -51,9 +53,9 @@ src_configure() {
src_compile() {
tc-export AR
- emake -f src/plugins/constant_propagation/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/constant_propagation/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 47760202b..ef5204deb 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
@@ -22,6 +22,8 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
+p="src/plugins/constant_propagation/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -38,9 +40,9 @@ src_configure() {
--enable-semantic-constant-folding \
--enable-eva \
--enable-server
- printf 'include share/Makefile.config\n' > src/plugins/constant_propagation/Makefile || die
- sed -e '/^# *Constant propagation/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/constant_propagation/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/constant_propagation/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *Constant propagation/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
export ENABLE_EVA=yes
@@ -48,9 +50,9 @@ src_configure() {
}
src_compile() {
- emake -f src/plugins/constant_propagation/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/constant_propagation/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 a54789d18..04e7de431 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
@@ -43,5 +43,10 @@ src_compile() {
src_install() {
export EACSL_INSTALL_LIB_DIR="${ED}/usr/$(get_libdir)/frama-c/e-acsl"
- emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" EACSL_INSTALL_LIB_DIR="${EACSL_INSTALL_LIB_DIR}" install
+ emake \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ DESTDIR="${ED}" \
+ EACSL_INSTALL_LIB_DIR="${EACSL_INSTALL_LIB_DIR}" \
+ install
}
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 40bdfacc3..7994cc630 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
@@ -43,5 +43,9 @@ src_compile() {
src_install() {
export EACSL_INSTALL_LIB_DIR="${ED}/usr/$(get_libdir)/frama-c/e-acsl"
- emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" EACSL_INSTALL_LIB_DIR="${EACSL_INSTALL_LIB_DIR}" install
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ DESTDIR="${ED}" \
+ EACSL_INSTALL_LIB_DIR="${EACSL_INSTALL_LIB_DIR}" \
+ install
}
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 b88ba88ed..694812f33 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
@@ -43,5 +43,9 @@ src_compile() {
src_install() {
export EACSL_INSTALL_LIB_DIR="${ED}/usr/$(get_libdir)/frama-c/e-acsl"
- emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" EACSL_INSTALL_LIB_DIR="${EACSL_INSTALL_LIB_DIR}" install
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ DESTDIR="${ED}" \
+ EACSL_INSTALL_LIB_DIR="${EACSL_INSTALL_LIB_DIR}" \
+ install
}
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 085313df5..1a665f2fe 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
@@ -28,6 +28,8 @@ DEPEND="${RDEPEND}"
# But it is not needed for compilation, and would introduce a mutual dependency
PDEPEND="~sci-mathematics/frama-c-scope-${PV}:=[ocamlopt?]"
+p="src/plugins/value/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -44,18 +46,18 @@ src_configure() {
--enable-callgraph \
--enable-server \
--enable-eva
- printf 'include share/Makefile.config\n' > src/plugins/value/Makefile || die
- sed -e '/^# *Evolved Value Analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/value/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/value/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *Evolved Value Analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
}
src_compile() {
tc-export AR
- emake -f src/plugins/value/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/value/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 0769c4f19..303c58a5a 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
@@ -28,6 +28,8 @@ DEPEND="${RDEPEND}"
# But it is not needed for compilation, and would introduce a mutual dependency
PDEPEND="~sci-mathematics/frama-c-scope-${PV}:=[ocamlopt?]"
+p="src/plugins/value/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -44,18 +46,18 @@ src_configure() {
--enable-callgraph \
--enable-server \
--enable-eva
- printf 'include share/Makefile.config\n' > src/plugins/value/Makefile || die
- sed -e '/^# *Evolved Value Analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/value/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/value/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *Evolved Value Analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
}
src_compile() {
tc-export AR
- emake -f src/plugins/value/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/value/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 602ab45cd..d1afd7312 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
@@ -22,6 +22,8 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
+p="src/plugins/value/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -37,17 +39,17 @@ src_configure() {
$(use_enable gtk gui) \
--enable-server \
--enable-eva
- printf 'include share/Makefile.config\n' > src/plugins/value/Makefile || die
- sed -e '/^# *Evolved Value Analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/value/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/value/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *Evolved Value Analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
}
src_compile() {
- emake -f src/plugins/value/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/value/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 7456d1285..c7fb283f1 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
@@ -24,6 +24,8 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-postdominators-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
+p="src/plugins/from/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -42,18 +44,18 @@ src_configure() {
--enable-eva \
--enable-server \
--enable-postdominators
- printf 'include share/Makefile.config\n' > src/plugins/from/Makefile || die
- sed -e '/^# *From analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/from/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/from/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *From analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
}
src_compile() {
tc-export AR
- emake -f src/plugins/from/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/from/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 4596bf8d5..b0b6f6873 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
@@ -24,6 +24,8 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-postdominators-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
+p="src/plugins/from/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -42,18 +44,18 @@ src_configure() {
--enable-eva \
--enable-server \
--enable-postdominators
- printf 'include share/Makefile.config\n' > src/plugins/from/Makefile || die
- sed -e '/^# *From analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/from/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/from/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *From analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
}
src_compile() {
tc-export AR
- emake -f src/plugins/from/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/from/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 479044a32..def98b5eb 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
@@ -24,6 +24,8 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-postdominators-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
+p="src/plugins/from/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -42,17 +44,17 @@ src_configure() {
--enable-eva \
--enable-server \
--enable-postdominators
- printf 'include share/Makefile.config\n' > src/plugins/from/Makefile || die
- sed -e '/^# *From analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/from/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/from/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *From analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
}
src_compile() {
- emake -f src/plugins/from/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/from/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 9084eac33..592232ea8 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
@@ -25,6 +25,8 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-slicing-${PV}:=[gtk=,ocamlopt?]"
DEPEND="${RDEPEND}"
+p="src/plugins/impact/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -49,18 +51,18 @@ src_configure() {
--enable-pdg \
--enable-sparecode \
--enable-users
- printf 'include share/Makefile.config\n' > src/plugins/impact/Makefile || die
- sed -e '/^# *Impact analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/impact/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/impact/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *Impact analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
}
src_compile() {
tc-export AR
- emake -f src/plugins/impact/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/impact/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 d68a5285c..845843be0 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
@@ -25,6 +25,8 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-slicing-${PV}:=[gtk=,ocamlopt?]"
DEPEND="${RDEPEND}"
+p="src/plugins/impact/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -49,18 +51,18 @@ src_configure() {
--enable-pdg \
--enable-sparecode \
--enable-users
- printf 'include share/Makefile.config\n' > src/plugins/impact/Makefile || die
- sed -e '/^# *Impact analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/impact/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/impact/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *Impact analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
}
src_compile() {
tc-export AR
- emake -f src/plugins/impact/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/impact/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 cd3a4b91e..3189af6e6 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
@@ -25,6 +25,8 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
~sci-mathematics/frama-c-slicing-${PV}:=[gtk=,ocamlopt?]"
DEPEND="${RDEPEND}"
+p="src/plugins/impact/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -49,17 +51,17 @@ src_configure() {
--enable-pdg \
--enable-sparecode \
--enable-users
- printf 'include share/Makefile.config\n' > src/plugins/impact/Makefile || die
- sed -e '/^# *Impact analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/impact/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/impact/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *Impact analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
}
src_compile() {
- emake -f src/plugins/impact/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/impact/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 e556dddc5..721bd27e0 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
@@ -24,6 +24,8 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
+p="src/plugins/inout/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -42,18 +44,18 @@ src_configure() {
--enable-callgraph \
--enable-eva \
--enable-server
- printf 'include share/Makefile.config\n' > src/plugins/inout/Makefile || die
- sed -e '/^# *inout/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/inout/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/inout/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *inout/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
}
src_compile() {
tc-export AR
- emake -f src/plugins/inout/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/inout/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 297c2c4fc..003e46ebd 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
@@ -24,6 +24,8 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
+p="src/plugins/inout/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -42,18 +44,18 @@ src_configure() {
--enable-callgraph \
--enable-eva \
--enable-server
- printf 'include share/Makefile.config\n' > src/plugins/inout/Makefile || die
- sed -e '/^# *inout/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/inout/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/inout/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *inout/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
}
src_compile() {
tc-export AR
- emake -f src/plugins/inout/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/inout/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 7b836b6c6..aa5c41ae4 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
@@ -24,6 +24,8 @@ RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]"
DEPEND="${RDEPEND}"
+p="src/plugins/inout/Makefile"
+
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
@@ -43,17 +45,17 @@ src_configure() {
--enable-callgraph \
--enable-eva \
--enable-server
- printf 'include share/Makefile.config\n' > src/plugins/inout/Makefile || die
- sed -e '/^# *inout/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/inout/Makefile || die
- printf 'include share/Makefile.dynamic\n' >> src/plugins/inout/Makefile || die
+ printf 'include share/Makefile.config\n' > ${p} || die
+ sed -e '/^# *inout/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> ${p} || die
+ printf 'include share/Makefile.dynamic\n' >> ${p} || die
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
}
src_compile() {
- emake -f src/plugins/inout/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
}
src_install() {
- emake -f src/plugins/inout/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f ${p} FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
}
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 feacafd82..179a0ab7e 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
@@ -52,5 +52,9 @@ src_compile() {
}
src_install() {
- emake -f src/plugins/metrics/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f src/plugins/metrics/Makefile \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ DESTDIR="${ED}" \
+ install
}
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 ed4026208..350a92be2 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
@@ -52,5 +52,9 @@ src_compile() {
}
src_install() {
- emake -f src/plugins/metrics/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f src/plugins/metrics/Makefile \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ DESTDIR="${ED}" \
+ install
}
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 f8ba14fed..0f3d218c3 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
@@ -51,5 +51,9 @@ src_compile() {
}
src_install() {
- emake -f src/plugins/metrics/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f src/plugins/metrics/Makefile \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ DESTDIR="${ED}" \
+ install
}
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 460b24533..629a5e685 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
@@ -52,5 +52,9 @@ src_compile() {
}
src_install() {
- emake -f src/plugins/occurrence/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f src/plugins/occurrence/Makefile \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ DESTDIR="${ED}" \
+ install
}
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 c3efc55f6..88e6ad807 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
@@ -52,5 +52,9 @@ src_compile() {
}
src_install() {
- emake -f src/plugins/occurrence/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f src/plugins/occurrence/Makefile \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ DESTDIR="${ED}" \
+ install
}
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 65bd705b0..174b5f71d 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
@@ -50,5 +50,9 @@ src_compile() {
}
src_install() {
- emake -f src/plugins/occurrence/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
+ emake -f src/plugins/occurrence/Makefile \
+ FRAMAC_SHARE="${FRAMAC_SHARE}" \
+ FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ DESTDIR="${ED}" \
+ install
}