diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /sci-electronics/petrify |
reinit the tree, so we can have metadata
Diffstat (limited to 'sci-electronics/petrify')
-rw-r--r-- | sci-electronics/petrify/Manifest | 5 | ||||
-rw-r--r-- | sci-electronics/petrify/metadata.xml | 16 | ||||
-rw-r--r-- | sci-electronics/petrify/petrify-4.2-r1.ebuild | 35 |
3 files changed, 56 insertions, 0 deletions
diff --git a/sci-electronics/petrify/Manifest b/sci-electronics/petrify/Manifest new file mode 100644 index 000000000000..b812822a59e5 --- /dev/null +++ b/sci-electronics/petrify/Manifest @@ -0,0 +1,5 @@ +DIST petrify-4.2-linux.tgz 1117093 SHA256 bd324a9a04c1786eb6826348c01d177e37ac101d3dde260f0c0f3dc8204c1e0f SHA512 d3cdc4991ec5084ec5b676d74a2af935459fadfa3479d09871f5a4723205b576ab8f3f91e44cd37a4c47c7ae687ead7e25c7aae3d6eae29d2896b3a215cb1980 WHIRLPOOL 14fbc93611684e5a24dd799e2b8ee85de47c7f7541f7fd92950432108663cb192ddf16f07ce3088de683c0a673ff2c3a608de76e32205ac257ff802e0c7a1408 +EBUILD petrify-4.2-r1.ebuild 755 SHA256 0a7d6959d158079f6ded526443c2a88e26e1390e3ddb89ed652af860416a62d1 SHA512 07310d52794cfa5e936f19f5b41e4f6c89e00350e7b53cdafefa991e4e50af6aea17fcfb6617e8c39fbaabbfa37a3e0348f1350fff278c32e2ed46bfb862f416 WHIRLPOOL eb8a5df99c9e90b9741733c579d4393d0ad71ba81aa40f3e5f181c7330453683e4aac0cf3fe1975faaf4ae4172d57038dcf9a30af6e43aee0746c7af17f3d35b +MISC ChangeLog 2436 SHA256 081523a0612b18d7a91620d42d25123c57a267944fc8aedfb328bae9b62fb604 SHA512 705fe32c2e10a27ee4f75b1c84476d7bf698403a2045579ce8e2c0628015b008dab555bc5c0369f42d9ef5983f1c59b59f2a288b27e926b94865d586302b4a93 WHIRLPOOL 54361e1ce46de2278c9617ce991b9d7f35318f82226e751dbaf70ab0f8f33ef7b78f78b5f696fb283f960d737cb606eb037e64a3c10153209b04e1afbedb2a9c +MISC ChangeLog-2015 1375 SHA256 15da5bd66f3115532ac82a43fd161acafca0c4c4b47ee752f90956f1be2eac12 SHA512 0c90bb8ce45a1941b77cc07fde2d7cfa8e91161efa5e53957a42917ee5940de1ecde22a1b583d58b415a85897d417d752f02a2fc09694cdd6f4acc40d03cff6d WHIRLPOOL dae740bd9ec0af86b9a10328fe6e2c7a68ff73f5cb216d3cb819e42e4225db7b61501b7fbdd9236ada6a30a499ab4cc75fd996e8f6b01cc8c7029b72c1e34aef +MISC metadata.xml 773 SHA256 d4a3996623e21bf1899c9a0b0d22a81e8930cf91d4e976c90f99585c78441769 SHA512 adf3f72fff9efed5f9a715940d1068ca390bd2095e8b4e89e611ca571cfd79b3882c8753552e1ded63f9beec2774d945bc541ac162f9532c4a6b35a217325ca4 WHIRLPOOL a5b9ff5ffb40dccf3e4d165481d0be5e7ffa54476db425251a58cfe3dcafb079972ba5f16db6f7af5c4a42777b70154cad86bcb0b6a403c468cd274392f3ca23 diff --git a/sci-electronics/petrify/metadata.xml b/sci-electronics/petrify/metadata.xml new file mode 100644 index 000000000000..a87750adb885 --- /dev/null +++ b/sci-electronics/petrify/metadata.xml @@ -0,0 +1,16 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>sci-electronics@gentoo.org</email> + <name>Gentoo Electronics Project</name> + </maintainer> + <longdescription> + Petrify is a tool for synthesis of Petri nets and asynchronous controllers. + Petrify is able to obtain Petri nets with some specific properties: pure, free + choice, unique choice, place irredundant, etc... The Petri nets accepted by + petrify can also be interpreted as Signal Transition Graphs describing the + behavior of asynchronous controllers. Petrify is able to solve the Complete + State Coding problem and generate a speed-independent circuit. + </longdescription> +</pkgmetadata> diff --git a/sci-electronics/petrify/petrify-4.2-r1.ebuild b/sci-electronics/petrify/petrify-4.2-r1.ebuild new file mode 100644 index 000000000000..8c9bb10df08d --- /dev/null +++ b/sci-electronics/petrify/petrify-4.2-r1.ebuild @@ -0,0 +1,35 @@ +# Copyright 1999-2013 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=5 + +DESCRIPTION="Synthesize Petri nets into asynchronous circuits" +HOMEPAGE="http://www.lsi.upc.edu/~jordicf/petrify/" +SRC_URI="http://www.lsi.upc.edu/~jordicf/petrify/distrib/petrify-4.2-linux.tgz" + +LICENSE="Old-MIT" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="" + +RDEPEND="media-gfx/graphviz" +DEPEND="" + +RESTRICT="strip" + +QA_PREBUILT="/opt/petrify/petrify" + +S="${WORKDIR}"/${PN} + +src_install () { + exeinto /opt/petrify + doexe bin/petrify lib/petrify.lib + dosym petrify /opt/petrify/draw_astg + dosym petrify /opt/petrify/write_sg + + dodoc doc/* + doman man/man1/* + + dodir /etc/env.d + echo "PATH=${EPREFIX}/opt/petrify" > "${ED}"/etc/env.d/00petrify +} |