ports/56071: maintainer update of devel/spin
Jonathan Hanna
jhanna at h24-76-111-119.vc.shawcable.net
Thu Aug 28 07:30:08 UTC 2003
>Number: 56071
>Category: ports
>Synopsis: maintainer update of devel/spin
>Confidential: no
>Severity: non-critical
>Priority: low
>Responsible: freebsd-ports-bugs
>State: open
>Quarter:
>Keywords:
>Date-Required:
>Class: maintainer-update
>Submitter-Id: current-users
>Arrival-Date: Thu Aug 28 00:30:05 PDT 2003
>Closed-Date:
>Last-Modified:
>Originator: Jonathan Hanna
>Release: FreeBSD 4.8-STABLE i386
>Organization:
>Environment:
>Description:
The HTML documentation tarball has been removed.
>How-To-Repeat:
>Fix:
diff -N -P -u -r spin.orig/Makefile spin/Makefile
--- spin.orig/Makefile Fri Aug 8 15:03:49 2003
+++ spin/Makefile Wed Aug 27 01:40:55 2003
@@ -7,9 +7,10 @@
PORTNAME= spin
PORTVERSION= 4.0.7
+PORTREVISION= 1
CATEGORIES= devel
MASTER_SITES= http://spinroot.com/spin/Src/
-DISTFILES= spin${PORTVERSION:S/.//g}.tar.gz html.tar.gz
+DISTFILES= spin${PORTVERSION:S/.//g}.tar.gz
MAINTAINER= jhanna at shaw.ca
COMMENT= An on-the-fly verification system for asynchronous concurrent systems
@@ -51,11 +52,9 @@
.if !defined(NOPORTDOCS)
${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 ${DOCSDIR}/Test
diff -N -P -u -r spin.orig/distinfo spin/distinfo
--- spin.orig/distinfo Fri Aug 8 15:03:49 2003
+++ spin/distinfo Wed Aug 27 01:39:34 2003
@@ -1,2 +1 @@
MD5 (spin/spin407.tar.gz) = dfb9886dae7985bf08a1a345564581ed
-MD5 (spin/html.tar.gz) = 18fb3308fac90091de71235941fbdc20
diff -N -P -u -r spin.orig/pkg-plist spin/pkg-plist
--- spin.orig/pkg-plist Fri Aug 8 15:03:49 2003
+++ spin/pkg-plist Wed Aug 27 01:40:11 2003
@@ -24,90 +24,6 @@
%%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
@@ -129,7 +45,6 @@
%%PORTDOCS%%%%DOCSDIR%%/Test/sort
%%PORTDOCS%%%%DOCSDIR%%/Test/wordcount
@dirrm %%PORTDOCS%%%%DOCSDIR%%/Test
- at dirrm %%PORTDOCS%%%%DOCSDIR%%/HTML
@dirrm %%PORTDOCS%%%%DOCSDIR%%/Examples
@dirrm %%PORTDOCS%%%%DOCSDIR%%/Doc
@dirrm %%PORTDOCS%%%%DOCSDIR%%
>Release-Note:
>Audit-Trail:
>Unformatted:
More information about the freebsd-ports-bugs
mailing list