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

Merge updates from master

Browse Source
This commit is contained in:
Repository mirror & CI
2024-09-07 09:36:17 +00:00
parent fa154fddc2 8247e4680e
commit 4366f824b4
124 changed files with 378 additions and 3428 deletions
Download Patch File Download Diff File Expand all files Collapse all files

57
app-crypt/gnome-encfs-manager/gnome-encfs-manager-1.9-r1.ebuild
View File

@@ -1,57 +0,0 @@
# Copyright 2019-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
VALA_MIN_API_VERSION="0.44"
inherit vala xdg
DESCRIPTION="An easy to use manager and mounter for encfs stashes"
HOMEPAGE="https://launchpad.net/gencfsm"
SRC_URI="https://launchpad.net/gencfsm/trunk/${PV}/+download/${PN}_${PV}.tar.xz -> ${P}.tar.xz"
LICENSE="GPL-2"
SLOT="0"
KEYWORDS="~amd64 ~x86"
IUSE="+appindicator"
DEPEND="
gnome-base/dconf
sys-fs/encfs
sys-fs/fuse
app-crypt/libsecret
x11-libs/libICE
"
RDEPEND="${DEPEND}"
BDEPEND="
$(vala_depend)
dev-build/libtool
>=dev-build/automake-1.11
appindicator? ( dev-libs/libappindicator )
x11-libs/gtk+:3
>=dev-libs/glib-2
gnome-base/gnome-keyring
dev-libs/libgee
dev-util/intltool
x11-libs/libSM
"
src_prepare() {
vala_src_prepare
default
}
src_configure() {
local conf
./autogen.sh
if ! use appindicator; then
conf+=" --disable-appindicator"
fi
econf ${conf}
}
pkg_postinst() {
xdg_icon_cache_update
}
pkg_postrm() {
xdg_icon_cache_update
}

21
app-crypt/gnome-encfs-manager/gnome-encfs-manager-1.9-r2.ebuild
View File

@@ -1,4 +1,4 @@
# Copyright 2019-2023 Gentoo Authors
# Copyright 2019-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -12,7 +12,6 @@ SRC_URI="https://launchpad.net/gencfsm/trunk/${PV}/+download/${PN}_${PV}.tar.xz
LICENSE="GPL-2"
SLOT="0"
KEYWORDS="~amd64 ~x86"
IUSE="+appindicator"
DEPEND="
gnome-base/dconf
@@ -21,7 +20,6 @@ DEPEND="
app-crypt/libsecret
x11-libs/libICE
dev-libs/glib:2
dev-libs/libappindicator:3
dev-libs/libgee:0.8=
x11-libs/gtk+:3
x11-libs/libSM
@@ -31,7 +29,6 @@ BDEPEND="
$(vala_depend)
dev-build/libtool
>=dev-build/automake-1.11
appindicator? ( dev-libs/libappindicator )
x11-libs/gtk+:3
>=dev-libs/glib-2
gnome-base/gnome-keyring
@@ -48,18 +45,6 @@ src_prepare() {
}
src_configure() {
local conf
./autogen.sh
if ! use appindicator; then
conf+=" --disable-appindicator"
fi
econf ${conf}
}
pkg_postinst() {
xdg_icon_cache_update
}
pkg_postrm() {
xdg_icon_cache_update
./autogen.sh || die
econf --disable-appindicator
}

3
app-crypt/gnome-encfs-manager/metadata.xml
View File

@@ -4,9 +4,6 @@
<longdescription lang="en">
The Gnome Encfs Manager is an easy to use manager and mounter for encfs stashes featuring per-stash configuration, Gnome Keyring support, a tray menu inspired by Cryptkeeper but using the AppIndicator API and lots of unique features.
</longdescription>
<use lang="en">
<flag name="appindicator">Build in support for notifications using the libindicate or libappindicator plugin</flag>
</use>
<maintainer type="person">
<email>pascal.jaeger@leimstift.de</email>
<name>Pascal Jäger</name>

2
app-text/komikku/Manifest
View File

@@ -1 +1 @@
DIST komikku-1.53.0.tar.gz 4942308 BLAKE2B 3c616543bdf4f57f83b8c0e42bc7325f16d4a03179cd727743d4e18736b62e2cb8febe96f44e5fc42f3b290986ab6a77a306f829db96fac86e657827933fccae SHA512 8a3c0962c10d8233fc9dd007f9fb02ba4dfeebbba384d0dfd635a2459c10315a0446555c0bc35de02798de5fb8ae0a3016195d5822737a4e15164290a5d58738
DIST komikku-1.57.0.tar.gz 4962367 BLAKE2B f778fdcf1c33f9d1393a6dc2139c812717fe73763eac4cb181a94969eb693fc723b88dbfcb7166764f6d8ccd6ae49ec6788fccc962398760acd549a9a5ded04a SHA512 0b6dc2b4ce3537a8069e48606ea9e835234260500736a78e3966374fa6e5c0c2f48dbeeca76d4ca701e606381195310bb24f38ef1977fb8610138e510ea7150e

0
app-text/komikku/komikku-1.53.0.ebuild → app-text/komikku/komikku-1.57.0.ebuild
View File

4
dev-embedded/arduino-cli/Manifest
View File

@@ -1,4 +1,4 @@
DIST arduino-cli-1.0.2-vendor.tar.xz 3085592 BLAKE2B 55fa8763f6036eadf1fa69e53cba43837da6c89bd1910d1a6d67a37b0a7995659e37bbc19bc1d92f38a54c697706e75326ea138a8c1bfe550fac8a830f367050 SHA512 7e66a6f8bb902ecc1bf3e1c90e181f156327a595f4928e880eb1abfe61238fa326262d86df1c6080f8e4ed2853b253129f2b3d5a7d9518eb78bf4c2e1c9078bc
DIST arduino-cli-1.0.2.tar.gz 10047473 BLAKE2B 0f46909b91e222fe47726a2595e5969aab82125225f4f81c79bed34e7fb3e1d15341b450ad142174d794919be30a3179a83fa651639fef90f4aa3122110d23d9 SHA512 704fd6ebdea2c9e4a28db2cc48192b104db9dc797785f33cb9c8432900ea9cb7dfef91cf31803bb57433e8ce14497adc3c58c36218e05b884f89224c2dea8958
DIST arduino-cli-1.0.3-vendor.tar.xz 3089868 BLAKE2B acbb9859c38df2ea9860d665af2d0a907b2f4c6d525c5f649f68a8524a23780558885bc0c015f0a4c05b2a50d5d75513f7a616f28f9271773b22e2cfb05209c7 SHA512 5b2efbc0ec5cd70074118a30eeea936f3d47a589f966f2c18e6dace6f55654283291ae26eae80ae8d5b501942608078339a327774409ba52b275c700ffb7e80e
DIST arduino-cli-1.0.3.tar.gz 10047511 BLAKE2B 6555521fc7de557a96287ac3b97df724f9f84924860bcae05a07272e78b55458bc2fdbc0f0686bf6a6a242e8355e55ddc30a9f1158c5d6519ed5f27255db9fcb SHA512 3763bda2a187a8b2f48275c27f1c9e21984744cc8758dcf1b37acc1f2a51dca3f48e5049573e564bb36770bce5e0e7d26e5976e1c89c291ca34caf063e7bfe11
DIST arduino-cli-1.0.4-vendor.tar.xz 3090184 BLAKE2B 31252bdea3ecffb1e7ea82274b93707663e68c72758b4ee6f933ac2f58436cff6957fac67949dd3938d03ccc7437cf455ea7699142755d64fc3f0700d331ae23 SHA512 12aed3b4006ee9f96fa94cd1788aaa49995e4a66ea46814df9e37dfefe1a326233d18bd6ce4da7d564deb742c08db94fb833dc8f4111bdbeed191d7aa32b0491
DIST arduino-cli-1.0.4.tar.gz 10052105 BLAKE2B bbf1a3b8cdee533cd82d5f2019b0200e6c2386e7839abb857f323367d95f993d8d5c11a10e331afa37ee912b615d16de1c48718e3f36368f8ef70e9acd915618 SHA512 a7029ff6a623a60b791943c26ac7bf90bf95a8d4e1ef2b6091339f47fa52683649e852fc206606eb324bf4fd617e5bba3f0cc8901d5cf82ebd907e7e7b9cbcc2

0
dev-embedded/arduino-cli/arduino-cli-1.0.2.ebuild → dev-embedded/arduino-cli/arduino-cli-1.0.4.ebuild
View File

9
dev-python/injector/injector-0.21.0-r1.ebuild
View File

@@ -1,7 +1,7 @@
# Copyright 1999-2022 Gentoo Authors
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
EAPI=8
DISTUTILS_USE_PEP517=setuptools
PYTHON_COMPAT=( python3_{9..12} )
@@ -21,6 +21,11 @@ KEYWORDS="~amd64 ~x86 ~x86-linux"
distutils_enable_sphinx docs
distutils_enable_tests pytest
python_test() {
# bug 928158
epytest -o addopts=
}
python_install_all() {
distutils-r1_python_install_all
}

1
dev-util/insomnia-bin/Manifest
View File

@@ -1,2 +1 @@
DIST Insomnia.Core-2020.5.2.deb 68621834 BLAKE2B fd74af79132c85db1815e1fc2176c8f45d9349fbbbb2cf99304b2884212df8b1db6c5d0ce57d9e33b6efd01d1dd0e9445c8fee035c90c8a980170a8fdacb0772 SHA512 0b770c5ebc9ee3d8153932c1729dbd51aa781683ffc54f4b73a74dde7b8f3f808f68001f2c3d221ab26eccba6582588179ad0ab512a06d33b0f0301261d8cc56
DIST Insomnia.Core-2023.5.8.deb 89120858 BLAKE2B 94dd3e0546faf69f13b57b71cf6de737f74b33e588453c4173b3fbb6c52a04f35a482b24c9c96b91e5936183b623ff6300902041277759c2e6d0b2f3875c8a02 SHA512 5ea73e2aa5a69782a54dae02454d72a4b37a313617ce276dc9f95128341e6808ce70f02df305ff7e350896b00efbc3ec5c78816027c321bf718b41f8d36e6a1a

78
dev-util/insomnia-bin/insomnia-bin-2020.5.2.ebuild
View File

@@ -1,78 +0,0 @@
# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
MY_PN="${PN/-bin/}"
inherit desktop pax-utils unpacker xdg
DESCRIPTION="HTTP and GraphQL client for developers"
HOMEPAGE="https://insomnia.rest"
SRC_URI="https://github.com/Kong/${MY_PN}/releases/download/core@${PV}/Insomnia.Core-${PV}.deb"
S="${WORKDIR}"
LICENSE="MIT"
SLOT="0"
KEYWORDS="~amd64"
IUSE="ayatana"
RDEPEND="
app-accessibility/at-spi2-atk:2
dev-libs/atk:0
dev-libs/expat:0
dev-libs/glib:2
dev-libs/nspr:0
dev-libs/nss:0
media-libs/alsa-lib:0
media-libs/fontconfig:1.0
net-print/cups:0
sys-apps/dbus:0
x11-libs/cairo:0
x11-libs/gdk-pixbuf:2
x11-libs/gtk+:3
x11-libs/libX11:0
x11-libs/libxcb:0
x11-libs/libXcomposite:0
x11-libs/libXcursor:0
x11-libs/libXdamage:0
x11-libs/libXext:0
x11-libs/libXfixes:0
x11-libs/libXi:0
x11-libs/libXrandr:0
x11-libs/libXrender:0
x11-libs/libXScrnSaver:0
x11-libs/libXtst:0
x11-libs/pango:0
ayatana? ( dev-libs/libappindicator:3 )
"
QA_PREBUILT="*"
src_prepare() {
default
if use ayatana ; then
sed -i '/Exec/s|=|=env XDG_CURRENT_DESKTOP=Unity |' \
usr/share/applications/insomnia.desktop \
|| die "sed failed for insomnia.desktop"
fi
}
src_install() {
for size in 16x16 32x32 48x48 128x128 256x256 512x512 ; do
doicon -s "${size}" usr/share/icons/hicolor/"${size}"/apps/insomnia.png
done
dosym ../icons/hicolor/512x512/apps/insomnia.png \
/usr/share/pixmaps/insomnia.png
domenu usr/share/applications/insomnia.desktop
insinto /opt/Insomnia
doins -r opt/Insomnia/.
fperms +x /opt/Insomnia/insomnia
dosym ../Insomnia/insomnia opt/bin/insomnia
pax-mark -m "${ED}"/opt/Insomnia/insomnia
}

3
dev-util/insomnia-bin/metadata.xml
View File

@@ -8,7 +8,4 @@
<upstream>
<remote-id type="github">Kong/insomnia</remote-id>
</upstream>
<use>
<flag name="ayatana"></flag>
</use>
</pkgmetadata>

2
dev-vcs/pijul/pijul-1.0.0_beta9.ebuild
View File

@@ -457,6 +457,8 @@ IUSE="git"
DEPEND="
dev-libs/openssl:=
dev-libs/libsodium:=
app-arch/zstd
git? ( dev-libs/libgit2:= )
"
RDEPEND="${DEPEND}"

44
games-util/r2modman-bin/r2modman-bin-3.1.49.ebuild → games-util/r2modman-bin/r2modman-bin-3.1.49-r1.ebuild
View File

@@ -1,4 +1,4 @@
# Copyright 1999-2023 Gentoo Authors
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -28,23 +28,39 @@ SLOT="0"
KEYWORDS="~amd64 ~x86"
RDEPEND="
net-dns/c-ares
media-libs/mesa
media-video/ffmpeg[alsa]
x11-libs/gtk+[cups]
net-libs/http-parser
dev-libs/libappindicator
x11-libs/libdrm
app-accessibility/at-spi2-core:2
app-arch/snappy
dev-libs/expat
dev-libs/glib:2
dev-libs/libevent
x11-libs/libnotify
media-libs/libvpx
dev-libs/libxslt
x11-libs/libXScrnSaver
x11-libs/libxkbcommon
sys-libs/zlib[minizip]
dev-libs/nspr
dev-libs/nss
dev-libs/re2
app-arch/snappy
net-dns/c-ares
media-libs/alsa-lib
media-libs/libvpx
media-libs/mesa
media-video/ffmpeg[alsa]
net-print/cups
net-libs/http-parser
x11-libs/cairo
x11-libs/gdk-pixbuf:2
x11-libs/gtk+:3[cups]
x11-libs/libdrm
x11-libs/libnotify
x11-libs/libX11
x11-libs/libxcb
x11-libs/libXcomposite
x11-libs/libXdamage
x11-libs/libXext
x11-libs/libXfixes
x11-libs/libxkbcommon
x11-libs/libXrandr
x11-libs/libXScrnSaver
x11-libs/pango
sys-apps/dbus
sys-libs/zlib[minizip]
"
QA_PREBUILT="

1
media-libs/glad/Manifest
View File

@@ -1 +1,2 @@
DIST glad-2.0.6.tar.gz 633949 BLAKE2B d18a9ee4445a603d1f277db24bca9e21bb87f919fa366ee307dba21ffbfef7be690c3e924ab405c54a9cd8dc1d487297586020a04e04afe48779fdb39f9b81dd SHA512 ad7e0544fdd07ba7e091ed8a985deb27f05affb0a830b8132d7c03d6690b57139b25433303260e3affba7b11c0dad38358fcd4ff5b7b30e7ca193e8beed8db48
DIST glad-2.0.7.tar.gz 634044 BLAKE2B b6bb2157742d4d186f83a4bb1d97e1b62a7266970cd6fa4d80218f264df48161647cd520dbd6fbde6bfd96b81e938e724a15153d4721b2fa6f678d145c7927f0 SHA512 6aae5e36acd319913f3c313da2a552d3033f7acbfd38fd07da99e737a23eaf250091134d82eceaf106aaa26bdd9f3a95b64dea635d5a82010e4d9a0ba69fc0e1

27
media-libs/glad/glad-2.0.7.ebuild Normal file
View File

@@ -0,0 +1,27 @@
# Copyright 2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
PYTHON_COMPAT=( python3_{12..13} )
DISTUTILS_USE_PEP517="setuptools"
inherit distutils-r1
DESCRIPTION="Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator"
HOMEPAGE="https://github.com/Dav1dde/glad"
SRC_URI="https://github.com/Dav1dde/glad/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="MIT"
SLOT="0"
KEYWORDS="~amd64"
DEPEND="dev-python/jinja"
RDEPEND="${DEPEND}"
src_prepare(){
distutils-r1_src_prepare
sed -i 's@level=logging.DEBUG@level=logging.WARN@g' "glad/__main__.py" || die
sed -i 's@find_packages@find_namespace_packages@g' "setup.py" || die
}

1
media-sound/TauonMusicBox/Manifest
View File

@@ -1 +1,2 @@
DIST TauonMusicBox-7.8.0.tar.gz 1080654 BLAKE2B 6c671efc10f0e7340bb2db0ebcc59f25784a665a9a2e85ab5132a10362d9d0f7041affedc763ed5acde19c529c742e127eb1493578f9f79ca7f3b1dfd4439784 SHA512 0896e185314037e23d76776ce96b227ede8a96651958df7ca0acc0d37c431169aeb72395116d8887d37c1360c15f436f7488c751866e60fa5ba3a5082b9acef8
DIST TauonMusicBox-7.8.3.tar.gz 1085686 BLAKE2B 92014544bc45c92ca8170ae88c56eb2a767b0dff2dcd1086cb73d22a4287b6a82be7b3134a41329940ccc6080377d82b71c2d9ef891975d62756068c8a97f867 SHA512 f1679326a49c1d341ea773b5f402fa4ad00ac2c79549fc04b2959bdf2dfad045e6e88add5b9075e660016a4d94d15e43e5d5c93e6f413e727d30f5aaa8fbdc1d

126
media-sound/TauonMusicBox/TauonMusicBox-7.8.3.ebuild Normal file
View File

@@ -0,0 +1,126 @@
# Copyright 2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
PLOCALES="cs de es fr_FR hu id it ja_JP nb_NO pl pt pt_BR pt_PT ru sv tr zh_CN"
PYTHON_COMPAT=( python3_{10..12} )
DISTUTILS_USE_PEP517=setuptools
inherit cmake desktop distutils-r1 optfeature plocale xdg
DESCRIPTION="The desktop music player of today!"
HOMEPAGE="https://tauonmusicbox.rocks/"
if [[ ${PV} == *9999 ]]; then
EGIT_SUBMODULES=()
inherit git-r3
EGIT_REPO_URI="https://github.com/Taiko2k/${PN}"
else
SRC_URI="https://github.com/Taiko2k/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
KEYWORDS="~amd64"
fi
S="${WORKDIR}/Tauon-${PV}"
LICENSE="GPL-3"
SLOT="0"
PHAZOR_DEPS="
dev-libs/miniaudio
media-libs/flac
media-libs/game-music-emu
media-libs/libopenmpt
media-libs/opus
media-libs/opusfile
media-libs/libsamplerate
media-libs/libvorbis
media-sound/mpg123
media-sound/wavpack
sci-libs/kissfft[-cpu_flags_x86_sse]
"
DEPEND="
dev-python/beautifulsoup4[${PYTHON_USEDEP}]
dev-python/musicbrainzngs[${PYTHON_USEDEP}]
dev-python/natsort[${PYTHON_USEDEP}]
dev-python/pillow[${PYTHON_USEDEP}]
dev-python/PySDL2[${PYTHON_USEDEP}]
dev-python/requests[${PYTHON_USEDEP}]
dev-python/setproctitle[${PYTHON_USEDEP}]
dev-python/send2trash[${PYTHON_USEDEP}]
dev-python/unidecode[${PYTHON_USEDEP}]
media-video/ffmpeg
media-libs/mutagen[${PYTHON_USEDEP}]
media-libs/sdl2-image
${PHAZOR_DEPS}
"
RDEPEND="
${DEPEND}
dev-libs/libayatana-appindicator
media-sound/mpg123-base
x11-libs/libnotify
"
BDEPEND="sys-devel/gettext"
src_prepare() {
# Workaround. If PATCHES is used it would be applied to times and fail
eapply "${FILESDIR}/${PN}-7.8.0-phazor-fix.patch"
distutils-r1_src_prepare
cmake_src_prepare
}
src_configure() {
distutils-r1_src_configure
cmake_src_configure
}
src_compile() {
distutils-r1_src_compile
cmake_src_compile
build_locale() {
msgfmt -o "locale/${1}/LC_MESSAGES/tauon.mo" "locale/${1}/LC_MESSAGES/tauon.po" || die
}
plocale_for_each_locale build_locale
}
src_test() {
distutils-r1_src_test
cmake_src_test
}
python_install() {
newbin tauon.py tauon
dolib.so "${WORKDIR}/Tauon-${PV}_build/libphazor.so"
install_locale() {
insinto "/usr/share/locale/${1}/LC_MESSAGES"
doins "locale/${1}/LC_MESSAGES/tauon.mo"
}
plocale_for_each_locale install_locale
insinto "/usr/share/${PN}"
doins -r assets theme templates
doins input.txt
sed -i 's/\/opt\/tauon-music-box\/tauonmb.sh/tauon/g' extra/tauonmb.desktop || die
domenu extra/tauonmb.desktop
doicon -s scalable extra/tauonmb.svg
distutils-r1_python_install
}
pkg_postinst() {
optfeature "last fm support" dev-python/pylast
optfeature "PLEX support" dev-python/plexapi
xdg_pkg_postinst
}

2
media-sound/furnace/Manifest
View File

@@ -1,4 +1,6 @@
DIST furnace-0.6-adpcm-ef7a217.tar.gz 5497 BLAKE2B 94c2cb035f57a47b8232a4c30887fd86c405218a36ab6d68b817e1237328c5c23e82514822cb9a3e07cd9bbf72e2f1f3eb109b0ac3a4eec9f4668bd1521b7c11 SHA512 40b6f042a56532681e731da8d63c28abd3d824ce660060bc7e296ff9d1ad994d358189fc441458a86eb1506bce47f8364b09ebe1a2d475d308345058b7f4bfb0
DIST furnace-0.6.5-adpcm-ef7a217.tar.gz 5497 BLAKE2B 94c2cb035f57a47b8232a4c30887fd86c405218a36ab6d68b817e1237328c5c23e82514822cb9a3e07cd9bbf72e2f1f3eb109b0ac3a4eec9f4668bd1521b7c11 SHA512 40b6f042a56532681e731da8d63c28abd3d824ce660060bc7e296ff9d1ad994d358189fc441458a86eb1506bce47f8364b09ebe1a2d475d308345058b7f4bfb0
DIST furnace-0.6.5.tar.gz 54072335 BLAKE2B 005a8ed9fef006ea80896f29c283d0d8a3962a826ca99ec7ffe28a001db8a868bea787277818babec455e9b0bd0e67c0f9a7d4f5d68c8e4748ecfde040c74a28 SHA512 58dfa3ea32fda3bd1cb6f34486efd30f780367686d82399f8a7b9a89a6cf430f50a4063ef6c71a514ae1a5be4598c359f516e4b8fee86d8e030ac1a0307cd1bc
DIST furnace-0.6.7-adpcm-ef7a217.tar.gz 5497 BLAKE2B 94c2cb035f57a47b8232a4c30887fd86c405218a36ab6d68b817e1237328c5c23e82514822cb9a3e07cd9bbf72e2f1f3eb109b0ac3a4eec9f4668bd1521b7c11 SHA512 40b6f042a56532681e731da8d63c28abd3d824ce660060bc7e296ff9d1ad994d358189fc441458a86eb1506bce47f8364b09ebe1a2d475d308345058b7f4bfb0
DIST furnace-0.6.7.tar.gz 54718123 BLAKE2B 8aa8fae6ce2252fc4e98562378515b487a7614d7bb7229e139d5eb8a6dcaa7122fa1e5925e0923cd6f6ea943df69475814ab2578262a477832961ca6f199ea6a SHA512 8cb2dbd5d9d0933d265d5a56e474034158a719f4dc559f8028af3db789ea3dc4cb56d861bbd774751ecc951e511c19f41a6f16ec64ba408d95dae83fef2ec3d4
DIST furnace-0.6.tar.gz 44552370 BLAKE2B fd91ab161e309d6c3637fa0c70ea3100f70da98e0044ced1743b0f5416cf6fd9f4f4d307c87776c0a4cfd202ff118d814409bd69f23445443c22265c0630b1fc SHA512 e24aca8e26961c53121869aafa041bf507748e4d4886761ca4a755ad31ba98ce228114009ffb34333d6737fe4759bfa47cd733457863c2f767c01686728c3798

1
media-sound/furnace/furnace-0.6.5.ebuild → media-sound/furnace/furnace-0.6.5-r1.ebuild
View File

@@ -22,6 +22,7 @@ IUSE="jack"
RDEPEND="
dev-libs/libfmt
media-libs/alsa-lib
media-libs/freetype
media-libs/libglvnd
media-libs/libsdl2
media-libs/libsndfile

65
media-sound/furnace/furnace-0.6.7.ebuild Normal file
View File

@@ -0,0 +1,65 @@
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit cmake xdg
DESCRIPTION="a multi-system chiptune tracker compatible with DefleMask modules"
HOMEPAGE="https://github.com/tildearrow/furnace"
# when performing updates, check whether the project has switched to a new
# version of adpcm. adpcm doesn't seem to update frequently.
SRC_URI="
https://github.com/tildearrow/furnace/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz
https://github.com/superctr/adpcm/archive/ef7a217154badc3b99978ac481b268c8aab67bd8.tar.gz -> ${P}-adpcm-ef7a217.tar.gz
"
LICENSE="GPL-2+"
SLOT="0"
KEYWORDS="~amd64 ~arm64"
IUSE="jack"
RDEPEND="
dev-libs/libfmt
media-libs/alsa-lib
media-libs/freetype
media-libs/libglvnd
media-libs/libsdl2
media-libs/libsndfile
media-libs/portaudio
media-libs/rtmidi
sci-libs/fftw
sys-libs/zlib
x11-themes/hicolor-icon-theme
jack? ( virtual/jack )
"
DEPEND="${RDEPEND}"
src_prepare() {
# adpcm is a git submodule in-tree, and thus not included in the
# github-generated source bundle. We move it in here.
rmdir -v "${S}/extern/adpcm" || die "couldn't remove existing adpcm stub directory"
mv -v "${WORKDIR}/adpcm-"* "${S}/extern/adpcm" || die "failed to move adpcm directory into place"
cmake_src_prepare
}
src_configure() {
local mycmakeargs=(
-DBUILD_GUI=ON
-DSHOW_OPEN_ASSETS_MENU_ENTRY=ON
-DSYSTEM_FFTW=ON
-DSYSTEM_FMT=ON
-DSYSTEM_LIBSNDFILE=ON
-DSYSTEM_PORTAUDIO=ON
-DSYSTEM_RTMIDI=ON
-DSYSTEM_SDL2=ON
-DSYSTEM_ZLIB=ON
-DWITH_DEMOS=ON
-DWITH_INSTRUMENTS=ON
-DWITH_WAVETABLES=ON
-DWITH_JACK="$(usex jack ON OFF)"
)
cmake_src_configure
}

1
media-sound/nuclear-bin/Manifest
View File

@@ -1,2 +1 @@
DIST nuclear-bin-0.6.17.tar.gz 105008012 BLAKE2B c65cefb3f736af92cd26b00f3c6684b795976f21b828aaa9fb70e2e119c5a423fcab63ef6d13e9e131bb7e082ec2764d3062de9ca0cd72168ab289bad5a28018 SHA512 cdf557559540e808a4fea38265318e9dfd7c5c58a2e5665de57f95daff650698acc688080e7a7e67285a492020fa8f17d84e2c67fb6b36f913196d9f284386e1
DIST nuclear-bin-0.6.30.tar.gz 113904900 BLAKE2B 8d35954e028b907a21077b28538dd96f26433a07f335caf4dc402f6bd684a88933e33c6f8ba4abd58845a3b2a754fb3d17a2183163364e87c6741417c0b06e84 SHA512 25a9c1466213385d913b1a5cee50b76477549661cbae02445e0418b3a754d74749f82ffe70699be47f562774f354a299ccffb97ca0865b9e75964d58143e34b4

89
media-sound/nuclear-bin/nuclear-bin-0.6.17.ebuild
View File

@@ -1,89 +0,0 @@
# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit desktop xdg
MY_P="nuclear-v${PV}"
DESCRIPTION="Nuclear is a streaming program that pulls content from free sources on internet"
HOMEPAGE="https://nuclear.js.org https://github.com/nukeop/nuclear"
SRC_URI="https://github.com/nukeop/nuclear/releases/download/v${PV}/${MY_P}.tar.gz -> ${P}.tar.gz"
S="${WORKDIR}/${MY_P}"
LICENSE="AGPL-3"
SLOT="0"
KEYWORDS="~amd64"
DEPEND="
app-accessibility/at-spi2-atk
app-accessibility/at-spi2-core
dev-libs/atk
dev-libs/libappindicator
dev-libs/nss
dev-db/sqlite
media-libs/alsa-lib
net-print/cups
media-libs/mesa
x11-libs/gdk-pixbuf
x11-libs/gtk+
x11-libs/libdrm
x11-libs/libnotify
x11-libs/libXcomposite
x11-libs/libXdamage
x11-libs/libXfixes
x11-libs/libxkbcommon
x11-libs/libXrandr
x11-libs/libxshmfence
x11-libs/libXtst
x11-libs/pango
"
QA_PREBUILT="
opt/nuclear-bin/nuclear
opt/nuclear-bin/chrome-sandbox
opt/nuclear-bin/libffmpeg.so
opt/nuclear-bin/libvk_swiftshader.so
opt/nuclear-bin/libvulkan.so.1
opt/nuclear-bin/libEGL.so
opt/nuclear-bin/libGLESv2.so
opt/nuclear-bin/libVkICD_mock_icd.so
opt/nuclear-bin/resources/bin/fpcalc
opt/nuclear-bin/swiftshader/libEGL.so
opt/nuclear-bin/swiftshader/libGLESv2.so
opt/nuclear-bin/swiftshader/libvk_swiftshader.so
"
QA_PRESTRIPPED="
opt/nuclear-bin/resources/bin/fpcalc
"
src_install(){
insinto /opt/"${PN}"
doins -r "${S}"/*
dosym -r /opt/"${PN}"/nuclear "${EPREFIX}"/usr/bin/nuclear
fperms +x /opt/"${PN}"/nuclear
fperms +x /opt/"${PN}"/chrome-sandbox
fperms +x /opt/"${PN}"/resources/bin/fpcalc
make_desktop_entry "/opt/${PN}/nuclear %U" "Nuclear" "nuclear" \
"Audio;Music;Player;AudioVideo;" \
"GenericName=Nuclear-bin\nStartupNotify=true\nStartupWMClass=nuclear"
cd "${S}"/resources/media/ || die
mv icon.icns nuclear.icns || die
doicon nuclear.icns
cd presskit/icons/color || die
for i in {16,24,32,48,64,96,128,256,512}; do
mv "${i}".png nuclear-"${i}".png || die
doicon -s "${i}" nuclear-"${i}".png
done
cd ../scalable || die
mv nuclear-icon.svg nuclear.svg || die
doicon nuclear.svg
}

2
net-dialup/tio/Manifest
View File

@@ -1 +1 @@
DIST tio-3.6.tar.xz 3458048 BLAKE2B 52152a133b497e7f39f0bb48348ef869ad5fa2135f323796ef16f0caf7c8b3bb5dc38dde7b40c858bd27a1e3addbb97911eef219be5f8b9885638389cd45f9e2 SHA512 daa2f5e8066d22a6bcdda9c0c36b843fdbc8fbcf48eb7e64caa3cb2faabf02634964de5aa5ca5337ed817fe3f51550a677e8773e67b0bf52b0b9012b1e98e13a
DIST tio-3.7.tar.xz 3458484 BLAKE2B 9cfc4972a58cb6bb5cc70ca26241baba14006834964ee1ac5649c1252cbb214798e6e5d425dc8b9dada9a2d736ebe174841522e012e2eb96f78fc0aec55b8588 SHA512 da4f410ced28efaccaa8fd6a28514831421bd252b91690c8669844b964cdc5039d60b2c7f9dde6468a8475cd12db9f8a49bdfe0c1301f3515d04f75d78a09b76

0
net-dialup/tio/tio-3.6.ebuild → net-dialup/tio/tio-3.7.ebuild
View File

6
profiles/package.mask
View File

@@ -18,6 +18,12 @@
# New entries go on top.
# Takuya Wakazono <pastalian46@gmail.com> (2024-09-06)
# Depends on dev-libs/libappindicator and is unmaintained in guru.
# Removal on 2024-10-06.
media-sound/hushboard
net-im/guilded-bin
# Takuya Wakazono <pastalian46@gmail.com> (2024-08-31)
# Significantly outdated and unmaintained in guru since 2022.
# Removal on 2024-09-30.

2
sci-mathematics/frama-c-aorai/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-callgraph/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-constant-folding/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-dive/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-e-acsl/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-eva/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-from/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-impact/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-inout/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-instantiate/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-loopanalysis/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-metrics/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-nonterm/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-obfuscator/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-occurrence/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-pdg/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-postdominators/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-printapi/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-qed/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-report/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-rtegen/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-scope/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-security-slicing/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-server/Manifest
View File

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

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

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

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

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

2
sci-mathematics/frama-c-slicing/Manifest
View File

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

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

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

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

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

Some files were not shown because too many files have changed in this diff Show More