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