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

DESCRIPTION="Petrify is a tool for synthesis of Petri nets and asynchronous controllers"
HOMEPAGE="http://www.lsi.upc.es/~jordic/petrify/"
SRC_URI="http://www.lsi.upc.es/~jordic/petrify/distrib/petrify-4.2-linux.tgz"
LICENSE="BSD"
KEYWORDS="x86"
RESTRICT="nostrip"
RDEPEND="media-gfx/graphviz"

src_install () {
	cd ${WORKDIR}/petrify
	dodir /opt/petrify
	exeinto /opt/petrify
	doexe bin/petrify
	dosym /opt/petrify/petrify /opt/petrify/draw_astg
	dosym /opt/petrify/petrify /opt/petrify/write_sg
	dodoc doc/*
	doman man/man1/*
	cp -a lib/petrify.lib ${D}/opt/petrify
	dodir /etc/env.d
	echo "PATH=/opt/petrify" > ${D}/etc/env.d/00petrify
}