*/*: ExcessiveLineLength fix most of them

Signed-off-by: Vitaly Zdanevich <zdanevich.vitaly@ya.ru>
This commit is contained in:
Vitaly Zdanevich
2024-07-19 21:33:15 +04:00
parent 139ead166f
commit 79341e9f04
49 changed files with 292 additions and 143 deletions

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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