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

EAPI="3"

DESCRIPTION="System for Enumerating finite Models of first-order many-sorted theories"
HOMEPAGE="http://www.cs.uiowa.edu/~hzhang/sem.html"
SRC_URI="http://www.cs.uiowa.edu/~hzhang/sem/sem.tgz"

LICENSE="Not specified, but is opensource."
SLOT="0"
KEYWORDS="amd64"
IUSE=""

#RDEPEND=
#DEPEND=$RDEPEND

src_unpack()
{
	unpack $A
	mv $WORKDIR/sem1.8 $WORKDIR/$P
}
src_compile()
{
	emake || die
}
src_install()
{
	mkdir -p $PORTAGE_BUILDDIR/image/usr/bin
	cp $WORKDIR/$P/sem $PORTAGE_BUILDDIR/image/usr/bin
}