CWB.spec

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