179 lines
5.7 KiB
RPMSpec
179 lines
5.7 KiB
RPMSpec
# OCaml packages not built on i686 since OCaml 5 / Fedora 39.
|
|
ExcludeArch: %{ix86}
|
|
|
|
%ifnarch %{ocaml_native_compiler}
|
|
%global debug_package %{nil}
|
|
%endif
|
|
|
|
# This package is now a transitive dependency of ocaml-ppx-inline-test, so using
|
|
# it to test this package creates a circular dependency.
|
|
%bcond_with test
|
|
|
|
Name: ocaml-ppx-compare
|
|
Version: 0.16.0
|
|
Release: 4%{?dist}
|
|
Summary: Generate comparison functions from types
|
|
|
|
License: MIT
|
|
URL: https://github.com/janestreet/ppx_compare
|
|
Source0: %{url}/archive/v%{version}/ppx_compare-%{version}.tar.gz
|
|
|
|
BuildRequires: ocaml >= 4.14.0
|
|
BuildRequires: ocaml-base-devel >= 0.16
|
|
BuildRequires: ocaml-dune >= 2.0.0
|
|
BuildRequires: ocaml-ppxlib-devel >= 0.28.0
|
|
|
|
%if %{with test}
|
|
BuildRequires: ocaml-ppx-inline-test-devel
|
|
%endif
|
|
|
|
%description
|
|
Ppx_compare is a ppx rewriter that derives comparison and equality
|
|
functions from type representations. The scaffolded functions are
|
|
usually much faster than OCaml's `Pervasives.compare` and
|
|
`Pervasives.(=)`. Scaffolding functions also give more flexibility by
|
|
allowing them to be overridden for a specific type, and more safety by
|
|
making sure that only comparable values are compared.
|
|
|
|
%package devel
|
|
Summary: Development files for %{name}
|
|
Requires: %{name}%{?_isa} = %{version}-%{release}
|
|
Requires: ocaml-base-devel%{?_isa}
|
|
Requires: ocaml-ppxlib-devel%{?_isa}
|
|
|
|
%description devel
|
|
The %{name}-devel package contains libraries and signature files for
|
|
developing applications that use %{name}.
|
|
|
|
%prep
|
|
%autosetup -n ppx_compare-%{version} -p1
|
|
|
|
%build
|
|
%dune_build
|
|
|
|
%install
|
|
%dune_install
|
|
|
|
%if %{with test}
|
|
# The tests require a native build.
|
|
%ifnarch %{ocaml_native_compiler}
|
|
%check
|
|
%dune_check
|
|
%endif
|
|
%endif
|
|
|
|
%files -f .ofiles
|
|
%doc CHANGES.md README.md
|
|
%license LICENSE.md
|
|
|
|
%files devel -f .ofiles-devel
|
|
|
|
%changelog
|
|
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 0.16.0-4
|
|
- OCaml 5.1 rebuild for Fedora 40
|
|
|
|
* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.0-3
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
|
|
|
* Tue Jul 11 2023 Richard W.M. Jones <rjones@redhat.com> - 0.16.0-2
|
|
- OCaml 5.0 rebuild for Fedora 39
|
|
|
|
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 0.16.0-1
|
|
- Version 0.16.0
|
|
|
|
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.15.0-11
|
|
- Rebuild OCaml packages for F38
|
|
|
|
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.15.0-10
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
|
|
|
* Tue Nov 1 2022 Jerry James <loganjerry@gmail.com> - 0.15.0-9
|
|
- Rebuild for ocaml-ppxlib 0.28.0
|
|
|
|
* Thu Aug 18 2022 Jerry James <loganjerry@gmail.com> - 0.15.0-8
|
|
- Rebuild for ocaml-ppxlib 0.27.0
|
|
|
|
* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.15.0-7
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
|
|
|
* Wed Jul 20 2022 Jerry James <loganjerry@gmail.com> - 0.15.0-6
|
|
- Use new OCaml macros
|
|
|
|
* Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 0.15.0-6
|
|
- OCaml 4.14.0 rebuild
|
|
|
|
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 0.15.0-5
|
|
- Version 0.15.0 rerelease
|
|
|
|
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.15.0-4
|
|
- OCaml 4.13.1 rebuild to remove package notes
|
|
|
|
* Thu Feb 3 2022 Jerry James <loganjerry@gmail.com> - 0.15.0-3
|
|
- Conditionally build docs to avoid circular dependency on odoc
|
|
|
|
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.15.0-3
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
|
|
|
* Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 0.15.0-2
|
|
- Rebuild for ocaml-ppxlib 0.24.0
|
|
|
|
* Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 0.15.0-1
|
|
- Version 0.15.0
|
|
|
|
* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-14
|
|
- OCaml 4.13.1 build
|
|
|
|
* Wed Sep 1 2021 Jerry James <loganjerry@gmail.com> - 0.14.0-13
|
|
- Rebuild for ocaml-ppxlib 0.23.0
|
|
|
|
* Thu Jul 29 2021 Jerry James <loganjerry@gmail.com> - 0.14.0-12
|
|
- Rebuild for ocaml-ppxlib 0.22.2
|
|
|
|
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.14.0-11
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
|
|
|
* Tue Jun 22 2021 Jerry James <loganjerry@gmail.com> - 0.14.0-10
|
|
- Rebuild for ocaml-ppxlib 0.22.1
|
|
- There is no circular dependency, so build with ocaml-odoc always
|
|
|
|
* Mon Mar 1 17:34:09 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-9
|
|
- OCaml 4.12.0 build
|
|
- Make ocaml-odoc dependency conditional.
|
|
|
|
* Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 0.14.0-8
|
|
- Rebuild for ocaml-base 0.14.1
|
|
|
|
* Tue Feb 2 2021 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-7
|
|
- Bump and rebuild for updated ocaml Dynlink dependency.
|
|
|
|
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.14.0-6
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
|
|
|
* Mon Dec 7 2020 Jerry James <loganjerry@gmail.com> - 0.14.0-5
|
|
- Rebuild for ocaml-ppxlib 0.15.0
|
|
|
|
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-4
|
|
- OCaml 4.11.1 rebuild
|
|
|
|
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-3
|
|
- OCaml 4.11.0 rebuild
|
|
|
|
* Fri Aug 7 2020 Jerry James <loganjerry@gmail.com> - 0.13.0-1
|
|
- Rebuild against ppxlib 0.13.0
|
|
|
|
* Thu Aug 6 2020 Jerry James <loganjerry@gmail.com> - 0.14.0-1
|
|
- Version 0.14.0
|
|
|
|
* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.13.0-4
|
|
- Second attempt - Rebuilt for
|
|
https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
|
|
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.13.0-3
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
|
|
* Thu May 28 2020 Jerry James <loganjerry@gmail.com> - 0.13.0-2
|
|
- Drop unnecessary patch
|
|
|
|
* Thu May 7 2020 Jerry James <loganjerry@gmail.com> - 0.13.0-1
|
|
- Initial RPM
|