mirror of
https://github.com/gentoo-mirror/guru.git
synced 2025-04-10 20:18:41 -04:00
sci-mathematics/frama-c-*: drop 23.1 and 24.0
Signed-off-by: David Roman <davidroman96@gmail.com>
This commit is contained in:
David Roman
parent
f2cd9fb9b2
commit
30fe0558e5
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,45 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Aorai (automaton annotations) plugin for frama-c"
|
||||
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"
|
||||
IUSE="eva +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
eva? ( ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?] )"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
export ENABLE_EVA="$(usex eva yes no)"
|
||||
sed -i '/aorai_eva_analysis.ml:/s, share/Makefile.config,,' Makefile.in || die
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-aorai
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_EVA="${ENABLE_EVA}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_EVA="${ENABLE_EVA}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,45 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Aorai (automaton annotations) plugin for frama-c"
|
||||
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"
|
||||
IUSE="eva +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
eva? ( ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?] )"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
export ENABLE_EVA="$(usex eva yes no)"
|
||||
sed -i '/aorai_eva_analysis.ml:/s, share/Makefile.config,,' Makefile.in || die
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-aorai
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_EVA="${ENABLE_EVA}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_EVA="${ENABLE_EVA}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,57 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Callgraph plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
# Eva is needed at runtime to run the callgraph plugin,
|
||||
# but is not needed for compilation (and would introduce a mutual dependency)
|
||||
PDEPEND="~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-callgraph
|
||||
printf 'include share/Makefile.config\n' > src/plugins/callgraph/Makefile || die
|
||||
sed -e '/^# *Callgraph/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/callgraph/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/callgraph/Makefile || die
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
export HAS_DGRAPH=$(usex gtk yes no)
|
||||
}
|
||||
|
||||
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}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/callgraph/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" HAS_DGRAPH="${HAS_DGRAPH}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,57 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Callgraph plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
# Eva is needed at runtime to run the callgraph plugin,
|
||||
# but is not needed for compilation (and would introduce a mutual dependency)
|
||||
PDEPEND="~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-callgraph
|
||||
printf 'include share/Makefile.config\n' > src/plugins/callgraph/Makefile || die
|
||||
sed -e '/^# *Callgraph/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/callgraph/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/callgraph/Makefile || die
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
export HAS_DGRAPH=$(usex gtk yes no)
|
||||
}
|
||||
|
||||
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}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/callgraph/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" HAS_DGRAPH="${HAS_DGRAPH}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,59 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Constant folding plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--disable-gui \
|
||||
--enable-semantic-constant-folding \
|
||||
--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
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
export ENABLE_EVA=yes
|
||||
export ENABLE_CALLGRAPH=yes
|
||||
export ENABLE_SERVER=yes
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake -f src/plugins/constant_propagation/Makefile 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
|
||||
}
|
||||
@ -1,59 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Constant folding plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--disable-gui \
|
||||
--enable-semantic-constant-folding \
|
||||
--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
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
export ENABLE_EVA=yes
|
||||
export ENABLE_CALLGRAPH=yes
|
||||
export ENABLE_SERVER=yes
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake -f src/plugins/constant_propagation/Makefile 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
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,48 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Dive plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-studia-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
export ENABLE_EVA=yes
|
||||
export ENABLE_STUDIA=yes
|
||||
export ENABLE_SERVER=yes
|
||||
econf --enable-dive
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,48 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Dive plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-studia-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
export ENABLE_EVA=yes
|
||||
export ENABLE_STUDIA=yes
|
||||
export ENABLE_SERVER=yes
|
||||
econf --enable-dive
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,47 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Runtime verification of ACSL (E-ACSL) plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
sed -i '/\$(CC)/s/-O2 -g3/$(CFLAGS)/' Makefile.in || die
|
||||
sed -i "s/ranlib/$(tc-getRANLIB)/" Makefile.in || die
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-e-acsl
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
export FRAMAC_ROOT_SRCDIR="${S}/../../.."
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
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
|
||||
}
|
||||
@ -1,47 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Runtime verification of ACSL (E-ACSL) plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
sed -i '/\$(CC)/s/-O2 -g3/$(CFLAGS)/' Makefile.in || die
|
||||
sed -i "s/ranlib/$(tc-getRANLIB)/" Makefile.in || die
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-e-acsl
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
export FRAMAC_ROOT_SRCDIR="${S}/../../.."
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
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
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,61 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Value analysis (EVA) plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-callgraph-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-loopanalysis-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
# Eva needs the "scope" plugin at runtime, which provides rm_assert
|
||||
# But it is not needed for compilation, and would introduce a mutual dependency
|
||||
PDEPEND="~sci-mathematics/frama-c-scope-${PV}:=[ocamlopt?]"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--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
|
||||
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}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/value/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,61 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Value analysis (EVA) plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-callgraph-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-loopanalysis-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
# Eva needs the "scope" plugin at runtime, which provides rm_assert
|
||||
# But it is not needed for compilation, and would introduce a mutual dependency
|
||||
PDEPEND="~sci-mathematics/frama-c-scope-${PV}:=[ocamlopt?]"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--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
|
||||
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}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/value/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,59 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="From analysis plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-callgraph-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-postdominators-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-from-analysis \
|
||||
--enable-callgraph \
|
||||
--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
|
||||
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}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/from/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,59 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="From analysis plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-callgraph-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-postdominators-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-from-analysis \
|
||||
--enable-callgraph \
|
||||
--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
|
||||
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}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/from/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,66 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Impact plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-slicing-${PV}:=[gtk=,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-impact \
|
||||
--enable-inout \
|
||||
--enable-slicing \
|
||||
--enable-from-analysis \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server \
|
||||
--enable-postdominators \
|
||||
--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
|
||||
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}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/impact/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,66 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Impact plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-slicing-${PV}:=[gtk=,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-impact \
|
||||
--enable-inout \
|
||||
--enable-slicing \
|
||||
--enable-from-analysis \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server \
|
||||
--enable-postdominators \
|
||||
--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
|
||||
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}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/impact/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,59 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="In/out analysis plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-callgraph-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--disable-gui \
|
||||
--enable-inout \
|
||||
--enable-from-analysis \
|
||||
--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
|
||||
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}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/inout/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,59 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="In/out analysis plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-callgraph-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--disable-gui \
|
||||
--enable-inout \
|
||||
--enable-from-analysis \
|
||||
--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
|
||||
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}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/inout/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,42 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Instantiate analysis plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-instantiate
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,42 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Instantiate analysis plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-instantiate
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,42 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Loop analysis plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-loop-analysis
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,42 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Loop analysis plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-loop-analysis
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,56 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Metrics plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-metrics \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server
|
||||
printf 'include share/Makefile.config\n' > src/plugins/metrics/Makefile || die
|
||||
sed -e '/^# *Metrics/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/metrics/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/metrics/Makefile || 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/metrics/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/metrics/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,56 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Metrics plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-metrics \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server
|
||||
printf 'include share/Makefile.config\n' > src/plugins/metrics/Makefile || die
|
||||
sed -e '/^# *Metrics/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/metrics/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/metrics/Makefile || 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/metrics/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/metrics/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,44 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Nonterm plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
export ENABLE_EVA=yes
|
||||
econf --enable-nonterm
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,44 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Nonterm plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
export ENABLE_EVA=yes
|
||||
econf --enable-nonterm
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,42 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Obfuscator plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-obfuscator
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,42 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Obfuscator plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-obfuscator
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,56 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Occurrence analysis plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-occurrence \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server
|
||||
printf 'include share/Makefile.config\n' > src/plugins/occurrence/Makefile || die
|
||||
sed -e '/^# *Occurrence/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/occurrence/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/occurrence/Makefile || 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/occurrence/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/occurrence/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,56 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Occurrence analysis plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-occurrence \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server
|
||||
printf 'include share/Makefile.config\n' > src/plugins/occurrence/Makefile || die
|
||||
sed -e '/^# *Occurrence/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/occurrence/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/occurrence/Makefile || 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/occurrence/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/occurrence/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,59 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Program dependence graph plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-callgraph-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--disable-gui \
|
||||
--enable-pdg \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server \
|
||||
--enable-from-analysis
|
||||
printf 'include share/Makefile.config\n' > src/plugins/pdg/Makefile || die
|
||||
sed -e '/^# *PDG : program dependence graph/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/pdg/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/pdg/Makefile || 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/pdg/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/pdg/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,59 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Program dependence graph plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-callgraph-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--disable-gui \
|
||||
--enable-pdg \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server \
|
||||
--enable-from-analysis
|
||||
printf 'include share/Makefile.config\n' > src/plugins/pdg/Makefile || die
|
||||
sed -e '/^# *PDG : program dependence graph/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/pdg/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/pdg/Makefile || 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/pdg/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/pdg/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,52 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Postdominators plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--disable-gui \
|
||||
--enable-postdominators
|
||||
printf 'include share/Makefile.config\n' > src/plugins/postdominators/Makefile || die
|
||||
sed -e '/^# *Post-dominators/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/postdominators/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/postdominators/Makefile || 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/postdominators/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/postdominators/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,52 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Postdominators plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--disable-gui \
|
||||
--enable-postdominators
|
||||
printf 'include share/Makefile.config\n' > src/plugins/postdominators/Makefile || die
|
||||
sed -e '/^# *Post-dominators/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/postdominators/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/postdominators/Makefile || 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/postdominators/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/postdominators/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,33 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Plugin generating .mli interface files for plugin APIs for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_compile() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,33 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Plugin generating .mli interface files for plugin APIs for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_compile() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,34 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Qed plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_compile() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
export ENABLE_GUI="$(usex gtk yes no)"
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,34 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Qed plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_compile() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
export ENABLE_GUI="$(usex gtk yes no)"
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,42 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Report plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-report
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,42 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Report plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-report
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,51 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Runtime error annotation (RTE) generation plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--enable-rtegen
|
||||
printf 'include share/Makefile.config\n' > src/plugins/rte/Makefile || die
|
||||
sed -e '/^# *Runtime Error Annotation Generation analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/rte/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/rte/Makefile || 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/rte/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/rte/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,51 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Runtime error annotation (RTE) generation plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--enable-rtegen
|
||||
printf 'include share/Makefile.config\n' > src/plugins/rte/Makefile || die
|
||||
sed -e '/^# *Runtime Error Annotation Generation analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/rte/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/rte/Makefile || 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/rte/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/rte/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,61 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Scope plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-scope \
|
||||
--enable-from-analysis \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server \
|
||||
--enable-postdominators \
|
||||
--enable-inout \
|
||||
--enable-pdg
|
||||
printf 'include share/Makefile.config\n' > src/plugins/scope/Makefile || die
|
||||
sed -e '/^# *Scope :/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/scope/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/scope/Makefile || 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/scope/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/scope/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,61 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Scope plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-scope \
|
||||
--enable-from-analysis \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server \
|
||||
--enable-postdominators \
|
||||
--enable-inout \
|
||||
--enable-pdg
|
||||
printf 'include share/Makefile.config\n' > src/plugins/scope/Makefile || die
|
||||
sed -e '/^# *Scope :/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/scope/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/scope/Makefile || 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/scope/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/scope/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,45 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Security slicing plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk,ocamlopt?]
|
||||
~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-slicing-${PV}:=[gtk,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-security-slicing
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,45 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Security slicing plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk,ocamlopt?]
|
||||
~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-slicing-${PV}:=[gtk,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-security-slicing
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,43 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Server plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-server \
|
||||
--disable-server-zmq # missing dev-ml/zmq
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,43 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Server plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-server \
|
||||
--disable-server-zmq # missing dev-ml/zmq
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,64 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Slicing plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-callgraph-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-sparecode-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-slicing \
|
||||
--enable-from-analysis \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server \
|
||||
--enable-postdominators \
|
||||
--enable-pdg \
|
||||
--enable-sparecode \
|
||||
--enable-users
|
||||
printf 'include share/Makefile.config\n' > src/plugins/slicing/Makefile || die
|
||||
sed -e '/^# *Slicing/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/slicing/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/slicing/Makefile || 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/slicing/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/slicing/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,64 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Slicing plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-callgraph-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-sparecode-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
$(use_enable gtk gui) \
|
||||
--enable-slicing \
|
||||
--enable-from-analysis \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server \
|
||||
--enable-postdominators \
|
||||
--enable-pdg \
|
||||
--enable-sparecode \
|
||||
--enable-users
|
||||
printf 'include share/Makefile.config\n' > src/plugins/slicing/Makefile || die
|
||||
sed -e '/^# *Slicing/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/slicing/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/slicing/Makefile || 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/slicing/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/slicing/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,61 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Spare code plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-users-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--disable-gui \
|
||||
--enable-sparecode \
|
||||
--enable-users \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server \
|
||||
--enable-pdg \
|
||||
--enable-from-analysis
|
||||
printf 'include share/Makefile.config\n' > src/plugins/sparecode/Makefile || die
|
||||
sed -e '/^# *Sparecode :/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/sparecode/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/sparecode/Makefile || 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/sparecode/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/sparecode/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,61 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Spare code plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-users-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--disable-gui \
|
||||
--enable-sparecode \
|
||||
--enable-users \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server \
|
||||
--enable-pdg \
|
||||
--enable-from-analysis
|
||||
printf 'include share/Makefile.config\n' > src/plugins/sparecode/Makefile || die
|
||||
sed -e '/^# *Sparecode :/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/sparecode/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/sparecode/Makefile || 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/sparecode/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/sparecode/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,45 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Studia plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
export ENABLE_GUI="$(usex gtk yes no)"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
export ENABLE_EVA=yes
|
||||
econf --enable-studia
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,45 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Studia plugin for frama-c"
|
||||
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"
|
||||
IUSE="gtk +ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
export ENABLE_GUI="$(usex gtk yes no)"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
export ENABLE_EVA=yes
|
||||
econf --enable-studia
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,57 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Users plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-callgraph-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--disable-gui \
|
||||
--enable-users \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server
|
||||
printf 'include share/Makefile.config\n' > src/plugins/users/Makefile || die
|
||||
sed -e '/^# *Users analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/users/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/users/Makefile || 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/users/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/users/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,57 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Users plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-callgraph-${PV}:=[ocamlopt?]
|
||||
~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
mv configure.in configure.ac || die
|
||||
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
|
||||
touch config_file || die
|
||||
eautoreconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf \
|
||||
--disable-landmarks \
|
||||
--with-no-plugin \
|
||||
--disable-gui \
|
||||
--enable-users \
|
||||
--enable-callgraph \
|
||||
--enable-eva \
|
||||
--enable-server
|
||||
printf 'include share/Makefile.config\n' > src/plugins/users/Makefile || die
|
||||
sed -e '/^# *Users analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/users/Makefile || die
|
||||
printf 'include share/Makefile.dynamic\n' >> src/plugins/users/Makefile || 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/users/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake -f src/plugins/users/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,3 +1 @@
|
||||
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
|
||||
DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235
|
||||
DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
|
||||
|
||||
@ -1,42 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Variadic function transformation plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-variadic
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
@ -1,42 +0,0 @@
|
||||
# Copyright 1999-2021 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
inherit autotools findlib toolchain-funcs
|
||||
|
||||
DESCRIPTION="Variadic function transformation plugin for frama-c"
|
||||
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"
|
||||
IUSE="+ocamlopt"
|
||||
RESTRICT="strip"
|
||||
|
||||
RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]"
|
||||
DEPEND="${RDEPEND}"
|
||||
|
||||
src_prepare() {
|
||||
export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c"
|
||||
export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c"
|
||||
eautoconf
|
||||
eapply_user
|
||||
}
|
||||
|
||||
src_configure() {
|
||||
econf --enable-variadic
|
||||
}
|
||||
|
||||
src_compile() {
|
||||
tc-export AR
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}"
|
||||
}
|
||||
|
||||
src_install() {
|
||||
emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install
|
||||
}
|
||||
Loading…
x
Reference in New Issue
Block a user