# Copyright 1999-2011 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.8 2011/06/03 08:58:55 jlec Exp $ DESCRIPTION="An Automated Deduction System." HOMEPAGE="http://www.cs.unm.edu/~mccune/otter/" SRC_URI="http://www.cs.unm.edu/~mccune/otter/${P}.tar.gz" KEYWORDS="~amd64 ~ppc x86 ~amd64-linux ~x86-linux ~ppc-macos" LICENSE="otter" SLOT="0" IUSE="" RDEPEND=" x11-libs/libX11 x11-libs/libXaw x11-libs/libXt" DEPEND="${RDEPEND}" src_compile() { cd source emake -j1 || die cd "${S}"/mace2 emake -j1 || 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 }