| # Copyright 1999-2014 Gentoo Foundation |
| # Distributed under the terms of the GNU General Public License v2 |
| # $Id$ |
| |
| 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 |
| } |