3 files changed, 0 insertions, 79 deletions
diff --git a/sci-mathematics/frama-c/Manifest b/sci-mathematics/frama-c/Manifest
deleted file mode 100644
index 9681962f9..000000000
--- a/sci-mathematics/frama-c/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST frama-c-22.0-Titanium.tar.gz 6008520 BLAKE2B 957f1fd383913718598c8d14bd0ff4b6251cc5350633888ca061fa0e44fae17273b379dcc1b70fe8a187975364aee1f255e0df232a4ee349ff29f9cb922a7b60 SHA512 7366127da4726ffec0022adc06fd867b6ea37fc23b6a5ddccbe7562fcaa635abc6894397d0101fcb0afc339c565299c6d637006305c8331aa62a8ce734740a0f
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>sci-mathematics@gentoo.org</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>