From f2cd9fb9b2ec793b1a78ef4000cd66be61bc233f Mon Sep 17 00:00:00 2001 From: Eli Burch Date: Fri, 6 Sep 2024 05:04:20 -0700 Subject: [PATCH 01/23] media-libs/glad: add 2.0.7 Signed-off-by: Eli Burch --- media-libs/glad/Manifest | 1 + media-libs/glad/glad-2.0.7.ebuild | 27 +++++++++++++++++++++++++++ 2 files changed, 28 insertions(+) create mode 100644 media-libs/glad/glad-2.0.7.ebuild 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 +} From 30fe0558e578cd25664e199c28ffb897e47e64f0 Mon Sep 17 00:00:00 2001 From: David Roman Date: Fri, 6 Sep 2024 14:27:23 +0200 Subject: [PATCH 02/23] sci-mathematics/frama-c-*: drop 23.1 and 24.0 Signed-off-by: David Roman --- sci-mathematics/frama-c-aorai/Manifest | 2 - .../frama-c-aorai/frama-c-aorai-23.1.ebuild | 45 ------------- .../frama-c-aorai/frama-c-aorai-24.0.ebuild | 45 ------------- sci-mathematics/frama-c-callgraph/Manifest | 2 - .../frama-c-callgraph-23.1.ebuild | 57 ---------------- .../frama-c-callgraph-24.0.ebuild | 57 ---------------- .../frama-c-constant-folding/Manifest | 2 - .../frama-c-constant-folding-23.1.ebuild | 59 ----------------- .../frama-c-constant-folding-24.0.ebuild | 59 ----------------- sci-mathematics/frama-c-dive/Manifest | 2 - .../frama-c-dive/frama-c-dive-23.1.ebuild | 48 -------------- .../frama-c-dive/frama-c-dive-24.0.ebuild | 48 -------------- sci-mathematics/frama-c-e-acsl/Manifest | 2 - .../frama-c-e-acsl/frama-c-e-acsl-23.1.ebuild | 47 ------------- .../frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild | 47 ------------- sci-mathematics/frama-c-eva/Manifest | 2 - .../frama-c-eva/frama-c-eva-23.1.ebuild | 61 ----------------- .../frama-c-eva/frama-c-eva-24.0.ebuild | 61 ----------------- sci-mathematics/frama-c-from/Manifest | 2 - .../frama-c-from/frama-c-from-23.1.ebuild | 59 ----------------- .../frama-c-from/frama-c-from-24.0.ebuild | 59 ----------------- sci-mathematics/frama-c-impact/Manifest | 2 - .../frama-c-impact/frama-c-impact-23.1.ebuild | 66 ------------------- .../frama-c-impact/frama-c-impact-24.0.ebuild | 66 ------------------- sci-mathematics/frama-c-inout/Manifest | 2 - .../frama-c-inout/frama-c-inout-23.1.ebuild | 59 ----------------- .../frama-c-inout/frama-c-inout-24.0.ebuild | 59 ----------------- sci-mathematics/frama-c-instantiate/Manifest | 2 - .../frama-c-instantiate-23.1.ebuild | 42 ------------ .../frama-c-instantiate-24.0.ebuild | 42 ------------ sci-mathematics/frama-c-loopanalysis/Manifest | 2 - .../frama-c-loopanalysis-23.1.ebuild | 42 ------------ .../frama-c-loopanalysis-24.0.ebuild | 42 ------------ sci-mathematics/frama-c-metrics/Manifest | 2 - .../frama-c-metrics-23.1.ebuild | 56 ---------------- .../frama-c-metrics-24.0.ebuild | 56 ---------------- sci-mathematics/frama-c-nonterm/Manifest | 2 - .../frama-c-nonterm-23.1.ebuild | 44 ------------- .../frama-c-nonterm-24.0.ebuild | 44 ------------- sci-mathematics/frama-c-obfuscator/Manifest | 2 - .../frama-c-obfuscator-23.1.ebuild | 42 ------------ .../frama-c-obfuscator-24.0.ebuild | 42 ------------ sci-mathematics/frama-c-occurrence/Manifest | 2 - .../frama-c-occurrence-23.1.ebuild | 56 ---------------- .../frama-c-occurrence-24.0.ebuild | 56 ---------------- sci-mathematics/frama-c-pdg/Manifest | 2 - .../frama-c-pdg/frama-c-pdg-23.1.ebuild | 59 ----------------- .../frama-c-pdg/frama-c-pdg-24.0.ebuild | 59 ----------------- .../frama-c-postdominators/Manifest | 2 - .../frama-c-postdominators-23.1.ebuild | 52 --------------- .../frama-c-postdominators-24.0.ebuild | 52 --------------- sci-mathematics/frama-c-printapi/Manifest | 2 - .../frama-c-printapi-23.1.ebuild | 33 ---------- .../frama-c-printapi-24.0.ebuild | 33 ---------- sci-mathematics/frama-c-qed/Manifest | 2 - .../frama-c-qed/frama-c-qed-23.1.ebuild | 34 ---------- .../frama-c-qed/frama-c-qed-24.0.ebuild | 34 ---------- sci-mathematics/frama-c-report/Manifest | 2 - .../frama-c-report/frama-c-report-23.1.ebuild | 42 ------------ .../frama-c-report/frama-c-report-24.0.ebuild | 42 ------------ sci-mathematics/frama-c-rtegen/Manifest | 2 - .../frama-c-rtegen/frama-c-rtegen-23.1.ebuild | 51 -------------- .../frama-c-rtegen/frama-c-rtegen-24.0.ebuild | 51 -------------- sci-mathematics/frama-c-scope/Manifest | 2 - .../frama-c-scope/frama-c-scope-23.1.ebuild | 61 ----------------- .../frama-c-scope/frama-c-scope-24.0.ebuild | 61 ----------------- .../frama-c-security-slicing/Manifest | 2 - .../frama-c-security-slicing-23.1.ebuild | 45 ------------- .../frama-c-security-slicing-24.0.ebuild | 45 ------------- sci-mathematics/frama-c-server/Manifest | 2 - .../frama-c-server/frama-c-server-23.1.ebuild | 43 ------------ .../frama-c-server/frama-c-server-24.0.ebuild | 43 ------------ sci-mathematics/frama-c-slicing/Manifest | 2 - .../frama-c-slicing-23.1.ebuild | 64 ------------------ .../frama-c-slicing-24.0.ebuild | 64 ------------------ sci-mathematics/frama-c-sparecode/Manifest | 2 - .../frama-c-sparecode-23.1.ebuild | 61 ----------------- .../frama-c-sparecode-24.0.ebuild | 61 ----------------- sci-mathematics/frama-c-studia/Manifest | 2 - .../frama-c-studia/frama-c-studia-23.1.ebuild | 45 ------------- .../frama-c-studia/frama-c-studia-24.0.ebuild | 45 ------------- sci-mathematics/frama-c-users/Manifest | 2 - .../frama-c-users/frama-c-users-23.1.ebuild | 57 ---------------- .../frama-c-users/frama-c-users-24.0.ebuild | 57 ---------------- sci-mathematics/frama-c-variadic/Manifest | 2 - .../frama-c-variadic-23.1.ebuild | 42 ------------ .../frama-c-variadic-24.0.ebuild | 42 ------------ 87 files changed, 3002 deletions(-) delete mode 100644 sci-mathematics/frama-c-aorai/frama-c-aorai-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-aorai/frama-c-aorai-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-dive/frama-c-dive-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-dive/frama-c-dive-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-inout/frama-c-inout-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-instantiate/frama-c-instantiate-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-nonterm/frama-c-nonterm-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-nonterm/frama-c-nonterm-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-pdg/frama-c-pdg-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-pdg/frama-c-pdg-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-postdominators/frama-c-postdominators-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-postdominators/frama-c-postdominators-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-printapi/frama-c-printapi-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-printapi/frama-c-printapi-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-qed/frama-c-qed-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-report/frama-c-report-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-report/frama-c-report-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-rtegen/frama-c-rtegen-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-rtegen/frama-c-rtegen-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-scope/frama-c-scope-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-server/frama-c-server-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-server/frama-c-server-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-slicing/frama-c-slicing-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-sparecode/frama-c-sparecode-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-sparecode/frama-c-sparecode-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-studia/frama-c-studia-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-users/frama-c-users-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-users/frama-c-users-24.0.ebuild delete mode 100644 sci-mathematics/frama-c-variadic/frama-c-variadic-23.1.ebuild delete mode 100644 sci-mathematics/frama-c-variadic/frama-c-variadic-24.0.ebuild 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 -} From 5bb1b88df8c66f20fb6b55ceb11b826989227690 Mon Sep 17 00:00:00 2001 From: David Roman Date: Fri, 6 Sep 2024 14:31:10 +0200 Subject: [PATCH 03/23] sci-mathematics/frama-c: drop 23.1-r1, 24.0-r1 Signed-off-by: David Roman --- sci-mathematics/frama-c/Manifest | 2 - .../files/frama-c-24.0-fix-bflags.patch | 12 ---- .../frama-c/frama-c-23.1-r1.ebuild | 58 ------------------ .../frama-c/frama-c-24.0-r1.ebuild | 61 ------------------- 4 files changed, 133 deletions(-) delete mode 100644 sci-mathematics/frama-c/files/frama-c-24.0-fix-bflags.patch delete mode 100644 sci-mathematics/frama-c/frama-c-23.1-r1.ebuild delete mode 100644 sci-mathematics/frama-c/frama-c-24.0-r1.ebuild 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" -} From 918ecf81ca1459fcc61eea5a33de3d729137b141 Mon Sep 17 00:00:00 2001 From: Paul Zander Date: Fri, 6 Sep 2024 16:16:26 +0200 Subject: [PATCH 04/23] x11-drivers/evdi: add 1.14.6, add filter-lto Fixes: ERROR: modpost: missing MODULE_LICENSE() Signed-off-by: Paul Zander --- x11-drivers/evdi/Manifest | 1 + x11-drivers/evdi/evdi-1.14.6.ebuild | 81 +++++++++++++++++++++++++++++ 2 files changed, 82 insertions(+) create mode 100644 x11-drivers/evdi/evdi-1.14.6.ebuild 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 +} From 1305485d4f7da5041e732fa71340cd57373adb8b Mon Sep 17 00:00:00 2001 From: Takuya Wakazono Date: Fri, 6 Sep 2024 23:37:53 +0900 Subject: [PATCH 05/23] app-text/komikku: add 1.57.0 Signed-off-by: Takuya Wakazono --- app-text/komikku/Manifest | 1 + app-text/komikku/komikku-1.57.0.ebuild | 94 ++++++++++++++++++++++++++ 2 files changed, 95 insertions(+) create mode 100644 app-text/komikku/komikku-1.57.0.ebuild diff --git a/app-text/komikku/Manifest b/app-text/komikku/Manifest index f9e00df723..5756f40b79 100644 --- a/app-text/komikku/Manifest +++ b/app-text/komikku/Manifest @@ -1 +1,2 @@ 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.57.0.ebuild b/app-text/komikku/komikku-1.57.0.ebuild new file mode 100644 index 0000000000..7af66f6f13 --- /dev/null +++ b/app-text/komikku/komikku-1.57.0.ebuild @@ -0,0 +1,94 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +PYTHON_COMPAT=( python3_{10..12} ) +PYTHON_REQ_USE="sqlite(+),ssl(+)" +DISTUTILS_USE_PEP517=no +DISTUTILS_SINGLE_IMPL=1 +inherit distutils-r1 meson gnome2-utils xdg + +DESCRIPTION="Manga reader for GNOME" +HOMEPAGE="https://apps.gnome.org/Komikku/" +SRC_URI="https://codeberg.org/valos/Komikku/archive/v${PV}.tar.gz -> ${P}.tar.gz" +S="${WORKDIR}/${PN}" + +LICENSE="GPL-3+" +SLOT="0" +KEYWORDS="~amd64" +IUSE="test" + +RESTRICT="test" +# Depend on a random server that may or may not be accessible. +#PROPERTIES="test_network" + +DEPEND=" + dev-libs/glib:2 + dev-libs/gobject-introspection + >=gui-libs/gtk-4.12:4 + >=gui-libs/libadwaita-1.5:1[introspection] + net-libs/webkit-gtk:6[introspection] +" +RDEPEND=" + ${DEPEND} + x11-libs/libnotify[introspection] + $(python_gen_cond_dep ' + app-arch/brotli[python,${PYTHON_USEDEP}] + dev-python/beautifulsoup4[${PYTHON_USEDEP}] + dev-python/colorthief[${PYTHON_USEDEP}] + dev-python/cryptography[${PYTHON_USEDEP}] + dev-python/dateparser[${PYTHON_USEDEP}] + dev-python/emoji[${PYTHON_USEDEP}] + dev-python/keyring[${PYTHON_USEDEP}] + dev-python/lxml[${PYTHON_USEDEP}] + dev-python/natsort[${PYTHON_USEDEP}] + dev-python/piexif[${PYTHON_USEDEP}] + dev-python/pillow[${PYTHON_USEDEP}] + dev-python/pillow-heif[${PYTHON_USEDEP}] + dev-python/pygobject[${PYTHON_USEDEP}] + dev-python/python-magic[${PYTHON_USEDEP}] + dev-python/rarfile[compressed,${PYTHON_USEDEP}] + dev-python/requests[${PYTHON_USEDEP}] + dev-python/unidecode[${PYTHON_USEDEP}] + ') +" +BDEPEND=" + dev-util/blueprint-compiler + sys-devel/gettext + test? ( + $(python_gen_cond_dep ' + dev-python/pytest-steps[${PYTHON_USEDEP}] + ') + ) +" + +distutils_enable_tests pytest + +src_prepare() { + distutils-r1_src_prepare + + # fix broken shebang + sed "s|py_installation.full_path()|'${PYTHON}'|" -i bin/meson.build || die +} + +src_test() { + emake setup + emake develop + emake test +} + +src_install() { + meson_src_install + python_optimize +} + +pkg_postinst() { + gnome2_schemas_update + xdg_pkg_postinst +} + +pkg_postrm() { + gnome2_schemas_update + xdg_pkg_postrm +} From df5ad7c45d46bf8302ac4c4c0f4a5a2a8d002216 Mon Sep 17 00:00:00 2001 From: Takuya Wakazono Date: Fri, 6 Sep 2024 23:37:53 +0900 Subject: [PATCH 06/23] app-text/komikku: drop 1.53.0 Signed-off-by: Takuya Wakazono --- app-text/komikku/Manifest | 1 - app-text/komikku/komikku-1.53.0.ebuild | 94 -------------------------- 2 files changed, 95 deletions(-) delete mode 100644 app-text/komikku/komikku-1.53.0.ebuild diff --git a/app-text/komikku/Manifest b/app-text/komikku/Manifest index 5756f40b79..878e2cf6ca 100644 --- a/app-text/komikku/Manifest +++ b/app-text/komikku/Manifest @@ -1,2 +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.53.0.ebuild deleted file mode 100644 index 7af66f6f13..0000000000 --- a/app-text/komikku/komikku-1.53.0.ebuild +++ /dev/null @@ -1,94 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -PYTHON_COMPAT=( python3_{10..12} ) -PYTHON_REQ_USE="sqlite(+),ssl(+)" -DISTUTILS_USE_PEP517=no -DISTUTILS_SINGLE_IMPL=1 -inherit distutils-r1 meson gnome2-utils xdg - -DESCRIPTION="Manga reader for GNOME" -HOMEPAGE="https://apps.gnome.org/Komikku/" -SRC_URI="https://codeberg.org/valos/Komikku/archive/v${PV}.tar.gz -> ${P}.tar.gz" -S="${WORKDIR}/${PN}" - -LICENSE="GPL-3+" -SLOT="0" -KEYWORDS="~amd64" -IUSE="test" - -RESTRICT="test" -# Depend on a random server that may or may not be accessible. -#PROPERTIES="test_network" - -DEPEND=" - dev-libs/glib:2 - dev-libs/gobject-introspection - >=gui-libs/gtk-4.12:4 - >=gui-libs/libadwaita-1.5:1[introspection] - net-libs/webkit-gtk:6[introspection] -" -RDEPEND=" - ${DEPEND} - x11-libs/libnotify[introspection] - $(python_gen_cond_dep ' - app-arch/brotli[python,${PYTHON_USEDEP}] - dev-python/beautifulsoup4[${PYTHON_USEDEP}] - dev-python/colorthief[${PYTHON_USEDEP}] - dev-python/cryptography[${PYTHON_USEDEP}] - dev-python/dateparser[${PYTHON_USEDEP}] - dev-python/emoji[${PYTHON_USEDEP}] - dev-python/keyring[${PYTHON_USEDEP}] - dev-python/lxml[${PYTHON_USEDEP}] - dev-python/natsort[${PYTHON_USEDEP}] - dev-python/piexif[${PYTHON_USEDEP}] - dev-python/pillow[${PYTHON_USEDEP}] - dev-python/pillow-heif[${PYTHON_USEDEP}] - dev-python/pygobject[${PYTHON_USEDEP}] - dev-python/python-magic[${PYTHON_USEDEP}] - dev-python/rarfile[compressed,${PYTHON_USEDEP}] - dev-python/requests[${PYTHON_USEDEP}] - dev-python/unidecode[${PYTHON_USEDEP}] - ') -" -BDEPEND=" - dev-util/blueprint-compiler - sys-devel/gettext - test? ( - $(python_gen_cond_dep ' - dev-python/pytest-steps[${PYTHON_USEDEP}] - ') - ) -" - -distutils_enable_tests pytest - -src_prepare() { - distutils-r1_src_prepare - - # fix broken shebang - sed "s|py_installation.full_path()|'${PYTHON}'|" -i bin/meson.build || die -} - -src_test() { - emake setup - emake develop - emake test -} - -src_install() { - meson_src_install - python_optimize -} - -pkg_postinst() { - gnome2_schemas_update - xdg_pkg_postinst -} - -pkg_postrm() { - gnome2_schemas_update - xdg_pkg_postrm -} From a588fb41eade4b2ac9e61726c8cae3ea829faafd Mon Sep 17 00:00:00 2001 From: Takuya Wakazono Date: Fri, 6 Sep 2024 23:37:53 +0900 Subject: [PATCH 07/23] games-util/r2modman-bin: add missing rdeps Signed-off-by: Takuya Wakazono --- ...9.ebuild => r2modman-bin-3.1.49-r1.ebuild} | 44 +++++++++++++------ 1 file changed, 30 insertions(+), 14 deletions(-) rename games-util/r2modman-bin/{r2modman-bin-3.1.49.ebuild => r2modman-bin-3.1.49-r1.ebuild} (85%) 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=" From a2240d9330f95135b8ca1f0f05a259673388de09 Mon Sep 17 00:00:00 2001 From: Takuya Wakazono Date: Fri, 6 Sep 2024 23:37:53 +0900 Subject: [PATCH 08/23] dev-python/injector: fix tests Bug: https://bugs.gentoo.org/928158 Signed-off-by: Takuya Wakazono --- dev-python/injector/injector-0.21.0-r1.ebuild | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) 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 } From 653289b70de36b8bad7e8b368f9c54d9e228691a Mon Sep 17 00:00:00 2001 From: Takuya Wakazono Date: Fri, 6 Sep 2024 23:37:53 +0900 Subject: [PATCH 09/23] dev-util/insomnia-bin: drop 2020.5.2 Signed-off-by: Takuya Wakazono --- dev-util/insomnia-bin/Manifest | 1 - .../insomnia-bin/insomnia-bin-2020.5.2.ebuild | 78 ------------------- dev-util/insomnia-bin/metadata.xml | 3 - 3 files changed, 82 deletions(-) delete mode 100644 dev-util/insomnia-bin/insomnia-bin-2020.5.2.ebuild 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 - - - From 2e6be46daa4fa4d08c8d5cf57c6152db9f9892b0 Mon Sep 17 00:00:00 2001 From: Takuya Wakazono Date: Fri, 6 Sep 2024 23:37:53 +0900 Subject: [PATCH 10/23] media-sound/nuclear-bin: drop 0.6.17 Signed-off-by: Takuya Wakazono --- media-sound/nuclear-bin/Manifest | 1 - .../nuclear-bin/nuclear-bin-0.6.17.ebuild | 89 ------------------- 2 files changed, 90 deletions(-) delete mode 100644 media-sound/nuclear-bin/nuclear-bin-0.6.17.ebuild 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 -} From ce7e8bb280383f01e58836258e9853ab9142fbe7 Mon Sep 17 00:00:00 2001 From: Takuya Wakazono Date: Fri, 6 Sep 2024 23:37:53 +0900 Subject: [PATCH 11/23] app-crypt/gnome-encfs-manager: drop appindicator USE flag dev-libs/libappindicator will be removed from the tree. Signed-off-by: Takuya Wakazono --- .../gnome-encfs-manager-1.9-r2.ebuild | 21 +++---------------- app-crypt/gnome-encfs-manager/metadata.xml | 3 --- 2 files changed, 3 insertions(+), 21 deletions(-) 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 From 1590aacc6a45de87f7914861fd71cbcbc0e3746b Mon Sep 17 00:00:00 2001 From: Takuya Wakazono Date: Fri, 6 Sep 2024 23:37:53 +0900 Subject: [PATCH 12/23] app-crypt/gnome-encfs-manager: drop 1.9-r1 Signed-off-by: Takuya Wakazono --- .../gnome-encfs-manager-1.9-r1.ebuild | 57 ------------------- 1 file changed, 57 deletions(-) delete mode 100644 app-crypt/gnome-encfs-manager/gnome-encfs-manager-1.9-r1.ebuild 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 -} From 9e2204d7a13afba2f2cc946a88475feeb2be6bcc Mon Sep 17 00:00:00 2001 From: Takuya Wakazono Date: Fri, 6 Sep 2024 23:37:53 +0900 Subject: [PATCH 13/23] profiles: mask packages depend on dev-libs/libappindicator Signed-off-by: Takuya Wakazono --- profiles/package.mask | 6 ++++++ 1 file changed, 6 insertions(+) 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. From c8caaf8dccc424c46d802b0bef3bbab000778865 Mon Sep 17 00:00:00 2001 From: Justin Donofrio Date: Fri, 6 Sep 2024 13:01:20 -0400 Subject: [PATCH 14/23] www-client/mullvad-browser-bin: add 13.5.3, drop 13.5.2 Signed-off-by: Justin Donofrio --- www-client/mullvad-browser-bin/Manifest | 2 +- ...uild => mullvad-browser-bin-13.5.3.ebuild} | 38 +++++++++---------- 2 files changed, 19 insertions(+), 21 deletions(-) rename www-client/mullvad-browser-bin/{mullvad-browser-bin-13.5.2.ebuild => mullvad-browser-bin-13.5.3.ebuild} (58%) 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() { From c18cd739d0cb43fb116efca4c1bbea90309ccfd8 Mon Sep 17 00:00:00 2001 From: David Roman Date: Sat, 7 Sep 2024 02:12:25 +0200 Subject: [PATCH 15/23] media-sound/TauonMusicBox: add 7.8.3 Signed-off-by: David Roman --- media-sound/TauonMusicBox/Manifest | 1 + .../TauonMusicBox/TauonMusicBox-7.8.3.ebuild | 126 ++++++++++++++++++ 2 files changed, 127 insertions(+) create mode 100644 media-sound/TauonMusicBox/TauonMusicBox-7.8.3.ebuild 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 +} From 648389b154dc4ea6fcd1941e73915ef92b52a55d Mon Sep 17 00:00:00 2001 From: Thomas Bracht Laumann Jespersen Date: Sat, 7 Sep 2024 05:39:02 +0000 Subject: [PATCH 16/23] dev-vcs/pijul: add missing dependencies Bug: https://bugs.gentoo.org/902249 Signed-off-by: Thomas Bracht Laumann Jespersen --- dev-vcs/pijul/pijul-1.0.0_beta9.ebuild | 2 ++ 1 file changed, 2 insertions(+) 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}" From 016f716de7d5dc0e0ee420cbb649df2f48b3ac88 Mon Sep 17 00:00:00 2001 From: Artemis Everfree Date: Fri, 6 Sep 2024 22:20:17 -0700 Subject: [PATCH 17/23] media-sound/furnace: fix missing freetype dep Signed-off-by: Artemis Everfree --- .../furnace/{furnace-0.6.5.ebuild => furnace-0.6.5-r1.ebuild} | 1 + 1 file changed, 1 insertion(+) rename media-sound/furnace/{furnace-0.6.5.ebuild => furnace-0.6.5-r1.ebuild} (98%) 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 From 276ca8345223fb8360d4736c7d4160979d604b47 Mon Sep 17 00:00:00 2001 From: Artemis Everfree Date: Fri, 6 Sep 2024 23:19:00 -0700 Subject: [PATCH 18/23] media-sound/furnace: add 0.6.7 Signed-off-by: Artemis Everfree --- media-sound/furnace/Manifest | 2 + media-sound/furnace/furnace-0.6.7.ebuild | 65 ++++++++++++++++++++++++ 2 files changed, 67 insertions(+) create mode 100644 media-sound/furnace/furnace-0.6.7.ebuild 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.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 +} From 3cde268ab47994a5e470b94710cb0fa9b4cf3611 Mon Sep 17 00:00:00 2001 From: Artemis Everfree Date: Fri, 6 Sep 2024 23:23:50 -0700 Subject: [PATCH 19/23] sys-apps/openSeaChest: add 24.08, drop 23.03.1 Signed-off-by: Artemis Everfree --- sys-apps/openSeaChest/Manifest | 2 +- .../{openSeaChest-23.03.1.ebuild => openSeaChest-24.08.ebuild} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename sys-apps/openSeaChest/{openSeaChest-23.03.1.ebuild => openSeaChest-24.08.ebuild} (100%) 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 From 3b173a08e7b3d7be67436be4c7fd7c85ed7dc19a Mon Sep 17 00:00:00 2001 From: Artemis Everfree Date: Fri, 6 Sep 2024 23:56:08 -0700 Subject: [PATCH 20/23] www-apps/forgejo: add 7.0.9, drop 7.0.5 Signed-off-by: Artemis Everfree --- www-apps/forgejo/Manifest | 2 +- www-apps/forgejo/{forgejo-7.0.5.ebuild => forgejo-7.0.9.ebuild} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename www-apps/forgejo/{forgejo-7.0.5.ebuild => forgejo-7.0.9.ebuild} (100%) 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 From a7607560de334df21871bb12d4872253d9337ff0 Mon Sep 17 00:00:00 2001 From: Artemis Everfree Date: Sat, 7 Sep 2024 00:08:46 -0700 Subject: [PATCH 21/23] dev-embedded/arduino-cli: add 1.0.4, drop 1.0.2 Signed-off-by: Artemis Everfree --- dev-embedded/arduino-cli/Manifest | 4 ++-- .../{arduino-cli-1.0.2.ebuild => arduino-cli-1.0.4.ebuild} | 0 2 files changed, 2 insertions(+), 2 deletions(-) rename dev-embedded/arduino-cli/{arduino-cli-1.0.2.ebuild => arduino-cli-1.0.4.ebuild} (100%) 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 From 9118e90979e184a4ca45e87847bfcaf4dd2fd84b Mon Sep 17 00:00:00 2001 From: Kurt Kanzenbach Date: Sat, 7 Sep 2024 10:34:31 +0200 Subject: [PATCH 22/23] net-dialup/tio: add 3.7 Signed-off-by: Kurt Kanzenbach --- net-dialup/tio/Manifest | 1 + net-dialup/tio/tio-3.7.ebuild | 33 +++++++++++++++++++++++++++++++++ 2 files changed, 34 insertions(+) create mode 100644 net-dialup/tio/tio-3.7.ebuild diff --git a/net-dialup/tio/Manifest b/net-dialup/tio/Manifest index 750bd93165..1f9e90e181 100644 --- a/net-dialup/tio/Manifest +++ b/net-dialup/tio/Manifest @@ -1 +1,2 @@ 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.7.ebuild b/net-dialup/tio/tio-3.7.ebuild new file mode 100644 index 0000000000..dead597a89 --- /dev/null +++ b/net-dialup/tio/tio-3.7.ebuild @@ -0,0 +1,33 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +LUA_COMPAT=( lua5-{1..4} ) + +inherit lua-single meson bash-completion-r1 + +DESCRIPTION="Simple TTY terminal application" +HOMEPAGE="https://tio.github.io/" +SRC_URI="https://github.com/${PN}/${PN}/releases/download/v${PV}/${P}.tar.xz" + +LICENSE="GPL-2+" +SLOT="0" +KEYWORDS="~amd64 ~arm64 ~x86" + +REQUIRED_USE="${LUA_REQUIRED_USE}" +RDEPEND=" + ${LUA_DEPS} + dev-libs/glib +" +DEPEND=" + ${RDEPEND} +" + +src_configure() { + local emesonargs=( + -Dbashcompletiondir="$(get_bashcompdir)" + ) + + meson_src_configure +} From 8247e4680e201a0035feb2b05d70748c79b0bb11 Mon Sep 17 00:00:00 2001 From: Kurt Kanzenbach Date: Sat, 7 Sep 2024 10:34:41 +0200 Subject: [PATCH 23/23] net-dialup/tio: drop 3.6 Signed-off-by: Kurt Kanzenbach --- net-dialup/tio/Manifest | 1 - net-dialup/tio/tio-3.6.ebuild | 33 --------------------------------- 2 files changed, 34 deletions(-) delete mode 100644 net-dialup/tio/tio-3.6.ebuild diff --git a/net-dialup/tio/Manifest b/net-dialup/tio/Manifest index 1f9e90e181..2be8629941 100644 --- a/net-dialup/tio/Manifest +++ b/net-dialup/tio/Manifest @@ -1,2 +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.6.ebuild deleted file mode 100644 index dead597a89..0000000000 --- a/net-dialup/tio/tio-3.6.ebuild +++ /dev/null @@ -1,33 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -LUA_COMPAT=( lua5-{1..4} ) - -inherit lua-single meson bash-completion-r1 - -DESCRIPTION="Simple TTY terminal application" -HOMEPAGE="https://tio.github.io/" -SRC_URI="https://github.com/${PN}/${PN}/releases/download/v${PV}/${P}.tar.xz" - -LICENSE="GPL-2+" -SLOT="0" -KEYWORDS="~amd64 ~arm64 ~x86" - -REQUIRED_USE="${LUA_REQUIRED_USE}" -RDEPEND=" - ${LUA_DEPS} - dev-libs/glib -" -DEPEND=" - ${RDEPEND} -" - -src_configure() { - local emesonargs=( - -Dbashcompletiondir="$(get_bashcompdir)" - ) - - meson_src_configure -}