ocaml-jane-street-headers/ocaml-jane-street-headers.spec

68 lines
1.9 KiB
RPMSpec
Raw Permalink Normal View History

2020-08-11 03:54:12 +00:00
%global srcname jane-street-headers
# This package creates no ELF files, but cannot be noarch since the install
# location is under _libdir.
%global debug_package %{nil}
2020-08-11 03:54:12 +00:00
Name: ocaml-%{srcname}
Version: 0.14.0
2020-09-02 20:19:06 +00:00
Release: 3%{?dist}.1
2020-08-11 03:54:12 +00:00
Summary: Jane Street header files
License: MIT
URL: https://github.com/janestreet/jane-street-headers
Source0: %{url}/archive/v%{version}/%{srcname}-%{version}.tar.gz
BuildRequires: ocaml >= 4.04.2
BuildRequires: ocaml-dune >= 2.0.0
%description
This package contains C header files shared between various Jane Street
packages.
%package devel
Summary: Development files for %{name}
%description devel
This package contains C header files shared between various Jane Street
packages.
%prep
%autosetup -n %{srcname}-%{version}
%build
dune build %{?_smp_mflags}
%install
dune install --destdir=%{buildroot}
# The generated jane_street_headers.ml file is empty, and so the rest of the
# compiled OCaml artifacts likewise contain nothing useful. No consumers need
# them either; we remove them.
2020-08-11 03:54:12 +00:00
rm -f %{buildroot}%{_libdir}/ocaml/%{srcname}/*.{cma,cmi,cmt,cmx,cmxa,cmxs,ml}
# Removing those artifacts means we also need to remove references to them
sed -ri '/(archive|plugin)/d' \
%{buildroot}%{_libdir}/ocaml/%{srcname}/{dune-package,META}
# We install the documentation with the doc macro
rm -fr %{buildroot}%{_prefix}/doc
%files devel
%doc README.org
%license LICENSE.md
%{_libdir}/ocaml/%{srcname}/
%changelog
2020-09-02 20:19:06 +00:00
* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-3.1
- Bump release and rebuild.
2020-09-01 19:33:11 +00:00
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-3
- OCaml 4.11.1 rebuild
2020-08-21 11:24:25 +00:00
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-2
- OCaml 4.11.0 rebuild
2020-08-11 03:54:12 +00:00
* Thu Jun 18 2020 Jerry James <loganjerry@gmail.com> - 0.14.0-1
- Initial RPM