diff options
| author |   David Seifert <soap@gentoo.org> | 2017-03-11 11:34:54 +0100 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2017-03-11 11:48:21 +0100 |
| commit | 91b7265ee51e2c1c9c606869215c427f0a5ec4b7 (patch) | |
| tree | f4a9134398e7282104bf6809f10fb4d98235d4ac /sci-mathematics/otter | |
| parent | sci-mathematics/otter: Mark amd64 and x86 stable (diff) | |
| download | gentoo-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/otter')
| -rw-r--r-- | sci-mathematics/otter/otter-3.3-r1.ebuild | 34 | ||||
| -rw-r--r-- | sci-mathematics/otter/otter-3.3-r2.ebuild | 43 |
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 e30d59979c7f..000000000000 --- 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 97614003f485..000000000000 --- 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 -} |