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

DESCRIPTION="System for Enumerating finite Models of first-order many-sorted theories"

HOMEPAGE="http://www.cs.uiowa.edu/~hzhang/sem.html"

SRC_URI="ftp://ftp.cs.uiowa.edu/pub/hzhang/sem/sem.tar.Z"

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

SLOT="0"

IUSE="icc"
DEPEND="app-text/tetex \
	app-text/ghostscript \
	icc? ( dev-lang/icc )"

S="${WORKDIR}/sem1.7"
src_compile() {
	epatch ${FILESDIR}/gentoo-sem-1.7.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 || die
	else
		make || die
	fi

	latex sem-man.tex
	latex sem-man.tex

	dvipdf sem-man.dvi
}



src_install() {
	dobin sem

	dodoc README

	cp sem-man.pdf ${D}/usr/share/doc/${PF}
	cp -a examples ${D}/usr/share/doc/${PF}
}