1 # Copyright 1999-2020 Gentoo Authors
2 # Distributed under the terms of the GNU General Public License v2
6 DESCRIPTION="Synthesize Petri nets into asynchronous circuits"
7 HOMEPAGE="http://www.lsi.upc.edu/~jordicf/petrify/"
8 SRC_URI="http://www.lsi.upc.edu/~jordicf/petrify/distrib/petrify-4.2-linux.tgz"
12 KEYWORDS="~amd64 ~x86"
15 RDEPEND="media-gfx/graphviz"
20 QA_PREBUILT="/opt/petrify/petrify"
26 doexe bin/petrify lib/petrify.lib
27 dosym petrify /opt/petrify/draw_astg
28 dosym petrify /opt/petrify/write_sg
34 echo "PATH=${EPREFIX}/opt/petrify" > "${ED}"/etc/env.d/00petrify