openpkg-packages/spin/spin.spec

##
##  spin.spec -- OpenPKG RPM Package Specification
##  Copyright (c) 2000-2007 OpenPKG Foundation e.V. <http://openpkg.net/>
##  Copyright (c) 2000-2007 Ralf S. Engelschall <http://engelschall.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.2.9
%define       V_dist  429

#   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:      20070211

#   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