CWB.spec

   1 Summary:        The Edinburgh Concurrency Workbenc
   2 Name:           CWB
   3 Version:        7.1
   4 Release:        0.1
   5 License:        free for non-commercial
   6 Group:          Development/Tools
   7 # http://www.dcs.ed.ac.uk/home/cwb/copyright.html
   8 Source0:        src.tar.gz
   9 # NoSource0-md5:        76eab4c6ccab3990b9d0e496dbf283e5
  10 # http://www.dcs.ed.ac.uk/home/cwb/getting.html
  11 Source1:        custom.ml
  12 NoSource:       0
  13 NoSource:       1
  14 URL:            http://www.dcs.ed.ac.uk/home/cwb/
  15 BuildRequires:  smlnj >= 110
  16 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  17
  18 %description
  19 The Edinburgh Concurrency Workbench (CWB) is an automated tool which caters for
  20 the manipulation and analysis of concurrent systems. In particular, the CWB
  21 allows for various equivalence, preorder and model checking using a variety of
  22 different process semantics.
  23
  24 %prep
  25 %setup -q -n %{name}%{version}
  26 install %{SOURCE1} .
  27
  28 %build
  29 sml < custom.ml
  30
  31 %install
  32 rm -rf $RPM_BUILD_ROOT
  33 install -d $RPM_BUILD_ROOT{%{_bindir},%{_datadir}/%{name}}
  34
  35 install cwb.x86-linux $RPM_BUILD_ROOT%{_datadir}/%{name}/
  36
  37 cat <<EOF >$RPM_BUILD_ROOT%{_bindir}/cwb
  38 #!/bin/sh
  39 sml @SMLload=%{_datadir}/%{name}/cwb.x86-linux
  40 EOF
  41
  42 %clean
  43 rm -rf $RPM_BUILD_ROOT
  44
  45 %files
  46 %defattr(644,root,root,755)
  47 %attr(755,root,root) %{_bindir}/*
  48 %{_datadir}/%{name}