diff options
| author |   Stephanie J. Lockwood-Childs <wormo@gentoo.org> | 2005-04-22 01:14:36 +0000 |
|---|---|---|
| committer | Stephanie J. Lockwood-Childs <wormo@gentoo.org> | 2005-04-22 01:14:36 +0000 |
| commit | 771cc5c079c097625ca01305353d9db4c5ec33ba (patch) | |
| tree | 9dcbf66e5f4247338c270d0c4d6c0c6ce06e9bc8 /sci-mathematics/otter/otter-3.3-r1.ebuild | |
| parent | Fixed sandbox violation (Manifest recommit) (diff) | |
| download | gentoo-2-771cc5c079c097625ca01305353d9db4c5ec33ba.tar.gz gentoo-2-771cc5c079c097625ca01305353d9db4c5ec33ba.tar.bz2 gentoo-2-771cc5c079c097625ca01305353d9db4c5ec33ba.zip | |
install examples as part of docs
(Portage version: 2.0.51.19)
Diffstat (limited to 'sci-mathematics/otter/otter-3.3-r1.ebuild')
| -rw-r--r-- | sci-mathematics/otter/otter-3.3-r1.ebuild | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/sci-mathematics/otter/otter-3.3-r1.ebuild b/sci-mathematics/otter/otter-3.3-r1.ebuild new file mode 100644 index 000000000000..8769ac3bcec3 --- /dev/null +++ b/sci-mathematics/otter/otter-3.3-r1.ebuild @@ -0,0 +1,33 @@ +# 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-r1.ebuild,v 1.1 2005/04/22 01:14:36 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 + insinto /usr/share/doc/${PF}/html + doins -r examples examples-mace2 +} + |