| 1 |
%define debug_package %{nil} |
| 2 |
%define name coinst |
| 3 |
%define versionbase 1.01 |
| 4 |
#define releasecandidate rc5 |
| 5 |
%define release %mkrel 4 |
| 6 |
#define versioncomplete %{versionbase}-%{releasecandidate} |
| 7 |
%define versioncomplete %{versionbase} |
| 8 |
|
| 9 |
Name: %{name} |
| 10 |
Version: %{versionbase} |
| 11 |
Release: %{release} |
| 12 |
Summary: Coinstallability kernels for GNU/Linux distributions |
| 13 |
Group: Development/C |
| 14 |
License: GPLv2 |
| 15 |
URL: http://coinst.irill.org/ |
| 16 |
Source0: http://www.pps.jussieu.fr/~vouillon/%{name}/%{name}-%{version}.tar.gz |
| 17 |
BuildRequires: ocaml >= 3.10.0 |
| 18 |
BuildRequires: camlp4 |
| 19 |
BuildRequires: ocaml-findlib |
| 20 |
BuildRequires: ocaml-js-devel |
| 21 |
BuildRequires: ocaml-cairo-devel |
| 22 |
BuildRequires: ocaml-lablgtk2-devel |
| 23 |
BuildRequires: ocaml-lwt-devel |
| 24 |
|
| 25 |
%global __ocaml_requires_opts -i Ast_c -i Token_c -i Type_cocci -i Ast_cocci -i Common -i Oassocb -i ANSITerminal -i Oseti -i Sexplib -i Oassoch -i Setb -i Oassoc_buffer -i Ograph2way -i SetPt -i Mapb -i Dumper -i Osetb -i Flag |
| 26 |
|
| 27 |
|
| 28 |
%description |
| 29 |
COINST reads the metadata of a GNU/Linux distribution (both RPM and DEB formats |
| 30 |
are supported), and computes the co-installability kernel, which is orders of |
| 31 |
magnitudes smaller than the original component graph, and yet contains all the |
| 32 |
information necessary to identify components which are not co-installable. The |
| 33 |
table below, extracted from the article, enumerate the number of packages, |
| 34 |
dependencies and conflicts in the input and the output of the tool. |
| 35 |
|
| 36 |
|
| 37 |
%files |
| 38 |
%{_bindir}/%{name} |
| 39 |
|
| 40 |
#-------------------------------------------------------------------- |
| 41 |
|
| 42 |
%package viewer |
| 43 |
Summary: GTK Viewer for %{name} |
| 44 |
Group: Development/C |
| 45 |
Requires: %{name} = %{version}-%{release} |
| 46 |
|
| 47 |
|
| 48 |
%description viewer |
| 49 |
The %{name}-examples package contains examples for %{name}. |
| 50 |
|
| 51 |
%files viewer |
| 52 |
%{_bindir}/%{name}_viewer |
| 53 |
%{_bindir}/%{name}_converter |
| 54 |
|
| 55 |
#-------------------------------------------------------------------- |
| 56 |
|
| 57 |
%package webviewer |
| 58 |
Summary: Web/JS Viewer for %{name} |
| 59 |
Group: Development/C |
| 60 |
Requires: %{name} = %{version}-%{release} |
| 61 |
|
| 62 |
|
| 63 |
%description webviewer |
| 64 |
The %{name}-examples package contains examples for %{name}. |
| 65 |
|
| 66 |
%files webviewer |
| 67 |
%{_bindir}/jsviewer.byte |
| 68 |
%{_datadir}/%{name}/* |
| 69 |
|
| 70 |
#-------------------------------------------------------------------- |
| 71 |
|
| 72 |
%prep |
| 73 |
%setup -q -n %{name}-%{versioncomplete} |
| 74 |
|
| 75 |
|
| 76 |
%build |
| 77 |
make |
| 78 |
|
| 79 |
pushd viewer |
| 80 |
make |
| 81 |
popd |
| 82 |
|
| 83 |
%install |
| 84 |
%{__install} -m0755 -D %{name} %{buildroot}%{_bindir}/%{name} |
| 85 |
|
| 86 |
pushd viewer |
| 87 |
%{__install} -m0755 -D jsviewer.byte %{buildroot}%{_bindir}/jsviewer.byte |
| 88 |
%{__install} -m0755 -D coinst_viewer %{buildroot}%{_bindir}/coinst_viewer |
| 89 |
%{__install} -m0755 -D coinst_converter %{buildroot}%{_bindir}/coinst_converter |
| 90 |
|
| 91 |
%{__install} -m0644 -D jsviewer.js %{buildroot}%{_datadir}/%{name}/jsviewer.js |
| 92 |
%{__install} -m0644 -D index.html %{buildroot}%{_datadir}/%{name}/index.html |
| 93 |
popd |
| 94 |
|
| 95 |
|
Parent Directory
| 
Revision Log