d823588
# OCaml packages not built on i686 since OCaml 5 / Fedora 39.
d823588
ExcludeArch: %{ix86}
d823588
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
609843e
Version:        0.10
ce83780
Release:        3%{?dist}
3e73c9d
Summary:        Format for describing upgrade scenarios
3e73c9d
609843e
License:        LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
609843e
URL:            https://www.mancoosi.org/cudf/
609843e
Source0:        https://gitlab.com/irill/cudf/-/archive/v%{version}/cudf-v%{version}.tar.gz
ca08917
c84fb7b
BuildRequires:  make
3e73c9d
BuildRequires:  ocaml
609843e
BuildRequires:  ocaml-dune
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}
609843e
Requires:       %{name}%{?_isa} = %{version}-%{release}
609843e
Requires:       ocaml-extlib-devel%{?_isa}
3e73c9d
3e73c9d
%description    devel
3e73c9d
The %{name}-devel package contains libraries and signature files for
3e73c9d
developing applications that use %{name}.
3e73c9d
3e73c9d
%prep
609843e
%autosetup -n cudf-v%{version}
3e73c9d
3e73c9d
%build
609843e
%dune_build
609843e
%make_build -C doc
3e73c9d
3e73c9d
%install
609843e
%dune_install
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
%check
609843e
%dune_check
3e73c9d
609843e
%files -f .ofiles
3e73c9d
%license COPYING
3e73c9d
%doc README
3e73c9d
%{_mandir}/man1/cudf-check.1*
3e73c9d
609843e
%files devel -f .ofiles-devel
609843e
%license COPYING
3e73c9d
3e73c9d
%changelog
ce83780
* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.10-3
ce83780
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
ce83780
b7d1786
* Tue Jul 11 2023 Richard W.M. Jones <rjones@redhat.com> - 0.10-2
b7d1786
- OCaml 5.0 rebuild for Fedora 39
b7d1786
609843e
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 0.10-1
609843e
- Version 0.10
609843e
- Convert License tag to SPDX
609843e
- Drop upstreamed ounit2 patch
609843e
- Build with dune
609843e
30e4c1b
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9-36
30e4c1b
- Bump release and rebuild
30e4c1b
460433c
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9-35
460433c
- Rebuild OCaml packages for F38
460433c
90c7426
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-34
90c7426
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
90c7426
a2793c2
* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-33
a2793c2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
a2793c2
c84ffd6
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 0.9-32
c84ffd6
- OCaml 4.14.0 rebuild
c84ffd6
e882f54
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.9-31
e882f54
- OCaml 4.13.1 rebuild to remove package notes
e882f54
d60aae2
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-30
d60aae2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
d60aae2
742af9e
* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9-29
742af9e
- OCaml 4.13.1 build
742af9e
23d9487
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-28
23d9487
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
23d9487
7eb46ce
* Mon Mar  1 21:30:57 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9-27
7eb46ce
- OCaml 4.12.0 build
7eb46ce
4275d83
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-26
4275d83
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
4275d83
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.