|
|
3e73c9d |
# cudf includes C bindings, but it produces a static library.
|
|
|
3e73c9d |
# therefore for now, we'll not build them.
|
|
|
3e73c9d |
|
|
|
3e73c9d |
Name: ocaml-cudf
|
|
|
3e73c9d |
Version: 0.9
|
|
|
c84fb7b |
Release: 25%{?dist}
|
|
|
3e73c9d |
Summary: Format for describing upgrade scenarios
|
|
|
3e73c9d |
|
|
|
3e73c9d |
%global libname %(echo %{name} | sed -e 's/^ocaml-//')
|
|
|
3e73c9d |
|
|
|
3e73c9d |
# Linking exception, see included COPYING file.
|
|
|
3e73c9d |
License: LGPLv3+ with exceptions
|
|
|
3e73c9d |
URL: http://www.mancoosi.org/cudf/
|
|
|
3e73c9d |
Source0: https://gforge.inria.fr/frs/download.php/file/36602/cudf-0.9.tar.gz
|
|
|
3e73c9d |
|
|
|
ca08917 |
# Use ounit2.
|
|
|
ca08917 |
%global _default_patch_fuzz 2
|
|
|
ca08917 |
Patch1: cudf-0.9-ounit2.patch
|
|
|
ca08917 |
|
|
|
c84fb7b |
BuildRequires: make
|
|
|
3e73c9d |
BuildRequires: ocaml
|
|
|
3e73c9d |
BuildRequires: ocaml-ocamlbuild
|
|
|
3e73c9d |
BuildRequires: ocaml-ocamldoc
|
|
|
3e73c9d |
BuildRequires: ocaml-findlib-devel
|
|
|
3e73c9d |
BuildRequires: ocaml-extlib-devel
|
|
|
3e73c9d |
BuildRequires: ocaml-ounit-devel
|
|
|
3e73c9d |
|
|
|
3e73c9d |
# Depend on pod2man.
|
|
|
3e73c9d |
BuildRequires: /usr/bin/pod2man
|
|
|
3e73c9d |
|
|
|
3e73c9d |
%description
|
|
|
3e73c9d |
CUDF (for Common Upgradeability Description Format) is a format for
|
|
|
3e73c9d |
describing upgrade scenarios in package-based Free and Open Source
|
|
|
3e73c9d |
Software distribution.
|
|
|
3e73c9d |
|
|
|
3e73c9d |
In every such scenario there exists a package universe (i.e. a set
|
|
|
3e73c9d |
of packages) known to a package manager application, a package status
|
|
|
3e73c9d |
(i.e. the currently installed packages), and a user request (i.e. a
|
|
|
3e73c9d |
wish to change the set of installed packages) that need to be
|
|
|
3e73c9d |
fulfilled.
|
|
|
3e73c9d |
|
|
|
3e73c9d |
CUDF permits to describe an upgrade scenario in a way that is
|
|
|
3e73c9d |
both distribution-independent and package-manager-independent.
|
|
|
3e73c9d |
|
|
|
3e73c9d |
CUDF offers a rigorous semantics of dependency solving that
|
|
|
3e73c9d |
enables to independently check the correctness of upgrade
|
|
|
3e73c9d |
solutions proposed by package managers.
|
|
|
3e73c9d |
|
|
|
3e73c9d |
CUDF adoption would enable to share dependency solver components
|
|
|
3e73c9d |
across different package managers, both intra- and
|
|
|
3e73c9d |
inter-distributions.
|
|
|
3e73c9d |
|
|
|
3e73c9d |
%package devel
|
|
|
3e73c9d |
Summary: Development files for %{name}
|
|
|
3e73c9d |
Requires: %{name} = %{version}-%{release}
|
|
|
3e73c9d |
|
|
|
3e73c9d |
%description devel
|
|
|
3e73c9d |
The %{name}-devel package contains libraries and signature files for
|
|
|
3e73c9d |
developing applications that use %{name}.
|
|
|
3e73c9d |
|
|
|
3e73c9d |
%prep
|
|
|
ca08917 |
%autosetup -n %{libname}-%{version} -p1
|
|
|
3e73c9d |
|
|
|
3e73c9d |
# Add debug tag.
|
|
|
3e73c9d |
sed 's/pkg_extlib/pkg_extlib, debug/g' -i _tags
|
|
|
3e73c9d |
|
|
|
3e73c9d |
%build
|
|
|
3e73c9d |
%make_build
|
|
|
3e73c9d |
%ifarch %{ocaml_native_compiler}
|
|
|
3e73c9d |
%make_build opt
|
|
|
3e73c9d |
%endif
|
|
|
3e73c9d |
|
|
|
3e73c9d |
%make_build doc
|
|
|
3e73c9d |
|
|
|
3e73c9d |
%install
|
|
|
3e73c9d |
make install DESTDIR=%{buildroot}
|
|
|
3e73c9d |
|
|
|
3e73c9d |
# Install the man page for cudf-check.
|
|
|
3e73c9d |
mkdir -p %{buildroot}%{_mandir}/man1
|
|
|
3e73c9d |
cp -a doc/cudf-check.1* %{buildroot}%{_mandir}/man1
|
|
|
3e73c9d |
|
|
|
3e73c9d |
# Remove .o files from cudf directory.
|
|
|
3e73c9d |
rm -rf %{buildroot}%{_libdir}/ocaml/cudf/*.o
|
|
|
3e73c9d |
|
|
|
3e73c9d |
%check
|
|
|
3e73c9d |
make test
|
|
|
3e73c9d |
|
|
|
3e73c9d |
%files
|
|
|
3e73c9d |
%license COPYING
|
|
|
3e73c9d |
%doc README
|
|
|
3e73c9d |
%{_bindir}/cudf-check
|
|
|
3e73c9d |
%{_mandir}/man1/cudf-check.1*
|
|
|
3e73c9d |
%{_bindir}/cudf-parse-822
|
|
|
3e73c9d |
%{_libdir}/ocaml/%{libname}
|
|
|
3e73c9d |
%ifarch %{ocaml_native_compiler}
|
|
|
3e73c9d |
%exclude %{_libdir}/ocaml/*/*.a
|
|
|
3e73c9d |
%exclude %{_libdir}/ocaml/*/*.cmxa
|
|
|
3e73c9d |
%exclude %{_libdir}/ocaml/*/*.cmx
|
|
|
3e73c9d |
%endif
|
|
|
3e73c9d |
%exclude %{_libdir}/ocaml/*/*.mli
|
|
|
3e73c9d |
|
|
|
3e73c9d |
%files devel
|
|
|
3e73c9d |
# include API documentation here.
|
|
|
3e73c9d |
%doc cudf.docdir/*
|
|
|
3e73c9d |
%license COPYING
|
|
|
3e73c9d |
%ifarch %{ocaml_native_compiler}
|
|
|
3e73c9d |
%{_libdir}/ocaml/*/*.a
|
|
|
3e73c9d |
%{_libdir}/ocaml/*/*.cmxa
|
|
|
3e73c9d |
%{_libdir}/ocaml/*/*.cmx
|
|
|
3e73c9d |
%endif
|
|
|
3e73c9d |
%{_libdir}/ocaml/*/*.mli
|
|
|
3e73c9d |
|
|
|
3e73c9d |
|
|
|
3e73c9d |
%changelog
|
|
|
c84fb7b |
* Wed Jan 20 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9-25
|
|
|
c84fb7b |
- Rebuild for new ocaml-extlib.
|
|
|
c84fb7b |
|
|
|
f51f9a1 |
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9-24
|
|
|
f51f9a1 |
- OCaml 4.11.1 rebuild
|
|
|
f51f9a1 |
|
|
|
59942d9 |
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9-23
|
|
|
59942d9 |
- OCaml 4.11.0 rebuild
|
|
|
59942d9 |
|
|
|
8bbcbc6 |
* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-22
|
|
|
8bbcbc6 |
- Second attempt - Rebuilt for
|
|
|
8bbcbc6 |
https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
|
8bbcbc6 |
|
|
|
c7cfbc0 |
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-21
|
|
|
c7cfbc0 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
|
c7cfbc0 |
|
|
|
144d62b |
* Sat May 30 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9-20
|
|
|
144d62b |
- Rebuild for updated ocaml-extlib (RHBZ#1837823).
|
|
|
144d62b |
|
|
|
7d917d3 |
* Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9-19
|
|
|
7d917d3 |
- OCaml 4.11.0+dev2-2020-04-22 rebuild
|
|
|
7d917d3 |
|
|
|
c3ccfeb |
* Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9-18
|
|
|
c3ccfeb |
- OCaml 4.11.0 pre-release attempt 2
|
|
|
c3ccfeb |
|
|
|
8fb258d |
* Sat Apr 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9-17
|
|
|
8fb258d |
- Update all OCaml dependencies for RPM 4.16.
|
|
|
8fb258d |
|
|
|
7161a2e |
* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9-16
|
|
|
7161a2e |
- OCaml 4.10.0 final.
|
|
|
7161a2e |
|
|
|
0b36c72 |
* Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-15
|
|
|
0b36c72 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
|
|
0b36c72 |
|
|
|
c13768a |
* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9-14
|
|
|
c13768a |
- OCaml 4.10.0+beta1 rebuild.
|
|
|
c13768a |
|
|
|
2c64d98 |
* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9-13
|
|
|
2c64d98 |
- OCaml 4.09.0 (final) rebuild.
|
|
|
2c64d98 |
|
|
|
1c45df6 |
* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9-12
|
|
|
1c45df6 |
- OCaml 4.08.1 (final) rebuild.
|
|
|
1c45df6 |
|
|
|
b6e0a5f |
* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9-11
|
|
|
b6e0a5f |
- OCaml 4.08.1 (rc2) rebuild.
|
|
|
b6e0a5f |
|
|
|
f8ba1b5 |
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-10
|
|
|
f8ba1b5 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
|
|
f8ba1b5 |
|
|
|
660b3d8 |
* Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9-9
|
|
|
660b3d8 |
- OCaml 4.08.0 (final) rebuild.
|
|
|
660b3d8 |
|
|
|
d78cf81 |
* Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9-8
|
|
|
d78cf81 |
- OCaml 4.08.0 (beta 3) rebuild.
|
|
|
d78cf81 |
|
|
|
7440dfd |
* Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-7
|
|
|
7440dfd |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
|
|
7440dfd |
|
|
|
8b4311b |
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-6
|
|
|
8b4311b |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
|
|
8b4311b |
|
|
|
e91c5a6 |
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9-5
|
|
|
e91c5a6 |
- OCaml 4.07.0 (final) rebuild.
|
|
|
e91c5a6 |
|
|
|
c76cc51 |
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9-4
|
|
|
c76cc51 |
- OCaml 4.07.0-rc1 rebuild.
|
|
|
c76cc51 |
|
|
|
9cac67e |
* Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-3
|
|
|
9cac67e |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
|
9cac67e |
|
|
|
622ed38 |
* Sat Dec 02 2017 Richard W.M. Jones <rjones@redhat.com> - 0.9-2
|
|
|
622ed38 |
- OCaml 4.06.0 rebuild.
|
|
|
622ed38 |
|
|
|
3e73c9d |
* Fri Aug 11 2017 Ben Rosser <rosser.bjr@gmail.com> 0.9-1
|
|
|
3e73c9d |
- Initial package.
|