sci-mathematics/otter: Remove old

Package-Manager: Portage-2.3.4, Repoman-2.3.2

diff --git a/sci-mathematics/otter/otter-3.3-r1.ebuild b/sci-mathematics/otter/otter-3.3-r1.ebuild
deleted file mode 100644 (file)
index e30d599..0000000
--- a/sci-mathematics/otter/otter-3.3-r1.ebuild
+++ /dev/null
@@ -1,34 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-DESCRIPTION="An Automated Deduction System"
-HOMEPAGE="http://www.cs.unm.edu/~mccune/otter/"
-SRC_URI="http://www.cs.unm.edu/~mccune/otter/${P}.tar.gz"
-
-KEYWORDS="~amd64 ~ppc x86 ~amd64-linux ~x86-linux ~ppc-macos"
-LICENSE="otter"
-SLOT="0"
-IUSE=""
-
-RDEPEND="
-       x11-libs/libX11
-       x11-libs/libXaw
-       x11-libs/libXt"
-DEPEND="${RDEPEND}"
-
-src_compile() {
-       cd source
-       emake -j1 || die
-       cd "${S}"/mace2
-       emake -j1 || die
-}
-
-src_install() {
-       dobin bin/* source/formed/formed
-       dodoc README* Legal Changelog Contents documents/*.{tex,ps}
-       insinto /usr/share/doc/${PF}
-       doins documents/*.pdf
-       dohtml index.html
-       insinto /usr/share/doc/${PF}/html
-       doins -r examples examples-mace2
-}

diff --git a/sci-mathematics/otter/otter-3.3-r2.ebuild b/sci-mathematics/otter/otter-3.3-r2.ebuild
deleted file mode 100644 (file)
index 9761400..0000000
--- a/sci-mathematics/otter/otter-3.3-r2.ebuild
+++ /dev/null
@@ -1,43 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=4
-
-inherit eutils
-
-DESCRIPTION="An Automated Deduction System"
-HOMEPAGE="http://www.cs.unm.edu/~mccune/otter/"
-SRC_URI="http://www.cs.unm.edu/~mccune/otter/${P}.tar.gz"
-
-KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos"
-LICENSE="otter"
-SLOT="0"
-IUSE=""
-
-RDEPEND="
-       x11-libs/libX11
-       x11-libs/libXaw
-       x11-libs/libXt"
-DEPEND="${RDEPEND}"
-
-src_prepare() {
-       epatch \
-               "${FILESDIR}"/${P}-build.patch \
-               "${FILESDIR}"/${P}-gold.patch
-}
-
-src_compile() {
-       cd source
-       CC=$(tc-getCC) emake
-       cd "${S}"/mace2
-       CC=$(tc-getCC) emake
-}
-
-src_install() {
-       dobin bin/* source/formed/formed
-       dodoc README* Legal Changelog Contents
-       insinto /usr/share/doc/${PF}
-       doins documents/*.pdf
-       insinto /usr/share/${PN}/
-       doins -r examples examples-mace2
-}