blob: 2c3b6f988b5676fe3f28fcfec783577d256e09ba (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
# Ports collection makefile for: spin
# Date created: Oct 23, 1997
# Whom: jhanna@home.com
#
# $FreeBSD$
#
PORTNAME= spin
PORTVERSION= 3.5.2
CATEGORIES= devel
MASTER_SITES= http://spinroot.com/spin/Src/ \
ftp://netlib.bell-labs.com/netlib/spin/ \
ftp://www.netlib.org/spin/
DISTFILES= spin${PORTVERSION:S/.//g}.tar.gz html.tar.gz
MAINTAINER= jhanna@shaw.ca
COMMENT= An on-the-fly verification system for asynchronous concurrent systems
DIST_SUBDIR= spin
WRKSRC= ${WRKDIR}/Src3.5.2
MAKEFILE= makefile
ALL_TARGET= spin
USE_REINPLACE= yes
post-extract:
@cd ${WRKDIR}/Test && ${SH} ${WRKDIR}/Test/examples
post-patch:
@WISH=`(cd ${LOCALBASE}/bin ; ls wish8* ) | tail -1` ; \
if [ -z "$$WISH" ] ; then WISH=wish8.0 ; fi ; \
${REINPLACE_CMD} \
-e "s|%%LOCALBASE%%|${LOCALBASE}|g;" \
-e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin3.5/xspin351.tcl
pre-build:
cd ${WRKSRC} && ${MAKE} clean
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin
${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.5/xspin351.tcl ${PREFIX}/bin
${RM} -f ${PREFIX}/bin/xspin
${LN} -s ${PREFIX}/bin/xspin351.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 mobile1 mobile1.ltl mobile2 mobile2.ltl pathfinder peterson petersonN pftp priorities snoopy sort wordcount
${INSTALL_DATA} ${WRKDIR}/Test/$i ${PREFIX}/share/doc/spin/Test
.endfor
.endif
.include <bsd.port.mk>
|
