blob: 56e95f743babdddb2118040c3ae32ac7cd30e584 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/app-sci/petrify/petrify-4.2.ebuild,v 1.1 2004/07/23 13:48:26 chrb Exp $
DESCRIPTION="Synthesize Petri nets into asynchronous circuits"
HOMEPAGE="http://www.lsi.upc.es/~jordic/petrify/"
SRC_URI="http://www.lsi.upc.es/~jordic/petrify/distrib/petrify-4.2-linux.tgz"
LICENSE="petrify"
KEYWORDS="~x86"
RESTRICT="nostrip"
RDEPEND="media-gfx/graphviz"
SLOT="0"
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
}
|