# Copyright 1999-2010 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $

EAPI="3"

DESCRIPTION="This is a theorem prover for equational logic."
HOMEPAGE="http://www.mcs.anl.gov/AR/eqp/"
SRC_URI="http://www.cs.unm.edu/~mccune/old-ftp/eqp-09e.tar.gz"

LICENSE="Unknown, you can download the sources though."
SLOT="0"
KEYWORDS="~amd64"
IUSE=""

src_unpack ()
{
    unpack $A
    #Use env CFLAGS
    cat $WORKDIR/$P/Makefile | grep --invert-match ^CFLAGS > $WORKDIR/$P/Makefile
    #This package fails to compile with ldflags.
    LDFLAGS=""
}

src_compile()
{
	emake eqp || die "Compile phase failed."
}
src_install()
{
	mkdir -p $PORTAGE_BUILDDIR/image/usr/bin
	cp $WORKDIR/$P/eqp09e $PORTAGE_BUILDDIR/image/usr/bin
}