| Port details |
- pipe Tool for creating and analysing Petri nets
- 2.5_2 misc
 =3      2.5_2Version of this port present on the latest quarterly branch. - There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2004-08-23 08:06:49
- Last Update: 2023-11-01 22:11:47
- Commit Hash: 05f0f44
- People watching this port, also watch:: cunit, mcron, dnsutl, p5-RRDTool-OO, py311-Automat
- Also Listed In: java
- License: not specified in port
- WWW:
- https://pipe2.sourceforge.net/
- Description:
- Petri nets are a popular graphical way of modeling concurrent systems such as
communications protocols, multiprocessor computers etc. With Petri nets it is
possible to assess the correctness of systems for example by verifying that
the system cannot deadlock, that there cannot be any buffer overflows etc.
PIPEs main aim is to improve on existing tools available for modeling Petri
Nets. A key design feature is the modular approach adopted for analysis,
enabling new modules to written easily and powerfully, using built-in data
layer methods for standard calculations. Eight analysis modules have been
written (so far) including Invariant Analysis, State-Space Analysis (deadlock,
etc), Simulation Analysis & Classification. PIPE adheres to the latest XML
Petri net standard (PNML). File format for saving and loading Petri-Nets is
also extensible through the use of XSLT, the default being PNML.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/misc/pipe/ && make install clean
- To add the package, run one of these commands:
- pkg install misc/pipe
- pkg install pipe
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: pipe
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (pipe25_rc5.zip) = ce702f300f691bdc10e2b9727ea4f15d0baec002548d352d3c80a01e6be060c1
SIZE (pipe25_rc5.zip) = 2070158
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Runtime dependencies:
-
- java : java/openjdk8
- This port is required by:
- for Build
-
- math/freefem++
- for Run
-
- math/freefem++
Configuration Options:- ===> The following configuration options are available for pipe-2.5_2:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- misc_pipe
- USES:
- zip
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2.5_2
01 Nov 2023 22:11:47
 |
Rodrigo Osorio (rodrigo) |
*/*: Update WWW to use HTTPS for sourceforge.net projects
Homepage link is permanent redirected to its HTTPS counterpart |
07 Sep 2022 21:58:51
|
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
2.5_2
07 Sep 2022 21:10:59
|
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above  ) |
2.5_2
20 Jul 2022 14:22:28
|
Tobias C. Berner (tcberner) |
misc: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Adam Weinberger <adam@vectors.cx>
* Adam Weinberger <adamw@FreeBSD.org>
* Akinori MUSHA aka knu <knu@idaemons.org>
* Alan E <alane@FreeBSD.org>
* Alex Semenyaka <alex@rinet.ru>
* Alex Stangl <alex@stangl.us>
* Alexander Logvinov <avl@FreeBSD.org>
* Alexander Logvinov <ports@logvinov.com>
* Alexander Nusov <alexander.nusov@nfvexpress.com>
* Alexander Timoshenko <gonzo@univ.kiev.ua> (Only the first 15 lines of the commit message are shown above ) |
2.5_2
06 Apr 2021 14:31:13
|
Mathieu Arnold (mat) |
all: Remove all other $FreeBSD keywords. |
2.5_2
06 Apr 2021 14:31:07
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
2.5_2
26 Nov 2019 21:46:13
 |
jkim |
Clean up after java/openjdk6 and java/openjdk6-jre removal
java/openjdk6 support was removed from Mk/bsd.java.mk (r512662) and
java/openjdk6 and java/openjdk6-jre were removed from the ports tree
(r512663). Now this patch completely removes remaining stuff from the
ports tree.
PR: 241953 (exp-run)
Reviewed by: glewis
Approved by: portmgr (antoine)
Differential Revision: https://reviews.freebsd.org/D22342 |
2.5_1
10 Aug 2016 09:01:05
|
amdmi3 |
- Add NO_ARCH
- Switch to options helpers
- Simplify installation |
2.5_1
09 Dec 2014 13:36:34
|
bapt |
Cleanup plist |
2.5_1
07 Jul 2014 15:31:02
|
olgeni |
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Category M.
CR: D306
Approved by: portmgr (bapt) |
2.5_1
04 Jul 2014 00:56:58
|
adamw |
Remove NOPORTDOCS and NOPORTEXAMPLES. |
2.5_1
08 Jun 2014 16:13:11
|
vanilla |
Stagify. |
2.5_1
10 May 2014 18:28:14
|
antoine |
Reset more maintainers:
<yar@FreeBSD.org>: host hub.freebsd.org[8.8.178.136] said: 550 5.1.1
<yar@FreeBSD.org>: Recipient address rejected: User unknown in local
<rud@cs.uni-magdeburg.de>: host mail.cs.uni-magdeburg.de[141.44.21.48] said:
550 5.1.1 <rud@cs.uni-magdeburg.de>... User unknown (in reply to RCPT TO
<stefan@fh-mainz.de>: host srv-eml-pmva-02.fh-mainz.de[143.93.114.189] said:
550 5.1.1 <stefan@fh-mainz.de>: Recipient address rejected: undeliverable
<ocaml-ounit-port@kotka.de>: host kotka.de[62.75.247.120] said: 550 5.1.1
<ocaml-ounit-port@kotka.de>: Recipient address rejected: User unknown in
<toru@tenchi.ne.jp>: host tuna.tenchi.ne.jp[49.212.63.105] said: 550 5.1.1(Only the first 15 lines of the commit message are shown above ) |
2.5_1
10 Mar 2014 16:25:34
|
bapt |
Convert m* to USES=zip |
20 Sep 2013 20:50:59
 
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
misc) |
2.5_1
10 Dec 2012 13:43:44
|
bapt |
Decommissioning java 1.5 (EOLed since October 2009):
suppress any reference to JAVA_VERSION= 1.5+ (part3) |
2.5_1
21 Jul 2011 05:03:02
|
linimon |
Now that the Java 1.3 and Java 1.4 ports are deprecated and will expire soon,
remove support for them from bsd.java.mk. As Jikes is not available in Java 1.5
or higher, remove it from bsd.java.mk too (suggested by hq@) and from the ports
which used it (only occurences were USE_JIKES=no). Support for the Blackdown VM
is also removed, as it is not available in Java 1.5 and higher.
Also remove the mapping from Java 1.1-1.4 to Java 1.5+ in bsd.java.mk to detect
old, broken ports; therefore bump the minimal value of JAVA_VERSION to 1.5.
While here, replace static values of JAVA_VERSION in files/*.in by
%%JAVA_VERSION%% .
PR: ports/158969
Submitted by: rene
Tested on: pointyhat-west -exp |
2.5_1
19 Mar 2011 12:38:54
|
miwi |
- Get Rid MD5 support |
2.5_1
22 Aug 2009 00:28:34
|
amdmi3 |
- Switch SourceForge ports to the new File Release System: categories starting
with M |
2.5_1
06 Jun 2008 13:45:40
|
edwin |
Bump portrevision due to upgrade of devel/gettext.
The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).
PR: ports/124340
Submitted by: edwin@
Approved by: portmgr (pav) |
2.5
01 Feb 2008 10:32:05
|
miwi |
- Update to 2.5
PR: 120089
Submitted by: Stefan Pauly <stefan@fh-mainz.de> (maintainer) |
2.4.5
17 Aug 2007 10:11:42
|
mm |
- Update to 2.4.5
- Change maintainer to submitter
PR: ports/115248
Submitted by: Stefan Pauly <stefan at fh-mainz.de> |
2.0_1
19 May 2007 20:32:57
|
flz |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}. |
2.0
17 May 2006 09:25:21
|
vs |
Update to 2.0
PR: ports/96770
Submitted by: Stefan Pauly |
0.b.1.5
25 Nov 2005 16:09:33
|
pav |
- Add SHA256 |
0.b.1.5
07 Apr 2005 00:03:30
|
hq |
Install data files using FIND | INSTALL_DATA
Submitted by: Sam Lawrance <boris@brooknet.com.au> |
0.b.1.5
06 Apr 2005 23:59:53
|
hq |
- Update to 0.b.1.5 (and unbreak) [1]
- Stipulate JAVA_VERSION [1]
- Symlink examples so the program can find them and provide the
"Examples" menu [1]
- Add 'java' category [2]
- Install documentation using FIND | INSTALL_DATA
- Improve the launcher shell script (use javavmwrapper 2.0)
- Use SUB_FILES to build the launcher shell script
PR: 79578 [1]
Submitted by: Sam Lawrance <boris@brooknet.com.au> [1]
Reported by: portlint [2]
Reviewed by: Sam Lawrance <boris@brooknet.com.au> |
0.b.1.0
26 Mar 2005 07:06:21
|
kris |
BROKEN: Size mismatch
Approved by: portmgr (kris) |
0.b.1.0
23 Aug 2004 08:04:45
|
ijliao |
add pipe beta-1.0
Platform Independent Petri-Net Editor |
As an Amazon Associate I earn from qualifying purchases.