diff options
Diffstat (limited to 'sci-mathematics/otter/otter-3.3-r1.ebuild')
| -rw-r--r-- | sci-mathematics/otter/otter-3.3-r1.ebuild | 34 |
1 files changed, 0 insertions, 34 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 -} |