138 lines
4.0 KiB
RPMSpec
138 lines
4.0 KiB
RPMSpec
%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 tests
|
|
|
|
%global srcname ppx-compare
|
|
%global upname ppx_compare
|
|
|
|
Name: ocaml-%{srcname}
|
|
Version: 0.14.0
|
|
Release: 3%{?dist}
|
|
Summary: Generate comparison functions from types
|
|
|
|
License: MIT
|
|
URL: https://github.com/janestreet/%{upname}
|
|
Source0: %{url}/archive/v%{version}/%{upname}-%{version}.tar.gz
|
|
|
|
BuildRequires: ocaml >= 4.04.2
|
|
BuildRequires: (ocaml-base-devel >= 0.14.0 and ocaml-base-devel < 0.15.0)
|
|
BuildRequires: ocaml-dune >= 2.0.0
|
|
BuildRequires: ocaml-ppxlib-devel >= 0.11.0
|
|
BuildRequires: ocaml-odoc
|
|
|
|
%if %{with tests}
|
|
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 %{upname}-%{version} -p1
|
|
|
|
%build
|
|
dune build %{?_smp_mflags}
|
|
dune build %{?_smp_mflags} @doc
|
|
|
|
%install
|
|
dune install --destdir=%{buildroot}
|
|
|
|
# We do not want the dune markers
|
|
find _build/default/_doc/_html -name .dune-keep -delete
|
|
|
|
# We do not want the ml files
|
|
find %{buildroot}%{_libdir}/ocaml -name \*.ml -delete
|
|
|
|
# We install the documentation with the doc macro
|
|
rm -fr %{buildroot}%{_prefix}/doc
|
|
|
|
%ifarch %{ocaml_native_compiler}
|
|
# Add missing executable bits
|
|
find %{buildroot}%{_libdir}/ocaml -name \*.cmxs -exec chmod a+x {} \+
|
|
%endif
|
|
|
|
%if %{with tests}
|
|
# The tests require a native build.
|
|
%ifnarch %{ocaml_native_compiler}
|
|
%check
|
|
dune runtest
|
|
%endif
|
|
%endif
|
|
|
|
%files
|
|
%doc CHANGES.md README.md
|
|
%license LICENSE.md
|
|
%dir %{_libdir}/ocaml/%{upname}/
|
|
%dir %{_libdir}/ocaml/%{upname}/expander/
|
|
%dir %{_libdir}/ocaml/%{upname}/runtime-lib/
|
|
%{_libdir}/ocaml/%{upname}/META
|
|
%{_libdir}/ocaml/%{upname}/*.cma
|
|
%{_libdir}/ocaml/%{upname}/*.cmi
|
|
%{_libdir}/ocaml/%{upname}/*/*.cma
|
|
%{_libdir}/ocaml/%{upname}/*/*.cmi
|
|
%ifarch %{ocaml_native_compiler}
|
|
%{_libdir}/ocaml/%{upname}/*.cmxs
|
|
%{_libdir}/ocaml/%{upname}/*/*.cmxs
|
|
%endif
|
|
|
|
%files devel
|
|
%doc _build/default/_doc/_html/*
|
|
%{_libdir}/ocaml/%{upname}/dune-package
|
|
%{_libdir}/ocaml/%{upname}/opam
|
|
%ifarch %{ocaml_native_compiler}
|
|
%{_libdir}/ocaml/%{upname}/*.a
|
|
%{_libdir}/ocaml/%{upname}/*.cmx
|
|
%{_libdir}/ocaml/%{upname}/*.cmxa
|
|
%{_libdir}/ocaml/%{upname}/*/*.a
|
|
%{_libdir}/ocaml/%{upname}/*/*.cmx
|
|
%{_libdir}/ocaml/%{upname}/*/*.cmxa
|
|
%endif
|
|
%{_libdir}/ocaml/%{upname}/*.cmt
|
|
%{_libdir}/ocaml/%{upname}/*.cmti
|
|
%{_libdir}/ocaml/%{upname}/*.mli
|
|
%{_libdir}/ocaml/%{upname}/*/*.cmt
|
|
%{_libdir}/ocaml/%{upname}/*/*.cmti
|
|
%{_libdir}/ocaml/%{upname}/*/*.mli
|
|
|
|
%changelog
|
|
* 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
|