diff options
| author |   Chris Bainbridge <chrb@gentoo.org> | 2004-07-23 13:48:26 +0000 |
|---|---|---|
| committer | Chris Bainbridge <chrb@gentoo.org> | 2004-07-23 13:48:26 +0000 |
| commit | 651814d16808103197be82933fb5dc3e76f439b0 (patch) | |
| tree | ac005d2847ed1a0fa4802bbb81c3ac8a93d8f520 /app-sci | |
| parent | cleanout (diff) | |
| download | historical-651814d16808103197be82933fb5dc3e76f439b0.tar.gz historical-651814d16808103197be82933fb5dc3e76f439b0.tar.bz2 historical-651814d16808103197be82933fb5dc3e76f439b0.zip | |
Submitted by Chris Bainbridge, bug #35465
Diffstat (limited to 'app-sci')
| -rw-r--r-- | app-sci/petrify/ChangeLog | 10 | ||||
| -rw-r--r-- | app-sci/petrify/Manifest | 4 | ||||
| -rw-r--r-- | app-sci/petrify/files/digest-petrify-4.2 | 1 | ||||
| -rw-r--r-- | app-sci/petrify/metadata.xml | 9 | ||||
| -rw-r--r-- | app-sci/petrify/petrify-4.2.ebuild | 26 |
5 files changed, 50 insertions, 0 deletions
diff --git a/app-sci/petrify/ChangeLog b/app-sci/petrify/ChangeLog new file mode 100644 index 000000000000..84f2464218e0 --- /dev/null +++ b/app-sci/petrify/ChangeLog @@ -0,0 +1,10 @@ +# ChangeLog for app-sci/petrify +# Copyright 1999-2004 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/app-sci/petrify/ChangeLog,v 1.1 2004/07/23 13:48:26 chrb Exp $ + +*petrify-4.2 (23 Jul 2004) + + 23 Jul 2004; Chris Bainbridge <chrb@gentoo.org> +metadata.xml, + +petrify-4.2.ebuild: + Submitted by Chris Bainbridge, bug #35465 + diff --git a/app-sci/petrify/Manifest b/app-sci/petrify/Manifest new file mode 100644 index 000000000000..ef275602bcf5 --- /dev/null +++ b/app-sci/petrify/Manifest @@ -0,0 +1,4 @@ +MD5 dd79fa36934b6688f882db778cfbb46c metadata.xml 337 +MD5 ed1367e840d5468ba3e8801f0c76b459 petrify-4.2.ebuild 844 +MD5 37a96f5c2dc103dfe2f13867710cfece ChangeLog 362 +MD5 0467469170b6ef7ae8aff2608689200b files/digest-petrify-4.2 67 diff --git a/app-sci/petrify/files/digest-petrify-4.2 b/app-sci/petrify/files/digest-petrify-4.2 new file mode 100644 index 000000000000..1cd867a47551 --- /dev/null +++ b/app-sci/petrify/files/digest-petrify-4.2 @@ -0,0 +1 @@ +MD5 a72708915daca998cc0b36404bec6fbd petrify-4.2-linux.tgz 1117093 diff --git a/app-sci/petrify/metadata.xml b/app-sci/petrify/metadata.xml new file mode 100644 index 000000000000..3f9567f925a2 --- /dev/null +++ b/app-sci/petrify/metadata.xml @@ -0,0 +1,9 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer> + <email>chrb@gentoo.org</email> + <name>Chris Bainbridge</name> + </maintainer> + <longdescription>Synthesize Petri nets into asynchronous circuits</longdescription> +</pkgmetadata> diff --git a/app-sci/petrify/petrify-4.2.ebuild b/app-sci/petrify/petrify-4.2.ebuild new file mode 100644 index 000000000000..56e95f743bab --- /dev/null +++ b/app-sci/petrify/petrify-4.2.ebuild @@ -0,0 +1,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 +} |