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 | f3cc63dee2e6d6688ec55e9e0514c96bed12d442 (patch) | |
| tree | 21c1ff951ee2c71348d6b2c88cdd681de7ffc918 /sci-mathematics/otter | |
| parent | whitespace (diff) | |
| download | historical-f3cc63dee2e6d6688ec55e9e0514c96bed12d442.tar.gz historical-f3cc63dee2e6d6688ec55e9e0514c96bed12d442.tar.bz2 historical-f3cc63dee2e6d6688ec55e9e0514c96bed12d442.zip | |
whitespace
Package-Manager: portage-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 } - |