mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-15 23:50:44 +00:00
Code Issues Releases Activity
1d224bac04
freebsd-ports/math/spin/Makefile

50 lines
1.4 KiB
Makefile
Raw Normal View History

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
# 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
#
Convert to PORTNAME/PORTVERSION.
2000-04-14 07:20:58 +00:00
PORTNAME= spin
PORTVERSION= 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/ \
ftp.cdrom.com -> ftp.freesoftware.com, adjusting paths as I go.
2000-05-14 05:40:52 +00:00
ftp://ftp.freesoftware.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>
Reference in New Issue Copy Permalink