commit: 5bb1b88df8c66f20fb6b55ceb11b826989227690 Author: David Roman <davidroman96 <AT> gmail <DOT> com> AuthorDate: Fri Sep 6 12:31:10 2024 +0000 Commit: David Roman <davidroman96 <AT> gmail <DOT> com> CommitDate: Fri Sep 6 12:31:10 2024 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=5bb1b88d
sci-mathematics/frama-c: drop 23.1-r1, 24.0-r1 Signed-off-by: David Roman <davidroman96 <AT> gmail.com> sci-mathematics/frama-c/Manifest | 2 - .../frama-c/files/frama-c-24.0-fix-bflags.patch | 12 ----- sci-mathematics/frama-c/frama-c-23.1-r1.ebuild | 58 -------------------- sci-mathematics/frama-c/frama-c-24.0-r1.ebuild | 61 ---------------------- 4 files changed, 133 deletions(-) diff --git a/sci-mathematics/frama-c/Manifest b/sci-mathematics/frama-c/Manifest index 5f2f4bc6e..cf3c20d65 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 b52231fa0..000000000 --- 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 001a60281..000000000 --- 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 204463ac8..000000000 --- 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" -}
