commit: 91b7265ee51e2c1c9c606869215c427f0a5ec4b7 Author: David Seifert <soap <AT> gentoo <DOT> org> AuthorDate: Sat Mar 11 10:34:54 2017 +0000 Commit: David Seifert <soap <AT> gentoo <DOT> org> CommitDate: Sat Mar 11 10:48:21 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=91b7265e
sci-mathematics/otter: Remove old Package-Manager: Portage-2.3.4, Repoman-2.3.2 sci-mathematics/otter/otter-3.3-r1.ebuild | 34 ------------------------ sci-mathematics/otter/otter-3.3-r2.ebuild | 43 ------------------------------- 2 files changed, 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 -}
