From: Jan Rękorajski <baggins@pld-linux.org>
Date: Mon, 12 Jan 2004 16:41:46 +0000 (+0000)
Subject: - initial revision
X-Git-Url: http://git.pld-linux.org/?p=packages%2FCWB.git;a=commitdiff_plain;h=e7ad9c33c37f6831bed0a78839470548eb80eba3

- initial revision

Changed files:
    CWB.spec -> 1.1
---

e7ad9c33c37f6831bed0a78839470548eb80eba3
diff --git a/CWB.spec b/CWB.spec
new file mode 100644
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}