You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
102 lines
3.5 KiB
102 lines
3.5 KiB
## |
|
## spin.spec -- OpenPKG RPM Package Specification |
|
## Copyright (c) 2000-2022 OpenPKG Project <http://openpkg.org/> |
|
## |
|
## 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 6.4.6 |
|
%define V_dist 646 |
|
|
|
# package information |
|
Name: spin |
|
Summary: Formal Concurrent System Verification |
|
URL: http://spinroot.com/ |
|
Vendor: NASA & Bell Labs |
|
Packager: OpenPKG Project |
|
Distribution: OpenPKG Community |
|
Class: EVAL |
|
Group: Language |
|
License: BSD |
|
Version: %{V_real} |
|
Release: 20161203 |
|
|
|
# list of sources |
|
Source0: http://spinroot.com/spin/Src/spin%{V_dist}.tar.gz |
|
|
|
# build information |
|
BuildPreReq: OpenPKG, openpkg >= 20160101, gcc, bison |
|
PreReq: OpenPKG, openpkg >= 20160101 |
|
|
|
%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 $? |
|
|
|
%install |
|
# 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/ |
|
|
|
# determine installation files |
|
%{l_rpmtool} files -v -ofiles -r$RPM_BUILD_ROOT %{l_files_std} |
|
|
|
%files -f files |
|
|
|
%clean |
|
|
|
|