freebsd-ports/math/spin/Makefile

# Ports collection makefile for: spin
# Version required:	3.3.9
# Date created:		Oct 23, 1997
# Whom:			jhanna@home.com
#
# $FreeBSD$
#

DISTNAME=	spin-3.39
CATEGORIES=	math
MASTER_SITES=	ftp://netlib.bell-labs.com/netlib/spin/ \
		ftp://www.netlib.org/spin/ \
		ftp://wcarchive.cdrom.com/pub/netlib/spin/
DISTFILES=	spin339.tar.gz html.tar.gz

MAINTAINER=	jhanna@home.com

DIST_SUBDIR=	spin
WRKSRC=		${WRKDIR}/Src3.3
MAKEFILE=	makefile
ALL_TARGET=	spin

post-extract:
	@cd ${WRKDIR}/Test && ${SH} ${WRKDIR}/Test/examples

pre-build:
	cd ${WRKSRC} && ${MAKE} clean

do-install:
	${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin
	${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.3/xspin338.tcl ${PREFIX}/bin
	${RM} -f ${PREFIX}/bin/xspin
	${LN} -s ${PREFIX}/bin/xspin338.tcl ${PREFIX}/bin/xspin

.if !defined(NOPORTDOCS)
	${MKDIR} ${PREFIX}/share/doc/spin/Doc
	${MKDIR} ${PREFIX}/share/doc/spin/Examples
	${MKDIR} ${PREFIX}/share/doc/spin/HTML
	${MKDIR} ${PREFIX}/share/doc/spin/Test
	${INSTALL_DATA} ${WRKDIR}/Doc/* ${PREFIX}/share/doc/spin/Doc
	${INSTALL_DATA} ${WRKDIR}/Test/ex.* ${PREFIX}/share/doc/spin/Examples
	${INSTALL_DATA} ${WRKDIR}/HTML/* ${PREFIX}/share/doc/spin/HTML
.for i in README.tests abp erathostenes hello leader leader.ltl leader2 \
	loops pathfinder peterson petersonN pftp priorities snoopy sort
	${INSTALL_DATA} ${WRKDIR}/Test/$i ${PREFIX}/share/doc/spin/Test
.endfor
.endif

.include <bsd.port.mk>
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com 1998-12-12 22:17:48 +00:00			`# Ports collection makefile for: spin`
Update port to 3.3.9 PR: 16531 Submitted by: Maintainer 2000-02-09 13:49:07 +00:00			`# Version required: 3.3.9`
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com 1998-12-12 22:17:48 +00:00			`# Date created: Oct 23, 1997`
			`# Whom: jhanna@home.com`
			`#`
Change Id->FreeBSD. 1999-08-25 07:23:21 +00:00			`# $FreeBSD$`
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com 1998-12-12 22:17:48 +00:00			`#`

Update port to 3.3.9 PR: 16531 Submitted by: Maintainer 2000-02-09 13:49:07 +00:00			`DISTNAME= spin-3.39`
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com 1998-12-12 22:17:48 +00:00			`CATEGORIES= math`
			`MASTER_SITES= ftp://netlib.bell-labs.com/netlib/spin/ \`
			`ftp://www.netlib.org/spin/ \`
Updated to version 3.33 PR: 13015 Submitted: maintainer 1999-08-12 00:31:50 +00:00			`ftp://wcarchive.cdrom.com/pub/netlib/spin/`
Update port to 3.3.9 PR: 16531 Submitted by: Maintainer 2000-02-09 13:49:07 +00:00			`DISTFILES= spin339.tar.gz html.tar.gz`
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com 1998-12-12 22:17:48 +00:00
			`MAINTAINER= jhanna@home.com`

			`DIST_SUBDIR= spin`
Update spin to 3.30. PR: 12373 Submitted by: maintainer 1999-06-25 03:51:43 +00:00			`WRKSRC= ${WRKDIR}/Src3.3`
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com 1998-12-12 22:17:48 +00:00			`MAKEFILE= makefile`
			`ALL_TARGET= spin`

			`post-extract:`
			`@cd ${WRKDIR}/Test && ${SH} ${WRKDIR}/Test/examples`

			`pre-build:`
			`cd ${WRKSRC} && ${MAKE} clean`

			`do-install:`
			`${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin`
* Update port to 3.3.8 * Fix unfetchable distfiles PR: 16321 Submitted by: Maintainer 2000-01-26 02:06:39 +00:00			`${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.3/xspin338.tcl ${PREFIX}/bin`
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com 1998-12-12 22:17:48 +00:00			`${RM} -f ${PREFIX}/bin/xspin`
* Update port to 3.3.8 * Fix unfetchable distfiles PR: 16321 Submitted by: Maintainer 2000-01-26 02:06:39 +00:00			`${LN} -s ${PREFIX}/bin/xspin338.tcl ${PREFIX}/bin/xspin`
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com 1998-12-12 22:17:48 +00:00
			`.if !defined(NOPORTDOCS)`
			`${MKDIR} ${PREFIX}/share/doc/spin/Doc`
			`${MKDIR} ${PREFIX}/share/doc/spin/Examples`
			`${MKDIR} ${PREFIX}/share/doc/spin/HTML`
			`${MKDIR} ${PREFIX}/share/doc/spin/Test`
			`${INSTALL_DATA} ${WRKDIR}/Doc/* ${PREFIX}/share/doc/spin/Doc`
			`${INSTALL_DATA} ${WRKDIR}/Test/ex.* ${PREFIX}/share/doc/spin/Examples`
			`${INSTALL_DATA} ${WRKDIR}/HTML/* ${PREFIX}/share/doc/spin/HTML`
Upgrade to 3.24, fixes build problem. PR: 9732 Submitted by: maintainer 1999-02-12 02:48:58 +00:00			`.for i in README.tests abp erathostenes hello leader leader.ltl leader2 \`
Update spin to 3.30. PR: 12373 Submitted by: maintainer 1999-06-25 03:51:43 +00:00			`loops pathfinder peterson petersonN pftp priorities snoopy sort`
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com 1998-12-12 22:17:48 +00:00			`${INSTALL_DATA} ${WRKDIR}/Test/$i ${PREFIX}/share/doc/spin/Test`
			`.endfor`
			`.endif`

			`.include <bsd.port.mk>`