OpenPKG CVS Repository
http://cvs.openpkg.org/
____________________________________________________________________________
Server: cvs.openpkg.org Name: Ralf S. Engelschall
Root: /e/openpkg/cvs Email: [EMAIL PROTECTED]
Module: openpkg-src Date: 21-Feb-2004 18:56:15
Branch: HEAD Handle: 2004022117561500
Added files:
openpkg-src/spin spin.spec
Log:
new package: spin 4.1.1 (Formal Concurrent System Verification)
Summary:
Revision Changes Path
1.1 +137 -0 openpkg-src/spin/spin.spec
____________________________________________________________________________
patch -p0 <<'@@ .'
Index: openpkg-src/spin/spin.spec
============================================================================
$ cvs diff -u -r0 -r1.1 spin.spec
--- /dev/null 2004-02-21 18:56:15.000000000 +0100
+++ spin.spec 2004-02-21 18:56:15.000000000 +0100
@@ -0,0 +1,137 @@
+##
+## spin.spec -- OpenPKG RPM Specification
+## Copyright (c) 2000-2004 The OpenPKG Project <http://www.openpkg.org/>
+## Copyright (c) 2000-2004 Ralf S. Engelschall <[EMAIL PROTECTED]>
+## Copyright (c) 2000-2004 Cable & Wireless <http://www.cw.com/>
+##
+## 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.1.1
+%define V_dist 411
+
+# package information
+Name: spin
+Summary: Formal Concurrent System Verification
+URL: http://spinroot.com/
+Vendor: NASA & Bell Labs
+Packager: The OpenPKG Project
+Distribution: OpenPKG
+Class: EVAL
+Group: Language
+License: Freeware
+Version: %{V_real}
+Release: 20040221
+
+# 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 -c
+
+%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 make_unix \
+ 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
+
@@ .
______________________________________________________________________
The OpenPKG Project www.openpkg.org
CVS Repository Commit List [EMAIL PROTECTED]
