A newer spin has been released. Also, the current spin suffers
from having been minorly updated without a distfile version bump. Alternate master sites have been removed for now, they have not been updated with the current version. The patch also makes the xspin dependency on with8.4 explicit, though xspin should work 8.3 as well. xspin can now be suppressed with WITHOUT_XSPIN. PR: 55364 Submitted by: Jonathan Hanna <jhanna@shaw.ca>
This commit is contained in:
Yen-Ming Lee
parent
1817042a2b
commit
97cc26f654
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=86612
@ -6,17 +6,20 @@
|
||||
#
|
||||
|
||||
PORTNAME= spin
|
||||
PORTVERSION= 4.0.6
|
||||
PORTVERSION= 4.0.7
|
||||
CATEGORIES= devel
|
||||
MASTER_SITES= http://spinroot.com/spin/Src/ \
|
||||
ftp://netlib.bell-labs.com/netlib/spin/ \
|
||||
ftp://www.netlib.org/spin/
|
||||
MASTER_SITES= http://spinroot.com/spin/Src/
|
||||
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
|
||||
|
||||
BROKEN= Checksum mismatch
|
||||
.if !defined(WITHOUT_XSPIN)
|
||||
RUN_DEPENDS= wish8.4:${PORTSDIR}/x11-toolkits/tk84
|
||||
PLIST_SUB+= XSPIN=""
|
||||
.else
|
||||
PLIST_SUB+= XSPIN="@comment "
|
||||
.endif
|
||||
|
||||
DIST_SUBDIR= spin
|
||||
WRKSRC= ${WRKDIR}/Src${PORTVERSION}
|
||||
@ -24,6 +27,11 @@ MAKEFILE= make_unix
|
||||
ALL_TARGET= spin
|
||||
USE_REINPLACE= yes
|
||||
|
||||
pre-everything::
|
||||
@${ECHO_MSG} ""
|
||||
@${ECHO_MSG} "Use WITHOUT_XSPIN=yes to suppress xspin (and TCL/Tk dependency)."
|
||||
@${ECHO_MSG} ""
|
||||
|
||||
post-extract:
|
||||
@cd ${WRKDIR}/Test && ${SH} ${WRKDIR}/Test/examples
|
||||
|
||||
@ -32,24 +40,25 @@ post-patch:
|
||||
if [ -z "$$WISH" ] ; then WISH=wish8.0 ; fi ; \
|
||||
${REINPLACE_CMD} \
|
||||
-e "s|%%LOCALBASE%%|${LOCALBASE}|g;" \
|
||||
-e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin4.0/xspin402.tcl
|
||||
-e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin4.0/xspin407.tcl
|
||||
|
||||
do-install:
|
||||
${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin
|
||||
.if !defined(WITHOUT_XSPIN)
|
||||
${RM} -f ${PREFIX}/bin/xspin
|
||||
${INSTALL_SCRIPT} ${WRKDIR}/Xspin4.0/xspin402.tcl ${PREFIX}/bin/xspin
|
||||
|
||||
${INSTALL_SCRIPT} ${WRKDIR}/Xspin4.0/xspin407.tcl ${PREFIX}/bin/xspin
|
||||
.endif
|
||||
.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 \
|
||||
${MKDIR} ${DOCSDIR}/Doc
|
||||
${MKDIR} ${DOCSDIR}/Examples
|
||||
${MKDIR} ${DOCSDIR}/HTML
|
||||
${MKDIR} ${DOCSDIR}/Test
|
||||
${INSTALL_DATA} ${WRKDIR}/Doc/* ${DOCSDIR}/Doc
|
||||
${INSTALL_DATA} ${WRKDIR}/Test/ex.* ${DOCSDIR}/Examples
|
||||
${INSTALL_DATA} ${WRKDIR}/HTML/* ${DOCSDIR}/HTML
|
||||
.for i in README.tests abp eratosthenes 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
|
||||
${INSTALL_DATA} ${WRKDIR}/Test/$i ${DOCSDIR}/Test
|
||||
.endfor
|
||||
.endif
|
||||
|
||||
|
||||
@ -1,2 +1,2 @@
|
||||
MD5 (spin/spin406.tar.gz) = 8a598bbdc8ddb23dfe0b82b2130726ca
|
||||
MD5 (spin/spin407.tar.gz) = dfb9886dae7985bf08a1a345564581ed
|
||||
MD5 (spin/html.tar.gz) = 18fb3308fac90091de71235941fbdc20
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
--- ../Xspin4.0/xspin402.tcl.orig Mon Apr 7 20:37:27 2003
|
||||
+++ ../Xspin4.0/xspin402.tcl Mon Apr 7 20:40:10 2003
|
||||
--- ../Xspin4.0/xspin407.tcl.orig Mon Apr 7 20:37:27 2003
|
||||
+++ ../Xspin4.0/xspin407.tcl Mon Apr 7 20:40:10 2003
|
||||
@@ -1,20 +1,4 @@
|
||||
-#!/bin/sh
|
||||
-# the next line restarts using wish \
|
||||
|
||||
@ -1,135 +1,135 @@
|
||||
bin/spin
|
||||
bin/xspin
|
||||
share/doc/spin/Doc/Book.Ch6.add
|
||||
share/doc/spin/Doc/Book.Errata
|
||||
share/doc/spin/Doc/Book.answers
|
||||
share/doc/spin/Doc/Book.samples
|
||||
share/doc/spin/Doc/V1.Updates
|
||||
share/doc/spin/Doc/V2.Updates
|
||||
share/doc/spin/Doc/V3.Updates
|
||||
share/doc/spin/Doc/V4.Updates
|
||||
share/doc/spin/Examples/ex.1a
|
||||
share/doc/spin/Examples/ex.1b
|
||||
share/doc/spin/Examples/ex.1c
|
||||
share/doc/spin/Examples/ex.2
|
||||
share/doc/spin/Examples/ex.3
|
||||
share/doc/spin/Examples/ex.4b
|
||||
share/doc/spin/Examples/ex.4c
|
||||
share/doc/spin/Examples/ex.5a
|
||||
share/doc/spin/Examples/ex.5b
|
||||
share/doc/spin/Examples/ex.6
|
||||
share/doc/spin/Examples/ex.7
|
||||
share/doc/spin/Examples/ex.8
|
||||
share/doc/spin/Examples/ex.9
|
||||
share/doc/spin/Examples/ex.9b
|
||||
share/doc/spin/Examples/ex.9c
|
||||
share/doc/spin/Examples/ex.readme
|
||||
share/doc/spin/HTML/Exercises.html
|
||||
share/doc/spin/HTML/GettingStarted.html
|
||||
share/doc/spin/HTML/Intro.html
|
||||
share/doc/spin/HTML/Manual.html
|
||||
share/doc/spin/HTML/Pan.html
|
||||
share/doc/spin/HTML/Quick.html
|
||||
share/doc/spin/HTML/README.html
|
||||
share/doc/spin/HTML/Roadmap.html
|
||||
share/doc/spin/HTML/Spin.html
|
||||
share/doc/spin/HTML/WhatsNew.html
|
||||
share/doc/spin/HTML/_.html
|
||||
share/doc/spin/HTML/_last.html
|
||||
share/doc/spin/HTML/_pid.html
|
||||
share/doc/spin/HTML/accept.html
|
||||
share/doc/spin/HTML/active.html
|
||||
share/doc/spin/HTML/arrays.html
|
||||
share/doc/spin/HTML/assert.html
|
||||
share/doc/spin/HTML/assign.html
|
||||
share/doc/spin/HTML/atomic.html
|
||||
share/doc/spin/HTML/break.html
|
||||
share/doc/spin/HTML/chan.html
|
||||
share/doc/spin/HTML/comments.html
|
||||
share/doc/spin/HTML/cond_expr.html
|
||||
share/doc/spin/HTML/condition.html
|
||||
share/doc/spin/HTML/d_step.html
|
||||
share/doc/spin/HTML/datatypes.html
|
||||
share/doc/spin/HTML/do.html
|
||||
share/doc/spin/HTML/else.html
|
||||
share/doc/spin/HTML/empty.html
|
||||
share/doc/spin/HTML/enabled.html
|
||||
share/doc/spin/HTML/end.html
|
||||
share/doc/spin/HTML/eval.html
|
||||
share/doc/spin/HTML/false.html
|
||||
share/doc/spin/HTML/float.html
|
||||
share/doc/spin/HTML/full.html
|
||||
share/doc/spin/HTML/goto.html
|
||||
share/doc/spin/HTML/grammar.html
|
||||
share/doc/spin/HTML/hidden.html
|
||||
share/doc/spin/HTML/hierarchy.html
|
||||
share/doc/spin/HTML/if.html
|
||||
share/doc/spin/HTML/index.html
|
||||
share/doc/spin/HTML/init.html
|
||||
share/doc/spin/HTML/inline.html
|
||||
share/doc/spin/HTML/labels.html
|
||||
share/doc/spin/HTML/len.html
|
||||
share/doc/spin/HTML/local.html
|
||||
share/doc/spin/HTML/ltl.html
|
||||
share/doc/spin/HTML/macros.html
|
||||
share/doc/spin/HTML/mtype.html
|
||||
share/doc/spin/HTML/nempty.html
|
||||
share/doc/spin/HTML/never.html
|
||||
share/doc/spin/HTML/nfull.html
|
||||
share/doc/spin/HTML/notrace.html
|
||||
share/doc/spin/HTML/np_.html
|
||||
share/doc/spin/HTML/pc_value.html
|
||||
share/doc/spin/HTML/pointers.html
|
||||
share/doc/spin/HTML/poll.html
|
||||
share/doc/spin/HTML/printf.html
|
||||
share/doc/spin/HTML/priority.html
|
||||
share/doc/spin/HTML/probabilities.html
|
||||
share/doc/spin/HTML/procedures.html
|
||||
share/doc/spin/HTML/proctype.html
|
||||
share/doc/spin/HTML/progress.html
|
||||
share/doc/spin/HTML/promela.html
|
||||
share/doc/spin/HTML/provided.html
|
||||
share/doc/spin/HTML/rand.html
|
||||
share/doc/spin/HTML/realtime.html
|
||||
share/doc/spin/HTML/receive.html
|
||||
share/doc/spin/HTML/remoterefs.html
|
||||
share/doc/spin/HTML/run.html
|
||||
share/doc/spin/HTML/scanf.html
|
||||
share/doc/spin/HTML/send.html
|
||||
share/doc/spin/HTML/separators.html
|
||||
share/doc/spin/HTML/sequence.html
|
||||
share/doc/spin/HTML/show.html
|
||||
share/doc/spin/HTML/skip.html
|
||||
share/doc/spin/HTML/stdin.html
|
||||
share/doc/spin/HTML/timeout.html
|
||||
share/doc/spin/HTML/trace.html
|
||||
share/doc/spin/HTML/true.html
|
||||
share/doc/spin/HTML/typedef.html
|
||||
share/doc/spin/HTML/unless.html
|
||||
share/doc/spin/HTML/xr.html
|
||||
share/doc/spin/HTML/xs.html
|
||||
share/doc/spin/Test/README.tests
|
||||
share/doc/spin/Test/abp
|
||||
share/doc/spin/Test/erathostenes
|
||||
share/doc/spin/Test/hello
|
||||
share/doc/spin/Test/leader
|
||||
share/doc/spin/Test/leader.ltl
|
||||
share/doc/spin/Test/leader2
|
||||
share/doc/spin/Test/loops
|
||||
share/doc/spin/Test/mobile1
|
||||
share/doc/spin/Test/mobile1.ltl
|
||||
share/doc/spin/Test/mobile2
|
||||
share/doc/spin/Test/mobile2.ltl
|
||||
share/doc/spin/Test/pathfinder
|
||||
share/doc/spin/Test/peterson
|
||||
share/doc/spin/Test/petersonN
|
||||
share/doc/spin/Test/pftp
|
||||
share/doc/spin/Test/priorities
|
||||
share/doc/spin/Test/snoopy
|
||||
share/doc/spin/Test/sort
|
||||
share/doc/spin/Test/wordcount
|
||||
@dirrm share/doc/spin/Test
|
||||
@dirrm share/doc/spin/HTML
|
||||
@dirrm share/doc/spin/Examples
|
||||
@dirrm share/doc/spin/Doc
|
||||
@dirrm share/doc/spin
|
||||
%%XSPIN%%bin/xspin
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Doc/Book91.Errata
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Doc/Book91.answers
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Doc/Book91.samples
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Doc/Book91_Ch6.add
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Doc/V1.Updates
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Doc/V2.Updates
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Doc/V3.Updates
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Doc/V4.Updates
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.1a
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.1b
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.1c
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.2
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.3
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.4b
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.4c
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.5a
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.5b
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.6
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.7
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.8
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.9
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.9b
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.9c
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Examples/ex.readme
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/Exercises.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/GettingStarted.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/Intro.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/Manual.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/Pan.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/Quick.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/README.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/Roadmap.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/Spin.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/WhatsNew.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/_.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/_last.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/_pid.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/accept.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/active.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/arrays.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/assert.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/assign.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/atomic.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/break.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/chan.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/comments.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/cond_expr.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/condition.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/d_step.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/datatypes.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/do.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/else.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/empty.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/enabled.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/end.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/eval.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/false.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/float.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/full.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/goto.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/grammar.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/hidden.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/hierarchy.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/if.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/index.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/init.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/inline.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/labels.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/len.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/local.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/ltl.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/macros.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/mtype.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/nempty.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/never.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/nfull.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/notrace.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/np_.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/pc_value.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/pointers.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/poll.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/printf.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/priority.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/probabilities.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/procedures.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/proctype.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/progress.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/promela.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/provided.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/rand.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/realtime.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/receive.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/remoterefs.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/run.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/scanf.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/send.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/separators.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/sequence.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/show.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/skip.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/stdin.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/timeout.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/trace.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/true.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/typedef.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/unless.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/xr.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/HTML/xs.html
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/README.tests
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/abp
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/eratosthenes
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/hello
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/leader
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/leader.ltl
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/leader2
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/loops
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/mobile1
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/mobile1.ltl
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/mobile2
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/mobile2.ltl
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/pathfinder
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/peterson
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/petersonN
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/pftp
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/priorities
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/snoopy
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/sort
|
||||
%%PORTDOCS%%%%DOCSDIR%%/Test/wordcount
|
||||
@dirrm %%PORTDOCS%%%%DOCSDIR%%/Test
|
||||
@dirrm %%PORTDOCS%%%%DOCSDIR%%/HTML
|
||||
@dirrm %%PORTDOCS%%%%DOCSDIR%%/Examples
|
||||
@dirrm %%PORTDOCS%%%%DOCSDIR%%/Doc
|
||||
@dirrm %%PORTDOCS%%%%DOCSDIR%%
|
||||
|
||||
Loading…
Reference in New Issue
Block a user