summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Seifert <soap@gentoo.org>2017-03-11 11:34:54 +0100
committerDavid Seifert <soap@gentoo.org>2017-03-11 11:48:21 +0100
commit91b7265ee51e2c1c9c606869215c427f0a5ec4b7 (patch)
treef4a9134398e7282104bf6809f10fb4d98235d4ac /sci-mathematics
parentsci-mathematics/otter: Mark amd64 and x86 stable (diff)
downloadgentoo-91b7265ee51e2c1c9c606869215c427f0a5ec4b7.tar.gz
gentoo-91b7265ee51e2c1c9c606869215c427f0a5ec4b7.tar.bz2
gentoo-91b7265ee51e2c1c9c606869215c427f0a5ec4b7.zip
sci-mathematics/otter: Remove old
Package-Manager: Portage-2.3.4, Repoman-2.3.2
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/otter/otter-3.3-r1.ebuild34
-rw-r--r--sci-mathematics/otter/otter-3.3-r2.ebuild43
2 files changed, 0 insertions, 77 deletions
diff --git a/sci-mathematics/otter/otter-3.3-r1.ebuild b/sci-mathematics/otter/otter-3.3-r1.ebuild
deleted file mode 100644
index e30d59979c7..00000000000
--- 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
index 97614003f48..00000000000
--- 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
-}