diff options
author | max <max@FreeBSD.org> | 1997-06-24 14:07:27 +0800 |
---|---|---|
committer | max <max@FreeBSD.org> | 1997-06-24 14:07:27 +0800 |
commit | adb14e52af6e59e0a8c8dfc7484a7c988f0e6d3a (patch) | |
tree | e0c44b56c460acb4dc7d7e9ee0b5d00a11f4ce29 /misc | |
parent | c88b121afc78dadde61e6fe03487b0917d363def (diff) | |
download | freebsd-ports-gnome-adb14e52af6e59e0a8c8dfc7484a7c988f0e6d3a.tar.gz freebsd-ports-gnome-adb14e52af6e59e0a8c8dfc7484a7c988f0e6d3a.tar.zst freebsd-ports-gnome-adb14e52af6e59e0a8c8dfc7484a7c988f0e6d3a.zip |
New port, xpns:
Petri-Net Simulator for Xwindows
PR: 3250
Submitted by: Pedro Giffuni S. <pgiffuni@FPS.biblos.unal.edu.co>
Diffstat (limited to 'misc')
-rw-r--r-- | misc/xpns/Makefile | 35 | ||||
-rw-r--r-- | misc/xpns/distinfo | 1 | ||||
-rw-r--r-- | misc/xpns/files/patch-aa | 28 | ||||
-rw-r--r-- | misc/xpns/files/patch-ab | 13 | ||||
-rw-r--r-- | misc/xpns/pkg-comment | 1 | ||||
-rw-r--r-- | misc/xpns/pkg-descr | 29 | ||||
-rw-r--r-- | misc/xpns/pkg-plist | 14 |
7 files changed, 121 insertions, 0 deletions
diff --git a/misc/xpns/Makefile b/misc/xpns/Makefile new file mode 100644 index 000000000000..861ff92194ed --- /dev/null +++ b/misc/xpns/Makefile @@ -0,0 +1,35 @@ +# New ports collection makefile for: xpns +# Version required: 1.0 +# Date created: 6 Apr 97 +# Whom: Pedro Giffuni <pgiffuni@fps.biblos.unal.edu.co> +# +# $Id: Makefile,v 1.2 1997/03/28 02:35:44 obrien Exp $ +# + +DISTNAME= pns_source +PKGNAME= xpns-1.0 +CATEGORIES= misc cad +MASTER_SITES= ftp://ftp.informatik.uni-stuttgart.de/pub/petri-nets/ +EXTRACT_SUFX= .tar.Z + +MAINTAINER= pgiffuni@fps.biblos.unal.edu.co + +USE_X11= yes +NO_WRKSUBDIR= yes +MAKEFILE= makefile +ALL_TARGET= pns + +do-install: + $(MKDIR) $(PREFIX)/lib/xpns + $(INSTALL_PROGRAM) $(WRKSRC)/pns $(PREFIX)/lib/xpns/ + $(INSTALL_DATA) $(WRKSRC)/pns.hlp $(PREFIX)/lib/xpns/ + $(INSTALL_DATA) $(WRKSRC)/pns.shell $(PREFIX)/lib/xpns/ + $(INSTALL_SCRIPT) $(WRKSRC)/xpns $(PREFIX)/bin/xpns + +post-install: +.if !defined(NOPORTDOCS) + $(MKDIR) $(PREFIX)/share/doc/xpns + $(CP) $(WRKSRC)/*.net $(PREFIX)/share/doc/xpns/ +.endif + +.include <bsd.port.mk> diff --git a/misc/xpns/distinfo b/misc/xpns/distinfo new file mode 100644 index 000000000000..7604b7e6d216 --- /dev/null +++ b/misc/xpns/distinfo @@ -0,0 +1 @@ +MD5 (pns_source.tar.Z) = 156e5971dc27e9580c68a9947eeb327c diff --git a/misc/xpns/files/patch-aa b/misc/xpns/files/patch-aa new file mode 100644 index 000000000000..aa8b025d4e28 --- /dev/null +++ b/misc/xpns/files/patch-aa @@ -0,0 +1,28 @@ +--- makefile.orig Wed Jul 14 06:05:14 1993 ++++ makefile Tue Apr 8 11:49:27 1997 +@@ -7,19 +7,19 @@ + #I = -I/usr/include + + #------------------------------------------ +-# OPTIONEN SUN ++# OPTIONEN FreeBSD + #------------------------------------------ +-O = -O +-I = -I/usr/local/X11R5/include ++O = -O2 -m486 ++I = -I/usr/X11R6/include + +-L = -L/usr/local/X11R5/lib -lXaw -lXmu -lXt -lXext -lX11 -lm ++L = -L/usr/X11R6/lib -lXaw -lXmu -lXt -lXext -lX11 -lm + + + #------------------------------------------ + # COMPILER UND LINKER + #------------------------------------------ +-B = gcc-2.3.3 $O -o +-CC = gcc-2.3.3 $O $I ++B = gcc $O -o ++CC = gcc $O $I + + #------------------------------------------ + # FUNKTIONEN DIR diff --git a/misc/xpns/files/patch-ab b/misc/xpns/files/patch-ab new file mode 100644 index 000000000000..6f224dbc0bda --- /dev/null +++ b/misc/xpns/files/patch-ab @@ -0,0 +1,13 @@ +--- xpns.orig Tue Apr 8 11:27:14 1997 ++++ xpns Tue Apr 8 11:29:05 1997 +@@ -1,6 +1,7 @@ +-#!/bin/tcsh +-setenv XAPPLRESDIR $PWD/ +-pns ++#!/bin/csh ++setenv XAPPLRESDIR /usr/X11R6/lib/xpns/ ++# Note pns will dump core if environment is not correct ++/usr/X11R6/lib/xpns/pns + + + diff --git a/misc/xpns/pkg-comment b/misc/xpns/pkg-comment new file mode 100644 index 000000000000..c6ba332b84b1 --- /dev/null +++ b/misc/xpns/pkg-comment @@ -0,0 +1 @@ +Petri-Net Simulator for Xwindows diff --git a/misc/xpns/pkg-descr b/misc/xpns/pkg-descr new file mode 100644 index 000000000000..f81cee25a9d8 --- /dev/null +++ b/misc/xpns/pkg-descr @@ -0,0 +1,29 @@ +PNS +--- +Is a public domain Petri net simulation tool +for Unix systems. +PNS is a graphics tool and requires the X window system. +see also www-page: +http://www.informatik.uni-stuttgart.de/ipvr/bv/pns/pns.html + +Examples: +--------- +- simple.net + 3-2 Reduction + +- add.net + x = x + y + +- sub1.net + x >= y : x = x - y + x < y : y = y - x + +- sub2.net + x = x - y + NEGATIVE = 1 <=> x-y < 0 + +- mult.net + z = x * y + +- phil.net + Dining Philosophers Problem diff --git a/misc/xpns/pkg-plist b/misc/xpns/pkg-plist new file mode 100644 index 000000000000..e9f476cc6b9a --- /dev/null +++ b/misc/xpns/pkg-plist @@ -0,0 +1,14 @@ +lib/xpns/pns +lib/xpns/pns.hlp +lib/xpns/pns.shell +bin/xpns +share/doc/xpns/a.net +share/doc/xpns/a1.net +share/doc/xpns/add.net +share/doc/xpns/mult.net +share/doc/xpns/phil.net +share/doc/xpns/rw.net +share/doc/xpns/sub.net +share/doc/xpns/sub2.net +@dirrm share/doc/xpns +@dirrm lib/xpns |