diff --git a/app-crypt/gnome-encfs-manager/gnome-encfs-manager-1.9-r1.ebuild b/app-crypt/gnome-encfs-manager/gnome-encfs-manager-1.9-r1.ebuild deleted file mode 100644 index 9b7a17e611..0000000000 --- a/app-crypt/gnome-encfs-manager/gnome-encfs-manager-1.9-r1.ebuild +++ /dev/null @@ -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 -} diff --git a/app-crypt/gnome-encfs-manager/gnome-encfs-manager-1.9-r2.ebuild b/app-crypt/gnome-encfs-manager/gnome-encfs-manager-1.9-r2.ebuild index 03650089eb..28d8ff4433 100644 --- a/app-crypt/gnome-encfs-manager/gnome-encfs-manager-1.9-r2.ebuild +++ b/app-crypt/gnome-encfs-manager/gnome-encfs-manager-1.9-r2.ebuild @@ -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 } diff --git a/app-crypt/gnome-encfs-manager/metadata.xml b/app-crypt/gnome-encfs-manager/metadata.xml index 068db1b431..a68e047572 100644 --- a/app-crypt/gnome-encfs-manager/metadata.xml +++ b/app-crypt/gnome-encfs-manager/metadata.xml @@ -4,9 +4,6 @@ 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. - - Build in support for notifications using the libindicate or libappindicator plugin - pascal.jaeger@leimstift.de Pascal Jäger diff --git a/app-text/komikku/Manifest b/app-text/komikku/Manifest index f9e00df723..878e2cf6ca 100644 --- a/app-text/komikku/Manifest +++ b/app-text/komikku/Manifest @@ -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 diff --git a/app-text/komikku/komikku-1.53.0.ebuild b/app-text/komikku/komikku-1.57.0.ebuild similarity index 100% rename from app-text/komikku/komikku-1.53.0.ebuild rename to app-text/komikku/komikku-1.57.0.ebuild diff --git a/dev-embedded/arduino-cli/Manifest b/dev-embedded/arduino-cli/Manifest index c8b44fb1b5..ec5b082aec 100644 --- a/dev-embedded/arduino-cli/Manifest +++ b/dev-embedded/arduino-cli/Manifest @@ -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 diff --git a/dev-embedded/arduino-cli/arduino-cli-1.0.2.ebuild b/dev-embedded/arduino-cli/arduino-cli-1.0.4.ebuild similarity index 100% rename from dev-embedded/arduino-cli/arduino-cli-1.0.2.ebuild rename to dev-embedded/arduino-cli/arduino-cli-1.0.4.ebuild diff --git a/dev-python/injector/injector-0.21.0-r1.ebuild b/dev-python/injector/injector-0.21.0-r1.ebuild index 7f9655b427..317b1fdd56 100644 --- a/dev-python/injector/injector-0.21.0-r1.ebuild +++ b/dev-python/injector/injector-0.21.0-r1.ebuild @@ -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 } diff --git a/dev-util/insomnia-bin/Manifest b/dev-util/insomnia-bin/Manifest index 8e28c12237..0b1a67e292 100644 --- a/dev-util/insomnia-bin/Manifest +++ b/dev-util/insomnia-bin/Manifest @@ -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 diff --git a/dev-util/insomnia-bin/insomnia-bin-2020.5.2.ebuild b/dev-util/insomnia-bin/insomnia-bin-2020.5.2.ebuild deleted file mode 100644 index 5c3591b94a..0000000000 --- a/dev-util/insomnia-bin/insomnia-bin-2020.5.2.ebuild +++ /dev/null @@ -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 -} diff --git a/dev-util/insomnia-bin/metadata.xml b/dev-util/insomnia-bin/metadata.xml index 949dc32df7..4e1f40cef0 100644 --- a/dev-util/insomnia-bin/metadata.xml +++ b/dev-util/insomnia-bin/metadata.xml @@ -8,7 +8,4 @@ Kong/insomnia - - - diff --git a/dev-vcs/pijul/pijul-1.0.0_beta9.ebuild b/dev-vcs/pijul/pijul-1.0.0_beta9.ebuild index b24a4bd3fc..9c34d5953c 100644 --- a/dev-vcs/pijul/pijul-1.0.0_beta9.ebuild +++ b/dev-vcs/pijul/pijul-1.0.0_beta9.ebuild @@ -457,6 +457,8 @@ IUSE="git" DEPEND=" dev-libs/openssl:= + dev-libs/libsodium:= + app-arch/zstd git? ( dev-libs/libgit2:= ) " RDEPEND="${DEPEND}" diff --git a/games-util/r2modman-bin/r2modman-bin-3.1.49.ebuild b/games-util/r2modman-bin/r2modman-bin-3.1.49-r1.ebuild similarity index 85% rename from games-util/r2modman-bin/r2modman-bin-3.1.49.ebuild rename to games-util/r2modman-bin/r2modman-bin-3.1.49-r1.ebuild index 32fe3ee91b..85328dd9c9 100644 --- a/games-util/r2modman-bin/r2modman-bin-3.1.49.ebuild +++ b/games-util/r2modman-bin/r2modman-bin-3.1.49-r1.ebuild @@ -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=" diff --git a/media-libs/glad/Manifest b/media-libs/glad/Manifest index 0ab7c62fc7..91fb0982a9 100644 --- a/media-libs/glad/Manifest +++ b/media-libs/glad/Manifest @@ -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 diff --git a/media-libs/glad/glad-2.0.7.ebuild b/media-libs/glad/glad-2.0.7.ebuild new file mode 100644 index 0000000000..d9c12b69c3 --- /dev/null +++ b/media-libs/glad/glad-2.0.7.ebuild @@ -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 +} diff --git a/media-sound/TauonMusicBox/Manifest b/media-sound/TauonMusicBox/Manifest index b1a63e2920..4cdb6d070f 100644 --- a/media-sound/TauonMusicBox/Manifest +++ b/media-sound/TauonMusicBox/Manifest @@ -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 diff --git a/media-sound/TauonMusicBox/TauonMusicBox-7.8.3.ebuild b/media-sound/TauonMusicBox/TauonMusicBox-7.8.3.ebuild new file mode 100644 index 0000000000..817a5d6f39 --- /dev/null +++ b/media-sound/TauonMusicBox/TauonMusicBox-7.8.3.ebuild @@ -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 +} diff --git a/media-sound/furnace/Manifest b/media-sound/furnace/Manifest index de9167f9ce..808f669e08 100644 --- a/media-sound/furnace/Manifest +++ b/media-sound/furnace/Manifest @@ -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 diff --git a/media-sound/furnace/furnace-0.6.5.ebuild b/media-sound/furnace/furnace-0.6.5-r1.ebuild similarity index 98% rename from media-sound/furnace/furnace-0.6.5.ebuild rename to media-sound/furnace/furnace-0.6.5-r1.ebuild index 2293b55453..48bfa3da60 100644 --- a/media-sound/furnace/furnace-0.6.5.ebuild +++ b/media-sound/furnace/furnace-0.6.5-r1.ebuild @@ -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 diff --git a/media-sound/furnace/furnace-0.6.7.ebuild b/media-sound/furnace/furnace-0.6.7.ebuild new file mode 100644 index 0000000000..48bfa3da60 --- /dev/null +++ b/media-sound/furnace/furnace-0.6.7.ebuild @@ -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 +} diff --git a/media-sound/nuclear-bin/Manifest b/media-sound/nuclear-bin/Manifest index 709876996a..679676317d 100644 --- a/media-sound/nuclear-bin/Manifest +++ b/media-sound/nuclear-bin/Manifest @@ -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 diff --git a/media-sound/nuclear-bin/nuclear-bin-0.6.17.ebuild b/media-sound/nuclear-bin/nuclear-bin-0.6.17.ebuild deleted file mode 100644 index 9145a485da..0000000000 --- a/media-sound/nuclear-bin/nuclear-bin-0.6.17.ebuild +++ /dev/null @@ -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 -} diff --git a/net-dialup/tio/Manifest b/net-dialup/tio/Manifest index 750bd93165..2be8629941 100644 --- a/net-dialup/tio/Manifest +++ b/net-dialup/tio/Manifest @@ -1 +1 @@ -DIST tio-3.6.tar.xz 3458048 BLAKE2B 52152a133b497e7f39f0bb48348ef869ad5fa2135f323796ef16f0caf7c8b3bb5dc38dde7b40c858bd27a1e3addbb97911eef219be5f8b9885638389cd45f9e2 SHA512 daa2f5e8066d22a6bcdda9c0c36b843fdbc8fbcf48eb7e64caa3cb2faabf02634964de5aa5ca5337ed817fe3f51550a677e8773e67b0bf52b0b9012b1e98e13a +DIST tio-3.7.tar.xz 3458484 BLAKE2B 9cfc4972a58cb6bb5cc70ca26241baba14006834964ee1ac5649c1252cbb214798e6e5d425dc8b9dada9a2d736ebe174841522e012e2eb96f78fc0aec55b8588 SHA512 da4f410ced28efaccaa8fd6a28514831421bd252b91690c8669844b964cdc5039d60b2c7f9dde6468a8475cd12db9f8a49bdfe0c1301f3515d04f75d78a09b76 diff --git a/net-dialup/tio/tio-3.6.ebuild b/net-dialup/tio/tio-3.7.ebuild similarity index 100% rename from net-dialup/tio/tio-3.6.ebuild rename to net-dialup/tio/tio-3.7.ebuild diff --git a/profiles/package.mask b/profiles/package.mask index 52aac98699..f39cf2abe6 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -18,6 +18,12 @@ # New entries go on top. +# Takuya Wakazono (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 (2024-08-31) # Significantly outdated and unmaintained in guru since 2022. # Removal on 2024-09-30. diff --git a/sci-mathematics/frama-c-aorai/Manifest b/sci-mathematics/frama-c-aorai/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-aorai/Manifest +++ b/sci-mathematics/frama-c-aorai/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-aorai/frama-c-aorai-23.1.ebuild b/sci-mathematics/frama-c-aorai/frama-c-aorai-23.1.ebuild deleted file mode 100644 index bcc6251c76..0000000000 --- a/sci-mathematics/frama-c-aorai/frama-c-aorai-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-aorai/frama-c-aorai-24.0.ebuild b/sci-mathematics/frama-c-aorai/frama-c-aorai-24.0.ebuild deleted file mode 100644 index 106587043e..0000000000 --- a/sci-mathematics/frama-c-aorai/frama-c-aorai-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-callgraph/Manifest b/sci-mathematics/frama-c-callgraph/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-callgraph/Manifest +++ b/sci-mathematics/frama-c-callgraph/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild b/sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild deleted file mode 100644 index 34d6e414ab..0000000000 --- a/sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild b/sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild deleted file mode 100644 index 715aec3e01..0000000000 --- a/sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-constant-folding/Manifest b/sci-mathematics/frama-c-constant-folding/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-constant-folding/Manifest +++ b/sci-mathematics/frama-c-constant-folding/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-23.1.ebuild b/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-23.1.ebuild deleted file mode 100644 index fac225c184..0000000000 --- a/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild b/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild deleted file mode 100644 index 5f3078343e..0000000000 --- a/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-dive/Manifest b/sci-mathematics/frama-c-dive/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-dive/Manifest +++ b/sci-mathematics/frama-c-dive/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-dive/frama-c-dive-23.1.ebuild b/sci-mathematics/frama-c-dive/frama-c-dive-23.1.ebuild deleted file mode 100644 index 6d6a090d40..0000000000 --- a/sci-mathematics/frama-c-dive/frama-c-dive-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-dive/frama-c-dive-24.0.ebuild b/sci-mathematics/frama-c-dive/frama-c-dive-24.0.ebuild deleted file mode 100644 index 019f572f5f..0000000000 --- a/sci-mathematics/frama-c-dive/frama-c-dive-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-e-acsl/Manifest b/sci-mathematics/frama-c-e-acsl/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-e-acsl/Manifest +++ b/sci-mathematics/frama-c-e-acsl/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-23.1.ebuild b/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-23.1.ebuild deleted file mode 100644 index a54789d18f..0000000000 --- a/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild b/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild deleted file mode 100644 index 40bdfacc38..0000000000 --- a/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-eva/Manifest b/sci-mathematics/frama-c-eva/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-eva/Manifest +++ b/sci-mathematics/frama-c-eva/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild b/sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild deleted file mode 100644 index 085313df53..0000000000 --- a/sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild b/sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild deleted file mode 100644 index 0769c4f194..0000000000 --- a/sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-from/Manifest b/sci-mathematics/frama-c-from/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-from/Manifest +++ b/sci-mathematics/frama-c-from/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild b/sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild deleted file mode 100644 index 7456d1285c..0000000000 --- a/sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild b/sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild deleted file mode 100644 index 4596bf8d58..0000000000 --- a/sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-impact/Manifest b/sci-mathematics/frama-c-impact/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-impact/Manifest +++ b/sci-mathematics/frama-c-impact/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild b/sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild deleted file mode 100644 index 9084eac33d..0000000000 --- a/sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild b/sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild deleted file mode 100644 index d68a5285c4..0000000000 --- a/sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-inout/Manifest b/sci-mathematics/frama-c-inout/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-inout/Manifest +++ b/sci-mathematics/frama-c-inout/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-inout/frama-c-inout-23.1.ebuild b/sci-mathematics/frama-c-inout/frama-c-inout-23.1.ebuild deleted file mode 100644 index e556dddc54..0000000000 --- a/sci-mathematics/frama-c-inout/frama-c-inout-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild b/sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild deleted file mode 100644 index 297c2c4fc5..0000000000 --- a/sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-instantiate/Manifest b/sci-mathematics/frama-c-instantiate/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-instantiate/Manifest +++ b/sci-mathematics/frama-c-instantiate/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild b/sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild deleted file mode 100644 index 644848948a..0000000000 --- a/sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-instantiate/frama-c-instantiate-24.0.ebuild b/sci-mathematics/frama-c-instantiate/frama-c-instantiate-24.0.ebuild deleted file mode 100644 index 4353717f7b..0000000000 --- a/sci-mathematics/frama-c-instantiate/frama-c-instantiate-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-loopanalysis/Manifest b/sci-mathematics/frama-c-loopanalysis/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-loopanalysis/Manifest +++ b/sci-mathematics/frama-c-loopanalysis/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-23.1.ebuild b/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-23.1.ebuild deleted file mode 100644 index b26f689102..0000000000 --- a/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-24.0.ebuild b/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-24.0.ebuild deleted file mode 100644 index 5bfe2219ae..0000000000 --- a/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-metrics/Manifest b/sci-mathematics/frama-c-metrics/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-metrics/Manifest +++ b/sci-mathematics/frama-c-metrics/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild b/sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild deleted file mode 100644 index feacafd828..0000000000 --- a/sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild b/sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild deleted file mode 100644 index ed40262089..0000000000 --- a/sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-nonterm/Manifest b/sci-mathematics/frama-c-nonterm/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-nonterm/Manifest +++ b/sci-mathematics/frama-c-nonterm/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-nonterm/frama-c-nonterm-23.1.ebuild b/sci-mathematics/frama-c-nonterm/frama-c-nonterm-23.1.ebuild deleted file mode 100644 index b7669ada9e..0000000000 --- a/sci-mathematics/frama-c-nonterm/frama-c-nonterm-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-nonterm/frama-c-nonterm-24.0.ebuild b/sci-mathematics/frama-c-nonterm/frama-c-nonterm-24.0.ebuild deleted file mode 100644 index d0a9385665..0000000000 --- a/sci-mathematics/frama-c-nonterm/frama-c-nonterm-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-obfuscator/Manifest b/sci-mathematics/frama-c-obfuscator/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-obfuscator/Manifest +++ b/sci-mathematics/frama-c-obfuscator/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-23.1.ebuild b/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-23.1.ebuild deleted file mode 100644 index 407ddd723c..0000000000 --- a/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-24.0.ebuild b/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-24.0.ebuild deleted file mode 100644 index 9f2a8eca3a..0000000000 --- a/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-occurrence/Manifest b/sci-mathematics/frama-c-occurrence/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-occurrence/Manifest +++ b/sci-mathematics/frama-c-occurrence/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild b/sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild deleted file mode 100644 index 460b24533a..0000000000 --- a/sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild b/sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild deleted file mode 100644 index c3efc55f6b..0000000000 --- a/sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-pdg/Manifest b/sci-mathematics/frama-c-pdg/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-pdg/Manifest +++ b/sci-mathematics/frama-c-pdg/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-pdg/frama-c-pdg-23.1.ebuild b/sci-mathematics/frama-c-pdg/frama-c-pdg-23.1.ebuild deleted file mode 100644 index b51cc70687..0000000000 --- a/sci-mathematics/frama-c-pdg/frama-c-pdg-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-pdg/frama-c-pdg-24.0.ebuild b/sci-mathematics/frama-c-pdg/frama-c-pdg-24.0.ebuild deleted file mode 100644 index 0148f9f92a..0000000000 --- a/sci-mathematics/frama-c-pdg/frama-c-pdg-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-postdominators/Manifest b/sci-mathematics/frama-c-postdominators/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-postdominators/Manifest +++ b/sci-mathematics/frama-c-postdominators/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-postdominators/frama-c-postdominators-23.1.ebuild b/sci-mathematics/frama-c-postdominators/frama-c-postdominators-23.1.ebuild deleted file mode 100644 index cb3f642f5a..0000000000 --- a/sci-mathematics/frama-c-postdominators/frama-c-postdominators-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-postdominators/frama-c-postdominators-24.0.ebuild b/sci-mathematics/frama-c-postdominators/frama-c-postdominators-24.0.ebuild deleted file mode 100644 index 51a06371ce..0000000000 --- a/sci-mathematics/frama-c-postdominators/frama-c-postdominators-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-printapi/Manifest b/sci-mathematics/frama-c-printapi/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-printapi/Manifest +++ b/sci-mathematics/frama-c-printapi/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-printapi/frama-c-printapi-23.1.ebuild b/sci-mathematics/frama-c-printapi/frama-c-printapi-23.1.ebuild deleted file mode 100644 index 3fb2e0d70f..0000000000 --- a/sci-mathematics/frama-c-printapi/frama-c-printapi-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-printapi/frama-c-printapi-24.0.ebuild b/sci-mathematics/frama-c-printapi/frama-c-printapi-24.0.ebuild deleted file mode 100644 index 742f2e3319..0000000000 --- a/sci-mathematics/frama-c-printapi/frama-c-printapi-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-qed/Manifest b/sci-mathematics/frama-c-qed/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-qed/Manifest +++ b/sci-mathematics/frama-c-qed/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-qed/frama-c-qed-23.1.ebuild b/sci-mathematics/frama-c-qed/frama-c-qed-23.1.ebuild deleted file mode 100644 index bc2991f8ce..0000000000 --- a/sci-mathematics/frama-c-qed/frama-c-qed-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild b/sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild deleted file mode 100644 index 95a4be160a..0000000000 --- a/sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-report/Manifest b/sci-mathematics/frama-c-report/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-report/Manifest +++ b/sci-mathematics/frama-c-report/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-report/frama-c-report-23.1.ebuild b/sci-mathematics/frama-c-report/frama-c-report-23.1.ebuild deleted file mode 100644 index 71c4b9bbcf..0000000000 --- a/sci-mathematics/frama-c-report/frama-c-report-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-report/frama-c-report-24.0.ebuild b/sci-mathematics/frama-c-report/frama-c-report-24.0.ebuild deleted file mode 100644 index 8b539f8bc5..0000000000 --- a/sci-mathematics/frama-c-report/frama-c-report-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-rtegen/Manifest b/sci-mathematics/frama-c-rtegen/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-rtegen/Manifest +++ b/sci-mathematics/frama-c-rtegen/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-rtegen/frama-c-rtegen-23.1.ebuild b/sci-mathematics/frama-c-rtegen/frama-c-rtegen-23.1.ebuild deleted file mode 100644 index fec53e9773..0000000000 --- a/sci-mathematics/frama-c-rtegen/frama-c-rtegen-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-rtegen/frama-c-rtegen-24.0.ebuild b/sci-mathematics/frama-c-rtegen/frama-c-rtegen-24.0.ebuild deleted file mode 100644 index fa7af032c9..0000000000 --- a/sci-mathematics/frama-c-rtegen/frama-c-rtegen-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-scope/Manifest b/sci-mathematics/frama-c-scope/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-scope/Manifest +++ b/sci-mathematics/frama-c-scope/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-scope/frama-c-scope-23.1.ebuild b/sci-mathematics/frama-c-scope/frama-c-scope-23.1.ebuild deleted file mode 100644 index e2c293d0fd..0000000000 --- a/sci-mathematics/frama-c-scope/frama-c-scope-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild b/sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild deleted file mode 100644 index 671d47bc5a..0000000000 --- a/sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-security-slicing/Manifest b/sci-mathematics/frama-c-security-slicing/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-security-slicing/Manifest +++ b/sci-mathematics/frama-c-security-slicing/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-23.1.ebuild b/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-23.1.ebuild deleted file mode 100644 index 456544fb24..0000000000 --- a/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-24.0.ebuild b/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-24.0.ebuild deleted file mode 100644 index 9d999880cd..0000000000 --- a/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-server/Manifest b/sci-mathematics/frama-c-server/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-server/Manifest +++ b/sci-mathematics/frama-c-server/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-server/frama-c-server-23.1.ebuild b/sci-mathematics/frama-c-server/frama-c-server-23.1.ebuild deleted file mode 100644 index b8243bf1be..0000000000 --- a/sci-mathematics/frama-c-server/frama-c-server-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-server/frama-c-server-24.0.ebuild b/sci-mathematics/frama-c-server/frama-c-server-24.0.ebuild deleted file mode 100644 index 77bed37385..0000000000 --- a/sci-mathematics/frama-c-server/frama-c-server-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-slicing/Manifest b/sci-mathematics/frama-c-slicing/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-slicing/Manifest +++ b/sci-mathematics/frama-c-slicing/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-slicing/frama-c-slicing-23.1.ebuild b/sci-mathematics/frama-c-slicing/frama-c-slicing-23.1.ebuild deleted file mode 100644 index d9e618c25d..0000000000 --- a/sci-mathematics/frama-c-slicing/frama-c-slicing-23.1.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild b/sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild deleted file mode 100644 index efbc708d0f..0000000000 --- a/sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild +++ /dev/null @@ -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 -} diff --git a/sci-mathematics/frama-c-sparecode/Manifest b/sci-mathematics/frama-c-sparecode/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-sparecode/Manifest +++ b/sci-mathematics/frama-c-sparecode/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-sparecode/frama-c-sparecode-23.1.ebuild b/sci-mathematics/frama-c-sparecode/frama-c-sparecode-23.1.ebuild deleted file mode 100644 index 0a70535f43..0000000000 --- a/sci-mathematics/frama-c-sparecode/frama-c-sparecode-23.1.ebuild +++ /dev/null @@ -1,61 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools findlib toolchain-funcs - -DESCRIPTION="Spare code plugin for frama-c" -HOMEPAGE="https://frama-c.com" -NAME="Vanadium" -SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" - -S="${WORKDIR}/frama-c-${PV}-${NAME}" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64" -IUSE="+ocamlopt" -RESTRICT="strip" - -RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] - ~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?] - ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?] - ~sci-mathematics/frama-c-users-${PV}:=[ocamlopt?]" -DEPEND="${RDEPEND}" - -src_prepare() { - mv configure.in configure.ac || die - sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die - touch config_file || die - eautoreconf - eapply_user -} - -src_configure() { - econf \ - --disable-landmarks \ - --with-no-plugin \ - --disable-gui \ - --enable-sparecode \ - --enable-users \ - --enable-callgraph \ - --enable-eva \ - --enable-server \ - --enable-pdg \ - --enable-from-analysis - printf 'include share/Makefile.config\n' > src/plugins/sparecode/Makefile || die - sed -e '/^# *Sparecode :/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/sparecode/Makefile || die - printf 'include share/Makefile.dynamic\n' >> src/plugins/sparecode/Makefile || die - export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" - export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" -} - -src_compile() { - tc-export AR - emake -f src/plugins/sparecode/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" -} - -src_install() { - emake -f src/plugins/sparecode/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install -} diff --git a/sci-mathematics/frama-c-sparecode/frama-c-sparecode-24.0.ebuild b/sci-mathematics/frama-c-sparecode/frama-c-sparecode-24.0.ebuild deleted file mode 100644 index a6e148859a..0000000000 --- a/sci-mathematics/frama-c-sparecode/frama-c-sparecode-24.0.ebuild +++ /dev/null @@ -1,61 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools findlib toolchain-funcs - -DESCRIPTION="Spare code plugin for frama-c" -HOMEPAGE="https://frama-c.com" -NAME="Chromium" -SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" - -S="${WORKDIR}/frama-c-${PV}-${NAME}" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64" -IUSE="+ocamlopt" -RESTRICT="strip" - -RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] - ~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?] - ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?] - ~sci-mathematics/frama-c-users-${PV}:=[ocamlopt?]" -DEPEND="${RDEPEND}" - -src_prepare() { - mv configure.in configure.ac || die - sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die - touch config_file || die - eautoreconf - eapply_user -} - -src_configure() { - econf \ - --disable-landmarks \ - --with-no-plugin \ - --disable-gui \ - --enable-sparecode \ - --enable-users \ - --enable-callgraph \ - --enable-eva \ - --enable-server \ - --enable-pdg \ - --enable-from-analysis - printf 'include share/Makefile.config\n' > src/plugins/sparecode/Makefile || die - sed -e '/^# *Sparecode :/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/sparecode/Makefile || die - printf 'include share/Makefile.dynamic\n' >> src/plugins/sparecode/Makefile || die - export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" - export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" -} - -src_compile() { - tc-export AR - emake -f src/plugins/sparecode/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" -} - -src_install() { - emake -f src/plugins/sparecode/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install -} diff --git a/sci-mathematics/frama-c-studia/Manifest b/sci-mathematics/frama-c-studia/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-studia/Manifest +++ b/sci-mathematics/frama-c-studia/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-studia/frama-c-studia-23.1.ebuild b/sci-mathematics/frama-c-studia/frama-c-studia-23.1.ebuild deleted file mode 100644 index 3783e4d638..0000000000 --- a/sci-mathematics/frama-c-studia/frama-c-studia-23.1.ebuild +++ /dev/null @@ -1,45 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools findlib toolchain-funcs - -DESCRIPTION="Studia plugin for frama-c" -HOMEPAGE="https://frama-c.com" -NAME="Vanadium" -SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" - -S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/studia" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64" -IUSE="gtk +ocamlopt" -RESTRICT="strip" - -RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?] - ~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]" -DEPEND="${RDEPEND}" - -src_prepare() { - export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" - export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" - export ENABLE_GUI="$(usex gtk yes no)" - eautoconf - eapply_user -} - -src_configure() { - export ENABLE_EVA=yes - econf --enable-studia -} - -src_compile() { - tc-export AR - emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" -} - -src_install() { - emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" DESTDIR="${ED}" install -} diff --git a/sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild b/sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild deleted file mode 100644 index c3ca960ec2..0000000000 --- a/sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild +++ /dev/null @@ -1,45 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools findlib toolchain-funcs - -DESCRIPTION="Studia plugin for frama-c" -HOMEPAGE="https://frama-c.com" -NAME="Chromium" -SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" - -S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/studia" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64" -IUSE="gtk +ocamlopt" -RESTRICT="strip" - -RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk=,ocamlopt?] - ~sci-mathematics/frama-c-eva-${PV}:=[gtk=,ocamlopt?]" -DEPEND="${RDEPEND}" - -src_prepare() { - export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" - export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" - export ENABLE_GUI="$(usex gtk yes no)" - eautoconf - eapply_user -} - -src_configure() { - export ENABLE_EVA=yes - econf --enable-studia -} - -src_compile() { - tc-export AR - emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" -} - -src_install() { - emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" DESTDIR="${ED}" install -} diff --git a/sci-mathematics/frama-c-users/Manifest b/sci-mathematics/frama-c-users/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-users/Manifest +++ b/sci-mathematics/frama-c-users/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-users/frama-c-users-23.1.ebuild b/sci-mathematics/frama-c-users/frama-c-users-23.1.ebuild deleted file mode 100644 index 8f3e9dacbd..0000000000 --- a/sci-mathematics/frama-c-users/frama-c-users-23.1.ebuild +++ /dev/null @@ -1,57 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools findlib toolchain-funcs - -DESCRIPTION="Users plugin for frama-c" -HOMEPAGE="https://frama-c.com" -NAME="Vanadium" -SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" - -S="${WORKDIR}/frama-c-${PV}-${NAME}" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64" -IUSE="+ocamlopt" -RESTRICT="strip" - -RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] - ~sci-mathematics/frama-c-callgraph-${PV}:=[ocamlopt?] - ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]" -DEPEND="${RDEPEND}" - -src_prepare() { - mv configure.in configure.ac || die - sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die - touch config_file || die - eautoreconf - eapply_user -} - -src_configure() { - econf \ - --disable-landmarks \ - --with-no-plugin \ - --disable-gui \ - --enable-users \ - --enable-callgraph \ - --enable-eva \ - --enable-server - printf 'include share/Makefile.config\n' > src/plugins/users/Makefile || die - sed -e '/^# *Users analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/users/Makefile || die - printf 'include share/Makefile.dynamic\n' >> src/plugins/users/Makefile || die - export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" - export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" -} - -src_compile() { - tc-export AR - emake -f src/plugins/users/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" -} - -src_install() { - emake -f src/plugins/users/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install -} diff --git a/sci-mathematics/frama-c-users/frama-c-users-24.0.ebuild b/sci-mathematics/frama-c-users/frama-c-users-24.0.ebuild deleted file mode 100644 index 89ad080754..0000000000 --- a/sci-mathematics/frama-c-users/frama-c-users-24.0.ebuild +++ /dev/null @@ -1,57 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools findlib toolchain-funcs - -DESCRIPTION="Users plugin for frama-c" -HOMEPAGE="https://frama-c.com" -NAME="Chromium" -SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" - -S="${WORKDIR}/frama-c-${PV}-${NAME}" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64" -IUSE="+ocamlopt" -RESTRICT="strip" - -RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] - ~sci-mathematics/frama-c-callgraph-${PV}:=[ocamlopt?] - ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]" -DEPEND="${RDEPEND}" - -src_prepare() { - mv configure.in configure.ac || die - sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die - touch config_file || die - eautoreconf - eapply_user -} - -src_configure() { - econf \ - --disable-landmarks \ - --with-no-plugin \ - --disable-gui \ - --enable-users \ - --enable-callgraph \ - --enable-eva \ - --enable-server - printf 'include share/Makefile.config\n' > src/plugins/users/Makefile || die - sed -e '/^# *Users analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/users/Makefile || die - printf 'include share/Makefile.dynamic\n' >> src/plugins/users/Makefile || die - export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" - export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" -} - -src_compile() { - tc-export AR - emake -f src/plugins/users/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" -} - -src_install() { - emake -f src/plugins/users/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install -} diff --git a/sci-mathematics/frama-c-variadic/Manifest b/sci-mathematics/frama-c-variadic/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c-variadic/Manifest +++ b/sci-mathematics/frama-c-variadic/Manifest @@ -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 diff --git a/sci-mathematics/frama-c-variadic/frama-c-variadic-23.1.ebuild b/sci-mathematics/frama-c-variadic/frama-c-variadic-23.1.ebuild deleted file mode 100644 index 9aff55411e..0000000000 --- a/sci-mathematics/frama-c-variadic/frama-c-variadic-23.1.ebuild +++ /dev/null @@ -1,42 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools findlib toolchain-funcs - -DESCRIPTION="Variadic function transformation plugin for frama-c" -HOMEPAGE="https://frama-c.com" -NAME="Vanadium" -SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" - -S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/variadic" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64" -IUSE="+ocamlopt" -RESTRICT="strip" - -RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]" -DEPEND="${RDEPEND}" - -src_prepare() { - export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" - export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" - eautoconf - eapply_user -} - -src_configure() { - econf --enable-variadic -} - -src_compile() { - tc-export AR - emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" -} - -src_install() { - emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install -} diff --git a/sci-mathematics/frama-c-variadic/frama-c-variadic-24.0.ebuild b/sci-mathematics/frama-c-variadic/frama-c-variadic-24.0.ebuild deleted file mode 100644 index 13f3ca0005..0000000000 --- a/sci-mathematics/frama-c-variadic/frama-c-variadic-24.0.ebuild +++ /dev/null @@ -1,42 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools findlib toolchain-funcs - -DESCRIPTION="Variadic function transformation plugin for frama-c" -HOMEPAGE="https://frama-c.com" -NAME="Chromium" -SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" - -S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/variadic" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64" -IUSE="+ocamlopt" -RESTRICT="strip" - -RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]" -DEPEND="${RDEPEND}" - -src_prepare() { - export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" - export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" - eautoconf - eapply_user -} - -src_configure() { - econf --enable-variadic -} - -src_compile() { - tc-export AR - emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" -} - -src_install() { - emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install -} diff --git a/sci-mathematics/frama-c/Manifest b/sci-mathematics/frama-c/Manifest index 5f2f4bc6e4..cf3c20d65c 100644 --- a/sci-mathematics/frama-c/Manifest +++ b/sci-mathematics/frama-c/Manifest @@ -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 diff --git a/sci-mathematics/frama-c/files/frama-c-24.0-fix-bflags.patch b/sci-mathematics/frama-c/files/frama-c-24.0-fix-bflags.patch deleted file mode 100644 index b52231fa09..0000000000 --- a/sci-mathematics/frama-c/files/frama-c-24.0-fix-bflags.patch +++ /dev/null @@ -1,12 +0,0 @@ -https://git.frama-c.com/pub/frama-c/-/issues/2593 - ---- a/Makefile 2021-11-30 01:00:00.000000000 +0100 -+++ b/Makefile 2022-01-14 15:19:18.855072759 +0100 -@@ -671,6 +671,7 @@ - - NON_OPAQUE_DEPS+= src/kernel_services/plugin_entry_points/dynamic - -+src/kernel_services/abstract_interp/abstract_memory.cmi: BFLAGS := $(BFLAGS) - src/kernel_services/abstract_interp/abstract_memory.cmo: BFLAGS += -rectypes - src/kernel_services/abstract_interp/abstract_memory.cmx: OFLAGS += -rectypes - diff --git a/sci-mathematics/frama-c/frama-c-23.1-r1.ebuild b/sci-mathematics/frama-c/frama-c-23.1-r1.ebuild deleted file mode 100644 index 001a60281a..0000000000 --- a/sci-mathematics/frama-c/frama-c-23.1-r1.ebuild +++ /dev/null @@ -1,58 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools toolchain-funcs - -DESCRIPTION="Framework for analysis of source codes written in C" -HOMEPAGE="https://frama-c.com" -NAME="Vanadium" -SRC_URI="https://frama-c.com/download/${P}-${NAME}.tar.gz" - -S="${WORKDIR}/${P}-${NAME}" - -LICENSE="BSD LGPL-2 LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64" -IUSE="gtk +ocamlopt" -RESTRICT="strip" - -RDEPEND=" - >=dev-lang/ocaml-4.08.1[ocamlopt?] - >=dev-ml/ocamlgraph-1.8.5[ocamlopt?] - >=dev-ml/zarith-1.5[ocamlopt?] - >=dev-ml/yojson-1.4.1[ocamlopt?] - gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )" -DEPEND="${RDEPEND} - media-gfx/graphviz" - -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) -} - -src_compile() { - tc-export AR - default -} - -pkg_postinst() { - elog "Starting with version 23.1, ${CATEGORY}/${PN} only installs" - elog "the kernel, but no plugins. These are provided are separate" - elog "packages that must be explicitely installed." - elog "In particular, one may want to install:" - elog "- ${CATEGORY}/${PN}-eva for value analysis" - elog "- ${CATEGORY}/${PN}-wp for proving ACSL contracts" - elog "- ${CATEGORY}/${PN}-e-acsl for runtime verification of ACSL contracts" -} diff --git a/sci-mathematics/frama-c/frama-c-24.0-r1.ebuild b/sci-mathematics/frama-c/frama-c-24.0-r1.ebuild deleted file mode 100644 index 204463ac89..0000000000 --- a/sci-mathematics/frama-c/frama-c-24.0-r1.ebuild +++ /dev/null @@ -1,61 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools toolchain-funcs - -DESCRIPTION="Framework for analysis of source codes written in C" -HOMEPAGE="https://frama-c.com" -NAME="Chromium" -SRC_URI="https://frama-c.com/download/${P}-${NAME}.tar.gz" - -S="${WORKDIR}/${P}-${NAME}" - -LICENSE="BSD LGPL-2 LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64" -IUSE="gtk +ocamlopt" -RESTRICT="strip" - -RDEPEND=" - >=dev-lang/ocaml-4.08.1[ocamlopt?] - >=dev-ml/ocamlgraph-1.8.8[ocamlopt?] - >=dev-ml/zarith-1.5[ocamlopt?] - >=dev-ml/yojson-1.4.1[ocamlopt?] - gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )" -DEPEND="${RDEPEND} - media-gfx/graphviz" - -PATCHES=( "${FILESDIR}/frama-c-24.0-fix-bflags.patch" ) - -src_prepare() { - mv configure.in configure.ac || die - sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die - touch config_file || die - sed -i '/^\t\$(CC)/s/ -O3 / $(CFLAGS) /' Makefile || die - eautoreconf - default -} - -src_configure() { - econf \ - --disable-landmarks \ - --with-no-plugin \ - $(use_enable gtk gui) -} - -src_compile() { - tc-export AR - emake VERBOSEMAKE=yes -} - -pkg_postinst() { - elog "Starting with version 23.1, ${CATEGORY}/${PN} only installs" - elog "the kernel, but no plugins. These are provided are separate" - elog "packages that must be explicitely installed." - elog "In particular, one may want to install:" - elog "- ${CATEGORY}/${PN}-eva for value analysis" - elog "- ${CATEGORY}/${PN}-wp for proving ACSL contracts" - elog "- ${CATEGORY}/${PN}-e-acsl for runtime verification of ACSL contracts" -} diff --git a/sys-apps/openSeaChest/Manifest b/sys-apps/openSeaChest/Manifest index 7a41995e52..748e876864 100644 --- a/sys-apps/openSeaChest/Manifest +++ b/sys-apps/openSeaChest/Manifest @@ -1,2 +1,2 @@ -DIST openSeaChest-v23.03.1.tar.xz 1119132 BLAKE2B 63a03a56068fd02bb37e9f3dfadfb70611aa245cdd85f47a492625685ff7ef34416e998b4a046898570ff29ccd46fb3a1e408ac04b76988b4b9834d33f57cb10 SHA512 8a95893627e73fbd59bf363aa991d871b41e49971c24377d06c6d9279cecbfe4b5a0e91642476a97849ae0aad2bfb4a1d594ddf306b8f3323e3ad619fc071d38 DIST openSeaChest-v23.12.tar.xz 1160900 BLAKE2B e083c80782c15cbe34d8b3892aa6de876a6eb4825fc9d214e86f2ca469764b63602f7b8e058e8b89def893ee297541e0feebea216eba4473061aedd8f68a0609 SHA512 8e107daeff6a9f28929a1d7b7bf6025c0518df56253ee83f7e7319eb9e9645584c649a8d44184014af5f555160db67ae2383839b8a10644b99b741cba94018c6 +DIST openSeaChest-v24.08.tar.xz 1305856 BLAKE2B f8c2d139112fb1546601fc7a4f0c4df445027b398f17b17e3ce1e16db243f1c6370da3a6e66979678b5c5228049b35026aaca6fbfd3889be83ddca195dfce8d4 SHA512 6815dae26232bda873cf4e1df42b88faf5d263f639a3b6d782f2fe5a9e29baef8d7db1c64804235171eae9817a0cff5b42fdff59c3485ee567396c319124fb65 diff --git a/sys-apps/openSeaChest/openSeaChest-23.03.1.ebuild b/sys-apps/openSeaChest/openSeaChest-24.08.ebuild similarity index 100% rename from sys-apps/openSeaChest/openSeaChest-23.03.1.ebuild rename to sys-apps/openSeaChest/openSeaChest-24.08.ebuild diff --git a/www-apps/forgejo/Manifest b/www-apps/forgejo/Manifest index 68122766f4..dd898110e5 100644 --- a/www-apps/forgejo/Manifest +++ b/www-apps/forgejo/Manifest @@ -1,3 +1,3 @@ DIST forgejo-1.21.11.1.tar.gz 58893566 BLAKE2B cf3541682de609d63f079922610cc7ae338b7736634a6bc767e310f4ea9fc21fd8c6928b2de4693be6619b49d7e0cbf3b0effd58b681a0cd5e95d4ba21c29141 SHA512 c461d8690a7d2eb3a4955487223391daac58f3236481c0b963a208184ed06fc96372fe8082fbb4a7d9a64b01b2c468d43d1559dd081ec65e65c9f9bc043f9af4 -DIST forgejo-7.0.5.tar.gz 55031691 BLAKE2B f8dac358d99b3f12c3c77854ed1fe4198f98acb2f397e64ef4771cc9131f846707870a01d164c3e913d62185d69f33deabdd6646db4ed2146c6fc12289488e02 SHA512 52d85da61632a59b28738e24c60d08c96617924e68b6dfd20939210448b799e1c743bb022487603d2f821541cf184ae293b86913369fcf175722d49cbb5b4a36 DIST forgejo-7.0.7.tar.gz 53549049 BLAKE2B af5b42ba2888a106b418a683c1f40d80d31e226608b699c6e6696ff3187c7f91c75cd53de490d464af12d2107e8cbaaa3662bca4b1a834aacfcbc3ca22d7f71a SHA512 6163f154afde2c804b601a083cff43b6f13677fa6181f4916e190ffba23a05d29ffc945a6a384f23eb72fb9a7e0d1d846657b01f0dce5c519a8919c73631f22a +DIST forgejo-7.0.9.tar.gz 53600572 BLAKE2B 2ef91a7e488562b6e4110769841f37265f26a277c67db0c154ba2e55a1809501c908cb35807e5514093ce3756441cbe25ad8dce7f74ed2c839e59136b0f9dd05 SHA512 45996bec03934fb26ef6d87fa8efc7c007f4ec683b29eb0a23c07a03ab35ea9c74c22f4d1f985ede71ef87430973c703d8b6efd17d04192fa00ad30366ad7f17 diff --git a/www-apps/forgejo/forgejo-7.0.5.ebuild b/www-apps/forgejo/forgejo-7.0.9.ebuild similarity index 100% rename from www-apps/forgejo/forgejo-7.0.5.ebuild rename to www-apps/forgejo/forgejo-7.0.9.ebuild diff --git a/www-client/mullvad-browser-bin/Manifest b/www-client/mullvad-browser-bin/Manifest index 670a4a0d01..ff99c1aa07 100644 --- a/www-client/mullvad-browser-bin/Manifest +++ b/www-client/mullvad-browser-bin/Manifest @@ -1 +1 @@ -DIST mullvad-browser-linux-x86_64-13.5.2.tar.xz 103405692 BLAKE2B cac35a9b6ce8cb4a75e19722edda45c021f8b96fc15176964d4fdc7c814cc3a26a53ad5445cca33e9ffe0c55370dc3b8e9ae676e4b493fe208dae899b670c77a SHA512 bbec8268d0bd287bd52ef988ee1c89c6f5a634b90b2fd613dfc42f0ca74cef51f2d080c831e34bf8a2d2c2819a7863c8710f2e77336de9f4899664ae9e535ae0 +DIST mullvad-browser-bin-13.5.3.tar.xz 103419608 BLAKE2B f8af5ee54822349afbf9d73ff810c25330ec91a47203d78cb4363d129b6a09f963ea8bcfbdc9e67388f8c73efd82bc137ddf78b216357ef128cc3ed6c8205a5c SHA512 8144a57daca9cceccd7ab3c809f7def70fe9aee1d5ad7bd6a49ea640408718496de61ab6f0c19cd444b33e82c5151ede0d5285b244b1115e98a555207116a0e6 diff --git a/www-client/mullvad-browser-bin/mullvad-browser-bin-13.5.2.ebuild b/www-client/mullvad-browser-bin/mullvad-browser-bin-13.5.3.ebuild similarity index 58% rename from www-client/mullvad-browser-bin/mullvad-browser-bin-13.5.2.ebuild rename to www-client/mullvad-browser-bin/mullvad-browser-bin-13.5.3.ebuild index d75df1bbfe..152fe58655 100644 --- a/www-client/mullvad-browser-bin/mullvad-browser-bin-13.5.2.ebuild +++ b/www-client/mullvad-browser-bin/mullvad-browser-bin-13.5.3.ebuild @@ -6,8 +6,8 @@ EAPI=8 inherit desktop optfeature toolchain-funcs xdg DESCRIPTION="The Mullvad Browser is developed to minimize tracking and fingerprinting." -HOMEPAGE="https://github.com/mullvad/mullvad-browser https://mullvad.net/" -SRC_URI="https://github.com/mullvad/mullvad-browser/releases/download/${PV}/mullvad-browser-linux-x86_64-${PV}.tar.xz" +HOMEPAGE="https://github.com/mullvad/mullvad-browser/ https://mullvad.net/" +SRC_URI="https://github.com/mullvad/mullvad-browser/releases/download/${PV}/mullvad-browser-linux-x86_64-${PV}.tar.xz -> ${P}.tar.xz" S="${WORKDIR}" LICENSE="MPL-2.0" @@ -16,8 +16,6 @@ KEYWORDS="-* ~amd64" IUSE="X" -RESTRICT="bindist mirror test strip" - RDEPEND=" app-accessibility/at-spi2-core app-misc/mime-types @@ -50,14 +48,14 @@ QA_PREBUILT="*" src_install() { # Install profiles to home dir - touch "${S}"/mullvad-browser/Browser/is-packaged-app || die + touch mullvad-browser/Browser/is-packaged-app || die # Fix desktop file vars sed -i \ - -e "s|Name=.*|Name=Mullvad Browser|g" \ - -e "s|Exec=.*|Exec=/opt/mullvad-browser/Browser/start-mullvad-browser --detach|g" \ - -e "s|Icon=.*|Icon=mullvad-browser|g" \ - "${S}"/mullvad-browser/start-mullvad-browser.desktop || die + -e 's|Name=.*|Name=Mullvad Browser|g' \ + -e 's|Exec=.*|Exec=/opt/mullvad-browser/Browser/start-mullvad-browser --detach|g' \ + -e 's|Icon=.*|Icon=mullvad-browser|g' \ + mullvad-browser/start-mullvad-browser.desktop || die # Install shim for X11. Browser doesn't seem to launch without it, see upstream issue: # https://gitlab.torproject.org/tpo/applications/tor-browser-build/-/issues/40565 @@ -68,25 +66,25 @@ src_install() { void gdk_wayland_display_get_wl_compositor() { abort(); } void gdk_wayland_device_get_wl_pointer() { abort(); } void gdk_wayland_window_get_wl_surface() { abort(); } - void gdk_wayland_display_get_wl_display() { abort(); }" > "${S}"/X11shim.c - $(tc-getCC) -shared -o "${S}"/mullvad-browser/X11shim.so "${S}"/X11shim.c || die - sed -i '1iexport LD_PRELOAD=/opt/mullvad-browser/X11shim.so' "${S}"/mullvad-browser/Browser/start-mullvad-browser + void gdk_wayland_display_get_wl_display() { abort(); }" > X11shim.c || die + $(tc-getCC) -shared -o mullvad-browser/X11shim.so X11shim.c || die + sed -i '1iexport LD_PRELOAD=/opt/mullvad-browser/X11shim.so' mullvad-browser/Browser/start-mullvad-browser || die fi insinto /opt/ - doins -r "${S}"/mullvad-browser + doins -r mullvad-browser - dosym "../../opt/mullvad-browser/Browser/start-mullvad-browser" /usr/bin/${PN} - domenu "${S}"/mullvad-browser/start-mullvad-browser.desktop + dosym ../../opt/mullvad-browser/Browser/start-mullvad-browser /usr/bin/${PN} + domenu mullvad-browser/start-mullvad-browser.desktop local x for x in 16 32 48 64 128; do - newicon -s ${x} "${S}"/mullvad-browser/Browser/browser/chrome/icons/default/default${x}.png mullvad-browser.png + newicon -s ${x} mullvad-browser/Browser/browser/chrome/icons/default/default${x}.png mullvad-browser.png done - fperms 755 "/opt/mullvad-browser/Browser/abicheck" - fperms +x "/opt/mullvad-browser/Browser/start-mullvad-browser" - fperms +x "/opt/mullvad-browser/Browser/mullvadbrowser" - fperms +x "/opt/mullvad-browser/Browser/mullvadbrowser.real" + fperms 755 /opt/mullvad-browser/Browser/abicheck + fperms +x /opt/mullvad-browser/Browser/start-mullvad-browser + fperms +x /opt/mullvad-browser/Browser/mullvadbrowser + fperms +x /opt/mullvad-browser/Browser/mullvadbrowser.real } pkg_postinst() { diff --git a/x11-drivers/evdi/Manifest b/x11-drivers/evdi/Manifest index 35153bb9ea..1ff924738a 100644 --- a/x11-drivers/evdi/Manifest +++ b/x11-drivers/evdi/Manifest @@ -1 +1,2 @@ DIST evdi-1.14.5.tar.gz 90775 BLAKE2B ccee5c1fa1644bef98ddbc2d06eff990c56d2f5a58042f5ee1557816f25da850bd5c5cc5bd60ca48cc341fe167359ab513425e5ef5d3b248426c1e81a5e5cd10 SHA512 6374c88a4433da0142fc1e9ae7fa48791253747694deb86b4897a2f503783ba45c46f5e5f53718dc73ce47cb4a03479b989300ca57c4d847a912915b36a72142 +DIST evdi-1.14.6.tar.gz 91220 BLAKE2B 7b500096d45f0ac8329059d6ba092b3536039fa2647e39c40a863efd01756cae03dbc06076513e9ba68344e3997838727512003fb75c69c70a277a9276ee945c SHA512 8fc77d1b4a78395f05541ac3f9babb69c3fa59d89383d95b5a429a61d8941cddbc5087348f02125296eeec1c656135580f5a34d61430f4bce4b25c4ca685f735 diff --git a/x11-drivers/evdi/evdi-1.14.6.ebuild b/x11-drivers/evdi/evdi-1.14.6.ebuild new file mode 100644 index 0000000000..f6edbd98f1 --- /dev/null +++ b/x11-drivers/evdi/evdi-1.14.6.ebuild @@ -0,0 +1,81 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +PYTHON_COMPAT=( python3_{10..13} ) +inherit linux-mod-r1 python-single-r1 flag-o-matic + +DESCRIPTION="Extensible Virtual Display Interface" +HOMEPAGE="https://github.com/DisplayLink/evdi" +SRC_URI="https://github.com/DisplayLink/evdi/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="GPL-2 LGPL-2.1" +SLOT="0/$(ver_cut 1)" +KEYWORDS="~amd64 ~arm ~arm64 ~x86" + +IUSE="python test" + +RDEPEND="${PYTHON_DEPS} + x11-libs/libdrm + python? ( + $(python_gen_cond_dep ' + dev-python/pybind11[${PYTHON_USEDEP}] + test? ( + dev-python/pytest-mock[${PYTHON_USEDEP}] + ) + ') + ) +" + +DEPEND="${RDEPEND} + sys-kernel/linux-headers +" + +REQUIRED_USE="python? ( ${PYTHON_REQUIRED_USE} )" + +RESTRICT="!test? ( test )" + +# module/Kconfig +CONFIG_CHECK="~FB_VIRTUAL ~I2C ~DRM ~USB_SUPPORT ~USB_ARCH_HAS_HCD MODULES" + +PATCHES=( + "${FILESDIR}/${PN}-1.14.4-format-truncation.patch" +) + +pkg_setup() { + linux-mod-r1_pkg_setup + use python && python-single-r1_pkg_setup +} + +src_compile() { + filter-lto + + local modlist=( + "evdi=video:module" + ) + local modargs=( + CONFIG_DRM_EVDI="m" # https://github.com/DisplayLink/evdi/issues/476 + KVER="${KV_FULL}" + KDIR="${KV_OUT_DIR}" + ) + linux-mod-r1_src_compile + + emake -C library + + use python && emake -C pyevdi +} + +src_test() { + use python && emake -C pyevdi tests +} + +src_install() { + linux-mod-r1_src_install + + local -x DESTDIR="${ED}" PREFIX="${EPREFIX}" + + LIBDIR="/usr/$(get_libdir)" emake -C library install + + use python && emake -C pyevdi install +}