From e7ad9c33c37f6831bed0a78839470548eb80eba3 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jan=20R=C4=99korajski?= <baggins@pld-linux.org>
Date: Mon, 12 Jan 2004 16:41:46 +0000
Subject: [PATCH] - initial revision

Changed files:
    CWB.spec -> 1.1
---
 CWB.spec | 48 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 48 insertions(+)
 create mode 100644 CWB.spec

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}
-- 
2.43.0