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 | |
| 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')
| -rw-r--r-- | sci-mathematics/otter/ChangeLog | 8 | ||||
| -rw-r--r-- | sci-mathematics/otter/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/otter/files/digest-otter-3.3-r1 | 1 | ||||
| -rw-r--r-- | sci-mathematics/otter/otter-3.3-r1.ebuild | 33 |
4 files changed, 44 insertions, 2 deletions
diff --git a/sci-mathematics/otter/ChangeLog b/sci-mathematics/otter/ChangeLog index ae544964ea85..88b28d7d7467 100644 --- a/sci-mathematics/otter/ChangeLog +++ b/sci-mathematics/otter/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for sci-mathematics/otter # Copyright 2002-2005 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/ChangeLog,v 1.3 2005/04/22 00:06:28 wormo Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/ChangeLog,v 1.4 2005/04/22 01:14:36 wormo Exp $ + +*otter-3.3-r1 (21 Apr 2005) + + 21 Apr 2005; Stephanie Lockwood-Childs <wormo@gentoo.org> + +otter-3.3-r1.ebuild: + install the examples instead of leaving index.html with broken links 21 Apr 2005; Stephanie Lockwood-Childs <wormo@gentoo.org> otter-3.3.ebuild: marked ~ppc diff --git a/sci-mathematics/otter/Manifest b/sci-mathematics/otter/Manifest index a950179c2e3e..7960f6a61d2d 100644 --- a/sci-mathematics/otter/Manifest +++ b/sci-mathematics/otter/Manifest @@ -1,6 +1,8 @@ -MD5 b450ba537d87af196b0f1a800f488a90 ChangeLog 1705 +MD5 bdd28caf803287ea71c8ac10b96e2359 ChangeLog 1890 MD5 8c623e53daafa025137077c6b65815bd metadata.xml 156 MD5 5b9225829ac717696386cfa4798eebb0 otter-3.2.ebuild 689 +MD5 e3792bf64466d27ca0f7a299463b929f otter-3.3-r1.ebuild 793 MD5 508b843f5dabfe4c03dd079138ea1857 otter-3.3.ebuild 721 MD5 b299411e0aa76723d9617046d8d7ea5e files/digest-otter-3.2 62 MD5 aa559b24f0a62ba3189129735c89b785 files/digest-otter-3.3 62 +MD5 aa559b24f0a62ba3189129735c89b785 files/digest-otter-3.3-r1 62 diff --git a/sci-mathematics/otter/files/digest-otter-3.3-r1 b/sci-mathematics/otter/files/digest-otter-3.3-r1 new file mode 100644 index 000000000000..6d9defe1aa7b --- /dev/null +++ b/sci-mathematics/otter/files/digest-otter-3.3-r1 @@ -0,0 +1 @@ +MD5 516b659ffe23ff64ea8af45724b83196 otter-3.3.tar.gz 2809092 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 +} + |