diff options
Diffstat (limited to 'sci-mathematics/otter/otter-3.3.ebuild')
| -rw-r--r-- | sci-mathematics/otter/otter-3.3.ebuild | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/sci-mathematics/otter/otter-3.3.ebuild b/sci-mathematics/otter/otter-3.3.ebuild deleted file mode 100644 index 1473c5ee0b71..000000000000 --- a/sci-mathematics/otter/otter-3.3.ebuild +++ /dev/null @@ -1,31 +0,0 @@ -# Copyright 1999-2005 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.3.ebuild,v 1.2 2005/04/22 00:06:28 wormo Exp $ - -DESCRIPTION="An Automated Deduction System." -SRC_URI="http://www-unix.mcs.anl.gov/AR/${PN}/${P}.tar.gz" -HOMEPAGE="http://www-unix.mcs.anl.gov/AR/otter/" - -KEYWORDS="~x86 ~ppc-macos ~ppc" -LICENSE="otter" -SLOT="0" -IUSE="" -DEPEND="virtual/libc" - - - -src_compile() { - cd source - make || die - cd ${S}/mace2 - make || 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 -} - |