commit: b5ba01d924a84e175736ffcdb8ff56eb318d4c42 Author: Nowa Ammerlaan <nowa <AT> gentoo <DOT> org> AuthorDate: Tue Nov 19 13:56:28 2024 +0000 Commit: Nowa Ammerlaan <nowa <AT> gentoo <DOT> org> CommitDate: Tue Nov 19 14:05:24 2024 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=b5ba01d9
sci-mathematics/frama-c: drop duplicate, newer version in ::guru Signed-off-by: Nowa Ammerlaan <nowa <AT> gentoo.org> sci-mathematics/frama-c/frama-c-22.0.ebuild | 61 ----------------------------- sci-mathematics/frama-c/metadata.xml | 17 -------- 2 files changed, 78 deletions(-) diff --git a/sci-mathematics/frama-c/frama-c-22.0.ebuild b/sci-mathematics/frama-c/frama-c-22.0.ebuild deleted file mode 100644 index aaf815f4f..000000000 --- a/sci-mathematics/frama-c/frama-c-22.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 - -NAME="Titanium" - -DESCRIPTION="Framework for analysis of source codes written in C" -HOMEPAGE="https://frama-c.com"; -SRC_URI="https://frama-c.com/download/${P}-${NAME}.tar.gz"; - -LICENSE="LGPL-2" -SLOT="0" -KEYWORDS="~amd64" - -IUSE="doc gtk +ocamlopt" -RESTRICT="strip" - -DEPEND=" - >=dev-lang/ocaml-3.12.1[ocamlopt?] - >=dev-ml/ocamlgraph-1.8.5[ocamlopt?] - dev-ml/zarith - dev-ml/yojson - sci-mathematics/coq - sci-mathematics/ltl2ba - sci-mathematics/alt-ergo - gtk? ( - >=x11-libs/gtksourceview-2.8:2.0 - >=gnome-base/libgnomecanvas-2.26 - >=dev-ml/lablgtk-2.14[sourceview,gnomecanvas(-),ocamlopt?] - )" -RDEPEND="${DEPEND}" - -S="${WORKDIR}/${P}-${NAME}" - -src_prepare(){ - touch config_file || die - rm -f ocamlgraph.tar.gz || die - default - eautoreconf -} - -src_configure(){ - econf "$(use_enable gtk gui )" -} - -src_compile(){ - # dependencies can not be processed in parallel, - # this is the intended behavior. - emake depend - emake all top DESTDIR="/" - - use doc && emake doc -} - -src_install(){ - default - use doc && dodoc -r doc/doxygen/html/* -} diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml deleted file mode 100644 index 6e6c849a1..000000000 --- a/sci-mathematics/frama-c/metadata.xml +++ /dev/null @@ -1,17 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";> -<pkgmetadata> - <maintainer type="project"> - <email>[email protected]</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> -Frama-C is a suite of tools dedicated to the analysis of the source code -of software written in C. It gathers several static analysis techniques -in a single collaborative framework. The collaborative approach of -Frama-C allows static analyzers to build upon the results already -computed by other analyzers in the framework. Thanks to this approach, -Frama-C provides sophisticated tools, such as a slicer and dependency -analysis. -</longdescription> -</pkgmetadata>
