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

FN="${P}.zip"

DESCRIPTION="Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.)."
HOMEPAGE="http://uppaal.com/"
DOWNLOAD_URI="http://www.it.uu.se/research/group/darts/uppaal/download.shtml"
SRC_URI="${FN}"

LICENSE="uppaal"
SLOT="0"
KEYWORDS="~x86"
IUSE=""

RESTRICT="nomirror fetch nostrip"

DEPEND="app-arch/unzip"
RDEPEND=">=virtual/jre-1.5"

pkg_nofetch() {
	einfo "Please download ${FN} from"
	einfo "${DOWNLOAD_URI}"
	einfo "and place it in ${DISTDIR}"
}

src_unpack() {
	unpack ${A}
	cd ${S}

	sed -i -e "s:^HERE=.*$:HERE=\"/opt/${PN}\":" uppaal
}

src_install() {
	dodir /opt/${PN}

	doman man/man1/*.1
	dodoc README
	docinto demo
	dodoc demo/*


	insinto /opt/${PN}
	exeinto /opt/${PN}

	doexe uppaal
	doins -r lib/
	doins uppaal.jar

	dosym /opt/${PN}/uppaal /opt/bin/uppaal

	dodir /opt/${PN}/bin-Linux
	exeinto /opt/${PN}/bin-Linux

	doexe bin-Linux/*

}