spin.spec

   1 Summary:        On-the-fly, LTL model checking with SPIN
   2 Summary(pl.UTF-8):      Sprawdzanie modeli LTL w locie przy użyciu SPIN
   3 Name:           spin
   4 Version:        6.2.6
   5 %define         _ver    %(echo %{version} | tr -d .)
   6 Release:        1
   7 License:        Spin Public license
   8 Group:          Development/Tools
   9 Source0:        http://spinroot.com/spin/Src/%{name}%{_ver}.tar.gz
  10 # Source0-md5:  97dc2592de9eb064cb664cc67bce18d1
  11 Source1:        ispin.desktop
  12 URL:            http://spinroot.com/spin/whatispin.html
  13 BuildRequires:  yacc
  14 Requires:       tcl
  15 Requires:       tk
  16 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  17
  18 %description
  19 Spin is a popular software tool that can be used for the formal
  20 verification of distributed software systems. The tool was developed
  21 at Bell Labs in the original Unix group of the Computing Sciences
  22 Research Center, starting in 1980. The software has been available
  23 freely since 1991, and continues to evolve to keep pace with new
  24 developments in the field. In April 2002 the tool was awarded the
  25 prestigious System Software Award for 2001 by the ACM.
  26
  27 http://cm.bell-labs.com/cm/cs/what/spin/spin_license.html
  28
  29 %description -l pl.UTF-8
  30 Spin to popularne narzędzie, którego można używać do formalnego
  31 sprawdzania systemów programów rozproszonych. Narzędzie było rozwijane
  32 w Bell Labs w oryginalnej grupie Uniksa z Computing Sciences Research
  33 Center począwszy od 1980 roku. Jest dostępne za darmo od 1991 i nadal
  34 dotrzymuje kroku. We wrześniu 2002 narzędzie to otrzymało prestiżową
  35 nagrodę System Software Award 2001 roku od ACM.
  36
  37 http://cm.bell-labs.com/cm/cs/what/spin/spin_license.html
  38
  39 %package ispin
  40 Summary:        Graphical user interface to Spin
  41 Summary(pl.UTF-8):      Graficzny interfejs użytkownika do Spina
  42 Group:          Development/Tools
  43 Requires:       %{name} = %{version}-%{release}
  44 Obsoletes:      spin-xspin
  45
  46 %description ispin
  47 Xspin is graphical user interface to Spin, written in Tcl/Tk.
  48
  49 %description ispin -l pl.UTF-8
  50 Xspin to graficzny interfejs użytkownika do Spina, napisany w Tcl/Tk.
  51
  52 %prep
  53 %setup -q -c
  54
  55 %build
  56 cd Spin/Src*
  57 %{__make} -j1 CFLAGS="-ansi -D_POSIX_SOURCE %{rpmcflags}"
  58
  59 %install
  60 rm -rf $RPM_BUILD_ROOT
  61 install -d $RPM_BUILD_ROOT{%{_bindir},%{_mandir}/man1,%{_examplesdir}/%{name}-%{version}} \
  62         $RPM_BUILD_ROOT%{_desktopdir}
  63
  64 install Spin/Src*/spin $RPM_BUILD_ROOT%{_bindir}
  65 install Spin/Man/spin.1 $RPM_BUILD_ROOT%{_mandir}/man1
  66 cp -a Spin/{Samples,Test} $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
  67
  68 install %{SOURCE1} $RPM_BUILD_ROOT%{_desktopdir}/ispin.desktop
  69
  70 echo "#!/usr/bin/wish -f" > $RPM_BUILD_ROOT%{_bindir}/ispin
  71 tail -n +4 Spin/iSpin/ispin.tcl >> $RPM_BUILD_ROOT%{_bindir}/ispin
  72
  73 %clean
  74 rm -rf $RPM_BUILD_ROOT
  75
  76 %files
  77 %defattr(644,root,root,755)
  78 %doc Spin/README.html Spin/Doc/*
  79 %attr(755,root,root) %{_bindir}/spin
  80 %{_mandir}/man1/*
  81 %{_examplesdir}/%{name}-%{version}
  82
  83 %files ispin
  84 %defattr(644,root,root,755)
  85 %attr(755,root,root) %{_bindir}/ispin
  86 %{_desktopdir}/ispin.desktop