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

DESCRIPTION="System for Structural Operational Semantics and Natural Semantics Specifications"
HOMEPAGE="http://www.ida.liu.se/~pelab/rml/"
SRC_URI="http://www.ida.liu.se/~pelab/rml/rml-ftp/src/${PN}-mmc-${PV}-src.tar.bz2"

LICENSE="BSD"
SLOT="0"
KEYWORDS="~x86 ~amd64"
IUSE=""

DEPEND="sys-apps/sed"
RDEPEND=">=dev-lang/smlnj-110.57"

S="${WORKDIR}/${PN}-mmc-${PV}-src"

src_compile() {
	myconf="--prefix=${D}/usr/"
	${S}/configure ${myconf} || die "Configuration failed."
	emake || die "Make failed."
}

src_install() {
	emake DESTDIR="${D}" install || die "Install failed."
	sed -i -e "s|${D}||g" ${D}/usr/bin/*
}