dev-util/uppaal-tron/uppaal-tron-1.4_beta2.ebuild

uppaal-tron-1.4_beta2.ebuild (text/plain), 1.21 KB, created by Bjarke Freund-Hansen on 2007-04-13 09:26:00 UTC

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

FN="${P//_beta2/b2-linux.zip}"

DESCRIPTION="Uppaal TRON is a testing tool, based on Uppaal engine, suited for
black-box conformance testing of timed systems, mainly targeted for embedded
software commonly found in various controllers. By online we mean that tests are
derived, executed and checked simultaneously while maintaining the connection to
the system in real-time."
HOMEPAGE="http://www.cs.aau.dk/~marius/tron/index.html"
DOWNLOAD_URI="http://www.cs.aau.dk/~marius/tron/download.html"
SRC_URI="${FN}"

LICENSE="uppaal-tron"
SLOT="0"
KEYWORDS="-* ~x86"
IUSE=""

RESTRICT="nomirror fetch nostrip"

DEPEND="
	app-arch/unzip
	>=virtual/jdk-1.5
	media-gfx/graphviz"

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 ${WORKDIR}/uppaal-tron*
}

src_install() {
	cd ${WORKDIR}/uppaal-tron*

	dodoc README.txt

	docinto button
	dodoc button/*

	docinto tracer
	dodoc tracer/*


	dodir /usr/include/tron
	insinto /opt/include/tron
	exeinto /usr/bin

	doexe tron
	doins -r include/*


}