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

DESCRIPTION="Search for finite models of first-order statements"
HOMEPAGE="http://www-unix.mcs.anl.gov/AR/mace4/"

MY_P="mace4-2003-B"

SRC_URI="http://www-unix.mcs.anl.gov/AR/mace4/${MY_P}.tar.gz"

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

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

S="${WORKDIR}/${MY_P}"
src_compile() {
	epatch ${FILESDIR}/gentoo-mace4.patch

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

	make test1 || die
	make test2 || die
	make test3 || die
}

src_install() {
	dobin bin/*
    
	insinto /usr/share/doc/${PF}

	sed "s:example.sheffer25:examples-perl:g" < mace4/index.html > index.html
	newins index.html readme.html
	doins doc/mace4.pdf
	doins doc/mace4.ps
    
	dodir /usr/share/doc/${PF}/ladr
	dodir /usr/share/doc/${PF}/ladr/html
	insinto /usr/share/doc/${PF}/ladr
	doins ladr/index.html
	insinto /usr/share/doc/${PF}/ladr/html
	doins ladr/html/*

	dodir /usr/share/doc/${PF}/examples
	insinto /usr/share/doc/${PF}/examples
	doins examples/*

	dodir /usr/share/doc/${PF}/examples-aux
	insinto /usr/share/doc/${PF}/examples-aux
	doins examples-aux/*

	sed "s:../bin/:/usr/bin/:g" < examples-perl/index.html > tmp
	mv tmp examples-perl/index.html
	dodir /usr/share/doc/${PF}/examples-perl
	insinto /usr/share/doc/${PF}/examples-perl
	doins examples-aux/*
}