eqp-0.9d.ebuild

eqp-0.9d.ebuild (text/plain), 808 bytes, created by Thomas Veith (RETIRED) on 2004-04-27 14:32:21 UTC

# Copyright 1999-2004 Gentoo Technologies, Inc.
# Distributed under the terms of the GNU General Public License v2
# $Header: $

MY_P="eqp-09d"

DESCRIPTION="automated theorem proving program for first-order equational logic"
HOMEPAGE="http://www-unix.mcs.anl.gov/AR/eqp/"

SRC_URI="ftp://info.mcs.anl.gov/pub/Otter/${MY_P}.tar.gz"

LICENCSE="public-domain"
KEYWORDS="~x86"

SLOT="0"

IUSE="icc"
DEPEND="icc? ( dev-lang/icc )"

S="${WORKDIR}/${MY_P}"
src_compile() {
	epatch ${FILESDIR}/gentoo-eqp-09d.diff

	if use icc; then
		local cpu="`get-flag march || get-flag mcpu`"
		CC="icc" CXXFLAGS="-O3 -march=${cpu} -ipo" CFLAGS="-O3 -march=${cpu} -ipo" make eqp || die
	else
		make eqp || die
	fi
}

src_install() {
	dobin eqp09d
	dodoc ChangeLog Manual.txt README

	cp -a examples ${D}/usr/share/doc/${PF}/
}