diff options
Diffstat (limited to 'misc/xpns/Makefile')
| -rw-r--r-- | misc/xpns/Makefile | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/misc/xpns/Makefile b/misc/xpns/Makefile new file mode 100644 index 00000000000..51855d12dbe --- /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.1.1.1 1997/10/11 21:55:15 hubertf 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> |