CWB.spec

   1 Summary:        The Edinburgh Concurrency Workbench
   2 Summary(pl.UTF-8):      Edinburgh - środowisko do badania współbieżności
   3 Name:           CWB
   4 Version:        7.1
   5 Release:        1
   6 License:        free for non-commercial
   7 # http://www.dcs.ed.ac.uk/home/cwb/copyright.html
   8 Group:          Development/Tools
   9 # http://homepages.inf.ed.ac.uk/perdita/cwb/CWBEXPORTDIR/src.tar.gz
  10 Source0:        src.tar.gz
  11 # NoSource0-md5:        76eab4c6ccab3990b9d0e496dbf283e5
  12 # http://www.dcs.ed.ac.uk/home/cwb/getting.html
  13 Source1:        custom.ml
  14 NoSource:       0
  15 NoSource:       1
  16 URL:            http://www.dcs.ed.ac.uk/home/cwb/
  17 BuildRequires:  smlnj >= 110
  18 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  19
  20 %description
  21 The Edinburgh Concurrency Workbench (CWB) is an automated tool which
  22 caters for the manipulation and analysis of concurrent systems. In
  23 particular, the CWB allows for various equivalence, preorder and model
  24 checking using a variety of different process semantics.
  25
  26 %description -l pl.UTF-8
  27 Edinburgh Concurrency Workbench (CWB) to automatyczne narzędzie
  28 obsługujące manipulowanie i analizę systemów współbieżnych. W
  29 szczególności pozwala na różne równoważności, wstępne porządkowanie i
  30 sprawdzanie modeli przy użyciu wielu różnych semantyk procesów.
  31
  32 %prep
  33 %setup -q -n %{name}%{version}
  34 install %{SOURCE1} .
  35
  36 %build
  37 sml < custom.ml
  38
  39 %install
  40 rm -rf $RPM_BUILD_ROOT
  41 install -d $RPM_BUILD_ROOT{%{_bindir},%{_datadir}/%{name}}
  42
  43 install cwb.x86-linux $RPM_BUILD_ROOT%{_datadir}/%{name}
  44
  45 cat <<EOF >$RPM_BUILD_ROOT%{_bindir}/cwb
  46 #!/bin/sh
  47 sml @SMLload=%{_datadir}/%{name}/cwb.x86-linux
  48 EOF
  49
  50 %clean
  51 rm -rf $RPM_BUILD_ROOT
  52
  53 %files
  54 %defattr(644,root,root,755)
  55 %attr(755,root,root) %{_bindir}/*
  56 %{_datadir}/%{name}