diff options
| author |   Michael Sterrett <mr_bones_@gentoo.org> | 2007-07-13 05:28:09 +0000 |
|---|---|---|
| committer | Michael Sterrett <mr_bones_@gentoo.org> | 2007-07-13 05:28:09 +0000 |
| commit | 878d5f55ebdf1583a78aa8d88e423260081242bb (patch) | |
| tree | db2599d00dd7032c830b008452f3ca08ec354e8c /sci-mathematics/otter | |
| parent | whitespace (diff) | |
| download | gentoo-2-878d5f55ebdf1583a78aa8d88e423260081242bb.tar.gz gentoo-2-878d5f55ebdf1583a78aa8d88e423260081242bb.tar.bz2 gentoo-2-878d5f55ebdf1583a78aa8d88e423260081242bb.zip | |
whitespace
(Portage version: 2.1.2.9)
Diffstat (limited to 'sci-mathematics/otter')
| -rw-r--r-- | sci-mathematics/otter/otter-3.3-r1.ebuild | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/sci-mathematics/otter/otter-3.3-r1.ebuild b/sci-mathematics/otter/otter-3.3-r1.ebuild index 382b3142a8cb..f833477d3938 100644 --- a/sci-mathematics/otter/otter-3.3-r1.ebuild +++ b/sci-mathematics/otter/otter-3.3-r1.ebuild @@ -1,6 +1,6 @@ # 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.3 2005/07/24 03:55:54 dang Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.3-r1.ebuild,v 1.4 2007/07/13 05:28:09 mr_bones_ Exp $ DESCRIPTION="An Automated Deduction System." SRC_URI="http://www-unix.mcs.anl.gov/AR/${PN}/${P}.tar.gz" @@ -12,8 +12,6 @@ SLOT="0" IUSE="" DEPEND="virtual/libc" - - src_compile() { cd source make || die @@ -30,4 +28,3 @@ src_install() { insinto /usr/share/doc/${PF}/html doins -r examples examples-mace2 } - |