diff options
| author |   Olivier Fisette <ribosome@gentoo.org> | 2005-06-26 02:19:00 +0000 |
|---|---|---|
| committer | Olivier Fisette <ribosome@gentoo.org> | 2005-06-26 02:19:00 +0000 |
| commit | f6f262b00e1e0996dc64c8c6e35542745c1c4a70 (patch) | |
| tree | e8adfc79b826801894e1750ac97dd03d02e2055c /sci-mathematics/otter/otter-3.3.ebuild | |
| parent | Take app-admin/filewatcher out of package.mask. (diff) | |
| download | gentoo-2-f6f262b00e1e0996dc64c8c6e35542745c1c4a70.tar.gz gentoo-2-f6f262b00e1e0996dc64c8c6e35542745c1c4a70.tar.bz2 gentoo-2-f6f262b00e1e0996dc64c8c6e35542745c1c4a70.zip | |
Added to x86. Removed old versions.
(Portage version: 2.0.51.19)
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 -} - |