head 1.34;
access;
symbols
OPENPKG_E1_MP_HEAD:1.17
OPENPKG_E1_MP:1.17
OPENPKG_E1_MP_2_STABLE:1.16.2.2
OPENPKG_E1_FP:1.16.2.2
OPENPKG_2_STABLE_MP:1.16
OPENPKG_2_STABLE_20061018:1.16.2.2
OPENPKG_2_STABLE:1.16.0.2
OPENPKG_CW_FP:1.9;
locks; strict;
comment @-- @;
1.34
date 2009.12.04.10.36.32; author rse; state Exp;
branches;
next 1.33;
commitid uaZRYHcUW4YTN2eu;
1.33
date 2009.11.27.09.12.00; author rse; state Exp;
branches;
next 1.32;
commitid BJ9XbnbaRrmRy8du;
1.32
date 2009.09.09.08.06.01; author rse; state Exp;
branches;
next 1.31;
commitid ioQa0G20a6FEJY2u;
1.31
date 2009.05.09.08.22.42; author rse; state Exp;
branches;
next 1.30;
commitid 2BFvBqKfZYftMaNt;
1.30
date 2009.04.18.13.15.58; author rse; state Exp;
branches;
next 1.29;
commitid 4pHXU27WTIGCZuKt;
1.29
date 2008.12.23.18.51.54; author rse; state Exp;
branches;
next 1.28;
commitid tPNUOTcTpFpoFCvt;
1.28
date 2008.05.10.08.30.49; author rse; state Exp;
branches;
next 1.27;
commitid EhNjUJqTDHmHwo2t;
1.27
date 2008.04.27.07.13.37; author rse; state Exp;
branches;
next 1.26;
commitid C0Vu8aeEdUT7wI0t;
1.26
date 2008.02.04.18.44.47; author rse; state Exp;
branches;
next 1.25;
commitid paURSOsGFlZD07Qs;
1.25
date 2008.01.01.15.05.09; author rse; state Exp;
branches;
next 1.24;
commitid B8esaHJHoduuKILs;
1.24
date 2007.12.12.16.06.48; author cs; state Exp;
branches;
next 1.23;
commitid A4CzNyNiqVg4S9Js;
1.23
date 2007.11.23.17.14.52; author cs; state Exp;
branches;
next 1.22;
commitid whlPMMKmKqThRIGs;
1.22
date 2007.11.12.16.57.38; author rse; state Exp;
branches;
next 1.21;
commitid zkgpsyHv05di7jFs;
1.21
date 2007.10.28.08.09.40; author cs; state Exp;
branches;
next 1.20;
commitid lY9r7m1Ipc74GkDs;
1.20
date 2007.06.24.07.16.43; author rse; state Exp;
branches;
next 1.19;
commitid 4stZyDk4g8o0r8ns;
1.19
date 2007.02.11.10.37.33; author rse; state Exp;
branches;
next 1.18;
commitid EEUkaJa34RTXO36s;
1.18
date 2007.01.07.09.26.26; author rse; state Exp;
branches;
next 1.17;
commitid EXqJYLFGsfmjyy1s;
1.17
date 2007.01.01.17.41.59; author rse; state Exp;
branches;
next 1.16;
commitid BicZD6VUl7GuqP0s;
1.16
date 2006.10.13.17.34.21; author thl; state Exp;
branches
1.16.2.1;
next 1.15;
commitid q5GSxzsSDX29XxQr;
1.15
date 2006.06.24.19.52.12; author rse; state Exp;
branches;
next 1.14;
commitid 8hviRY0WeNyAliCr;
1.14
date 2006.01.01.13.22.37; author rse; state Exp;
branches;
next 1.13;
commitid otZG8yKMCw1JFTfr;
1.13
date 2005.10.28.06.30.18; author rse; state Exp;
branches;
next 1.12;
commitid SR6hQnJUpE4NAv7r;
1.12
date 2005.10.28.06.08.22; author tho; state Exp;
branches;
next 1.11;
commitid KyG76CRqm7Egtv7r;
1.11
date 2005.04.06.06.16.10; author rse; state Exp;
branches;
next 1.10;
1.10
date 2005.03.24.11.20.24; author rse; state Exp;
branches;
next 1.9;
1.9
date 2005.02.14.10.55.08; author rse; state Exp;
branches;
next 1.8;
1.8
date 2005.02.06.10.25.13; author rse; state Exp;
branches;
next 1.7;
1.7
date 2005.01.01.10.54.56; author rse; state Exp;
branches;
next 1.6;
1.6
date 2004.12.14.19.10.29; author ms; state Exp;
branches;
next 1.5;
1.5
date 2004.10.10.17.57.27; author rse; state Exp;
branches;
next 1.4;
1.4
date 2004.06.28.12.09.30; author rse; state Exp;
branches;
next 1.3;
1.3
date 2004.05.05.07.05.20; author rse; state Exp;
branches;
next 1.2;
1.2
date 2004.02.22.08.39.25; author rse; state Exp;
branches;
next 1.1;
1.1
date 2004.02.21.17.56.15; author rse; state Exp;
branches;
next ;
1.16.2.1
date 2006.10.13.17.34.21; author rse; state dead;
branches;
next 1.16.2.2;
commitid iZxwRSmmWscPXUQr;
1.16.2.2
date 2006.10.16.14.56.43; author rse; state Exp;
branches;
next ;
commitid iZxwRSmmWscPXUQr;
desc
@@
1.34
log
@upgrading package: spin 5.2.3 -> 5.2.4
@
text
@##
## spin.spec -- OpenPKG RPM Package Specification
## Copyright (c) 2000-2009 OpenPKG Foundation e.V.
##
## Permission to use, copy, modify, and distribute this software for
## any purpose with or without fee is hereby granted, provided that
## the above copyright notice and this permission notice appear in all
## copies.
##
## THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED
## WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
## MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
## IN NO EVENT SHALL THE AUTHORS AND COPYRIGHT HOLDERS AND THEIR
## CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
## SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
## LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
## USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
## ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
## OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
## OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
## SUCH DAMAGE.
##
# package version
%define V_real 5.2.4
%define V_dist 524
# package information
Name: spin
Summary: Formal Concurrent System Verification
URL: http://spinroot.com/
Vendor: NASA & Bell Labs
Packager: OpenPKG Foundation e.V.
Distribution: OpenPKG Community
Class: EVAL
Group: Language
License: Freeware
Version: %{V_real}
Release: 20091204
# package options
%option with_x11 no
# list of sources
Source0: http://spinroot.com/spin/Src/spin%{V_dist}.tar.gz
# build information
Prefix: %{l_prefix}
BuildRoot: %{l_buildroot}
BuildPreReq: OpenPKG, openpkg >= 20040130, gcc, bison
PreReq: OpenPKG, openpkg >= 20040130
%if "%{with_x11}" == "yes"
PreReq: tcl, tcl::with_x11 = yes, graphviz, gcc
%endif
AutoReq: no
AutoReqProv: no
%description
Spin is a popular software tool that can be used for the formal
verification of distributed software systems. Spin targets efficient
software verification, not hardware verification. Spin uses a high
level language to specify systems descriptions, called PROMELA (a
PROcess MEta LAnguage). Spin has been used to trace logical design
errors in distributed systems design, such as operating systems,
data communications protocols, switching systems, concurrent
algorithms, railway signaling protocols, etc. The tool checks the
logical consistency of a specification. It reports on deadlocks,
unspecified receptions, flags incompleteness, race conditions, and
unwarranted assumptions about the relative speeds of processes.
%track
prog spin = {
version = %{V_dist}
url = http://spinroot.com/spin/Src/index.html
regex = spin(__VER__)\.tar\.gz
}
%prep
%setup -q -n Spin
%build
# build spin
( cd Src%{V_real}
# detect extra CFLAGS to be added for system-specifics
cflags="-DNXT -D_POSIX_SOURCE"
case "%{l_platform -t}" in
*-sunos* ) cflags="$cflags -DSOLARIS" ;;
esac
%{l_make} %{l_mflags} -f makefile \
CC="%{l_cc}" CFLAGS="%{l_cflags -O} $cflags" \
YACC="%{l_prefix}/bin/bison -y"
) || exit $?
%if "%{with_x11}" == "yes"
# build xspin
( cd Xspin*
%{l_shtool} subst \
-e 's;^#!/bin/sh;#!%{l_prefix}/bin/wish -f;' \
-e 's;^\(exec wish\);#\1;' \
-e 's;"gcc -w";"%{l_cc}";' \
-e 's;"cpp";"%{l_cc} -E";' \
-e 's;"spin";"%{l_prefix}/bin/spin";' \
-e 's;"dot";"%{l_prefix}/bin/dot";' \
xspin*.tcl
) || exit $?
%endif
%install
rm -rf $RPM_BUILD_ROOT
# make installation hierarchy
%{l_shtool} mkdir -p -f -m 755 \
$RPM_BUILD_ROOT%{l_prefix}/bin \
$RPM_BUILD_ROOT%{l_prefix}/man/man1
# install spin
%{l_shtool} install -c -s -m 755 \
Src%{V_real}/spin $RPM_BUILD_ROOT%{l_prefix}/bin/
%{l_shtool} install -c -m 644 \
Man/spin.1 $RPM_BUILD_ROOT%{l_prefix}/man/man1/
%if "%{with_x11}" == "yes"
# install xspin
%{l_shtool} install -c -m 755 \
Xspin*/xspin*.tcl $RPM_BUILD_ROOT%{l_prefix}/bin/xspin
%endif
# determine installation files
%{l_rpmtool} files -v -ofiles -r$RPM_BUILD_ROOT %{l_files_std}
%files -f files
%clean
rm -rf $RPM_BUILD_ROOT
@
1.33
log
@upgrading package: spin 5.2.2 -> 5.2.3
@
text
@d25 2
a26 2
%define V_real 5.2.3
%define V_dist 523
d39 1
a39 1
Release: 20091127
@
1.32
log
@upgrading package: spin 5.2.0 -> 5.2.2
@
text
@d25 2
a26 2
%define V_real 5.2.2
%define V_dist 522
d39 1
a39 1
Release: 20090909
@
1.31
log
@upgrading package: spin 5.1.7 -> 5.2.0
@
text
@d25 2
a26 2
%define V_real 5.2.0
%define V_dist 520
d39 1
a39 1
Release: 20090509
@
1.30
log
@bump years in copyright messages
@
text
@d25 2
a26 2
%define V_real 5.1.7
%define V_dist 517
d39 1
a39 1
Release: 20081223
@
1.29
log
@upgrading package: spin 5.1.6 -> 5.1.7
@
text
@d3 1
a3 1
## Copyright (c) 2000-2008 OpenPKG Foundation e.V.
@
1.28
log
@upgrading package: spin 5.1.5 -> 5.1.6
@
text
@d25 2
a26 2
%define V_real 5.1.6
%define V_dist 516
d39 1
a39 1
Release: 20080510
@
1.27
log
@upgrading package: spin 5.1.4 -> 5.1.5
@
text
@d25 2
a26 2
%define V_real 5.1.5
%define V_dist 515
d39 1
a39 1
Release: 20080427
@
1.26
log
@upgrading package: spin 5.1.3 -> 5.1.4
@
text
@d25 2
a26 2
%define V_real 5.1.4
%define V_dist 514
d39 1
a39 1
Release: 20080204
@
1.25
log
@Update package specifications according to OpenPKG year 2008 world order:
http://www.mail-archive.com/openpkg-announce@@openpkg.org/msg00221.html
@
text
@d25 2
a26 2
%define V_real 5.1.3
%define V_dist 513
d39 1
a39 1
Release: 20080101
@
1.24
log
@upgrading package: spin 5.1.2 -> 5.1.3
@
text
@d3 1
a3 2
## Copyright (c) 2000-2007 OpenPKG Foundation e.V.
## Copyright (c) 2000-2007 Ralf S. Engelschall
d39 1
a39 1
Release: 20071212
@
1.23
log
@upgrading package: spin 5.1.1 -> 5.1.2
@
text
@d26 2
a27 2
%define V_real 5.1.2
%define V_dist 512
d40 1
a40 1
Release: 20071123
@
1.22
log
@upgrading package: spin 5.0 -> 5.1.1
@
text
@d26 2
a27 2
%define V_real 5.1.1
%define V_dist 511
d40 1
a40 1
Release: 20071112
@
1.21
log
@upgrading package: spin 4.3.0 -> 5.0
@
text
@d26 2
a27 2
%define V_real 5.0
%define V_dist 500
d40 1
a40 1
Release: 20071028
@
1.20
log
@upgrading package: spin 4.2.9 -> 4.3.0
@
text
@d26 2
a27 2
%define V_real 4.3.0
%define V_dist 430
d40 1
a40 1
Release: 20070624
@
1.19
log
@upgrading package: spin 4.2.8 -> 4.2.9
@
text
@d26 2
a27 2
%define V_real 4.2.9
%define V_dist 429
d40 1
a40 1
Release: 20070211
@
1.18
log
@upgrading package: spin 4.2.7 -> 4.2.8
@
text
@d26 2
a27 2
%define V_real 4.2.8
%define V_dist 428
d40 1
a40 1
Release: 20070107
@
1.17
log
@Welcome Year 2007!
@
text
@d26 2
a27 2
%define V_real 4.2.7
%define V_dist 427
d40 1
a40 1
Release: 20061013
@
1.16
log
@new world order for "Packager" and "Distribution" headers
@
text
@d3 2
a4 2
## Copyright (c) 2000-2006 OpenPKG Foundation e.V.
## Copyright (c) 2000-2006 Ralf S. Engelschall
@
1.16.2.1
log
@file spin.spec was added on branch OPENPKG_2_STABLE on 2006-10-16 14:56:43 +0000
@
text
@d1 136
@
1.16.2.2
log
@Mass merge from CURRENT to 2-STABLE (all packages except those of JUNK class)
@
text
@a0 136
##
## spin.spec -- OpenPKG RPM Package Specification
## Copyright (c) 2000-2006 OpenPKG Foundation e.V.
## Copyright (c) 2000-2006 Ralf S. Engelschall
##
## Permission to use, copy, modify, and distribute this software for
## any purpose with or without fee is hereby granted, provided that
## the above copyright notice and this permission notice appear in all
## copies.
##
## THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED
## WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
## MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
## IN NO EVENT SHALL THE AUTHORS AND COPYRIGHT HOLDERS AND THEIR
## CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
## SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
## LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
## USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
## ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
## OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
## OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
## SUCH DAMAGE.
##
# package version
%define V_real 4.2.7
%define V_dist 427
# package information
Name: spin
Summary: Formal Concurrent System Verification
URL: http://spinroot.com/
Vendor: NASA & Bell Labs
Packager: OpenPKG Foundation e.V.
Distribution: OpenPKG Community
Class: EVAL
Group: Language
License: Freeware
Version: %{V_real}
Release: 2.20061018
# package options
%option with_x11 no
# list of sources
Source0: http://spinroot.com/spin/Src/spin%{V_dist}.tar.gz
# build information
Prefix: %{l_prefix}
BuildRoot: %{l_buildroot}
BuildPreReq: OpenPKG, openpkg >= 2.20061018, gcc, bison
PreReq: OpenPKG, openpkg >= 2.20061018
%if "%{with_x11}" == "yes"
PreReq: tcl, tcl::with_x11 = yes, graphviz, gcc
%endif
AutoReq: no
AutoReqProv: no
%description
Spin is a popular software tool that can be used for the formal
verification of distributed software systems. Spin targets efficient
software verification, not hardware verification. Spin uses a high
level language to specify systems descriptions, called PROMELA (a
PROcess MEta LAnguage). Spin has been used to trace logical design
errors in distributed systems design, such as operating systems,
data communications protocols, switching systems, concurrent
algorithms, railway signaling protocols, etc. The tool checks the
logical consistency of a specification. It reports on deadlocks,
unspecified receptions, flags incompleteness, race conditions, and
unwarranted assumptions about the relative speeds of processes.
%track
prog spin = {
version = %{V_dist}
url = http://spinroot.com/spin/Src/index.html
regex = spin(__VER__)\.tar\.gz
}
%prep
%setup -q -n Spin
%build
# build spin
( cd Src%{V_real}
# detect extra CFLAGS to be added for system-specifics
cflags="-DNXT -D_POSIX_SOURCE"
case "%{l_platform -t}" in
*-sunos* ) cflags="$cflags -DSOLARIS" ;;
esac
%{l_make} %{l_mflags} -f makefile \
CC="%{l_cc}" CFLAGS="%{l_cflags -O} $cflags" \
YACC="%{l_prefix}/bin/bison -y"
) || exit $?
%if "%{with_x11}" == "yes"
# build xspin
( cd Xspin*
%{l_shtool} subst \
-e 's;^#!/bin/sh;#!%{l_prefix}/bin/wish -f;' \
-e 's;^\(exec wish\);#\1;' \
-e 's;"gcc -w";"%{l_cc}";' \
-e 's;"cpp";"%{l_cc} -E";' \
-e 's;"spin";"%{l_prefix}/bin/spin";' \
-e 's;"dot";"%{l_prefix}/bin/dot";' \
xspin*.tcl
) || exit $?
%endif
%install
rm -rf $RPM_BUILD_ROOT
# make installation hierarchy
%{l_shtool} mkdir -p -f -m 755 \
$RPM_BUILD_ROOT%{l_prefix}/bin \
$RPM_BUILD_ROOT%{l_prefix}/man/man1
# install spin
%{l_shtool} install -c -s -m 755 \
Src%{V_real}/spin $RPM_BUILD_ROOT%{l_prefix}/bin/
%{l_shtool} install -c -m 644 \
Man/spin.1 $RPM_BUILD_ROOT%{l_prefix}/man/man1/
%if "%{with_x11}" == "yes"
# install xspin
%{l_shtool} install -c -m 755 \
Xspin*/xspin*.tcl $RPM_BUILD_ROOT%{l_prefix}/bin/xspin
%endif
# determine installation files
%{l_rpmtool} files -v -ofiles -r$RPM_BUILD_ROOT %{l_files_std}
%files -f files
%clean
rm -rf $RPM_BUILD_ROOT
@
1.15
log
@upgrading package: spin 4.2.6 -> 4.2.7
@
text
@d34 2
a35 2
Packager: OpenPKG
Distribution: OpenPKG
d40 1
a40 1
Release: 20060624
@
1.14
log
@adjust copyrights for new year 2006
@
text
@d26 2
a27 2
%define V_real 4.2.6
%define V_dist 426
d40 1
a40 1
Release: 20051028
@
1.13
log
@simplify packaging
@
text
@d3 2
a4 2
## Copyright (c) 2000-2005 OpenPKG Foundation e.V.
## Copyright (c) 2000-2005 Ralf S. Engelschall
@
1.12
log
@upgrading package: spin 4.2.5 -> 4.2.6
@
text
@d80 1
a80 3
%setup -q -c
cd Spin
mv * ..
@
1.11
log
@upgrading package: spin 4.2.4 -> 4.2.5
@
text
@d26 2
a27 2
%define V_real 4.2.5
%define V_dist 425
d40 1
a40 1
Release: 20050406
d81 2
@
1.10
log
@Adjust the copyright declaration in this (RSE's) copy of the OpenPKG
source code now that the fork point for C&W was established (CVS tag
OPENPKG_CW_FP), the shared copyright agreement between RSE and C&W is
no longer active (as C&W no longer officially sponsors OpenPKG) and the
new shared copyright from RSE can be taken over by the newly established
juristic entity OpenPKG Foundation e.V. (instead of the non-juristic
entity OpenPKG Project).
@
text
@d26 2
a27 2
%define V_real 4.2.4
%define V_dist 424
d40 1
a40 1
Release: 20050214
@
1.9
log
@upgrading package: spin 4.2.3 -> 4.2.4
@
text
@d2 3
a4 4
## spin.spec -- OpenPKG RPM Specification
## Copyright (c) 2000-2005 The OpenPKG Project
## Copyright (c) 2000-2005 Ralf S. Engelschall
## Copyright (c) 2000-2005 Cable & Wireless
d34 1
a34 1
Packager: The OpenPKG Project
@
1.8
log
@upgrading package: spin 4.2.2 -> 4.2.3
@
text
@d27 2
a28 2
%define V_real 4.2.3
%define V_dist 423
d41 1
a41 1
Release: 20050206
@
1.7
log
@Happy New Year 2005
@
text
@d27 2
a28 2
%define V_real 4.2.2
%define V_dist 422
d41 1
a41 1
Release: 20041214
@
1.6
log
@upgrading package: spin 4.2.1 -> 4.2.2
@
text
@d3 3
a5 3
## Copyright (c) 2000-2004 The OpenPKG Project
## Copyright (c) 2000-2004 Ralf S. Engelschall
## Copyright (c) 2000-2004 Cable & Wireless
@
1.5
log
@upgrading package: spin 4.2.0 -> 4.2.1
@
text
@d27 2
a28 2
%define V_real 4.2.1
%define V_dist 421
d41 1
a41 1
Release: 20041010
d91 1
a91 1
%{l_make} %{l_mflags} -f make_unix \
@
1.4
log
@upgrading package: spin 4.1.3 -> 4.2.0
@
text
@d27 2
a28 2
%define V_real 4.2.0
%define V_dist 420
d41 1
a41 1
Release: 20040628
@
1.3
log
@upgrading package: spin 4.1.2 -> 4.1.3
@
text
@d27 2
a28 2
%define V_real 4.1.3
%define V_dist 413
d41 1
a41 1
Release: 20040505
@
1.2
log
@upgrading package: spin 4.1.1 -> 4.1.2
@
text
@d27 2
a28 2
%define V_real 4.1.2
%define V_dist 412
d41 1
a41 1
Release: 20040222
@
1.1
log
@new package: spin 4.1.1 (Formal Concurrent System Verification)
@
text
@d27 2
a28 2
%define V_real 4.1.1
%define V_dist 411
d41 1
a41 1
Release: 20040221
@