- initial revision

Changed files:
    CWB.spec -> 1.1

diff --git a/CWB.spec b/CWB.spec
new file mode 100644 (file)
index 0000000..8efd596
--- /dev/null
+++ b/CWB.spec
@@ -0,0 +1,48 @@
+Summary:       The Edinburgh Concurrency Workbenc
+Name:          CWB
+Version:       7.1
+Release:       0.1
+License:       free for non-commercial
+Group:         Development/Tools
+# http://www.dcs.ed.ac.uk/home/cwb/copyright.html
+Source0:       src.tar.gz
+# NoSource0-md5:       76eab4c6ccab3990b9d0e496dbf283e5
+# http://www.dcs.ed.ac.uk/home/cwb/getting.html
+Source1:       custom.ml
+NoSource:      0
+NoSource:      1
+URL:           http://www.dcs.ed.ac.uk/home/cwb/
+BuildRequires: smlnj >= 110
+BuildRoot:     %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
+
+%description
+The Edinburgh Concurrency Workbench (CWB) is an automated tool which caters for
+the manipulation and analysis of concurrent systems. In particular, the CWB
+allows for various equivalence, preorder and model checking using a variety of
+different process semantics.
+
+%prep
+%setup -q -n %{name}%{version}
+install %{SOURCE1} .
+
+%build
+sml < custom.ml
+
+%install
+rm -rf $RPM_BUILD_ROOT
+install -d $RPM_BUILD_ROOT{%{_bindir},%{_datadir}/%{name}}
+
+install cwb.x86-linux $RPM_BUILD_ROOT%{_datadir}/%{name}/
+
+cat <<EOF >$RPM_BUILD_ROOT%{_bindir}/cwb
+#!/bin/sh
+sml @SMLload=%{_datadir}/%{name}/cwb.x86-linux
+EOF
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+%files
+%defattr(644,root,root,755)
+%attr(755,root,root) %{_bindir}/*
+%{_datadir}/%{name}