From e463e0a599c5bdab9d7f0b3f798e3d08ca896785 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Mon, 10 Aug 2020 21:54:12 -0600 Subject: [PATCH] Initial import. --- .gitignore | 1 + ocaml-jane-street-headers.spec | 55 ++++++++++++++++++++++++++++++++++ sources | 1 + 3 files changed, 57 insertions(+) create mode 100644 .gitignore create mode 100644 ocaml-jane-street-headers.spec create mode 100644 sources diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..d2e200f --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +/jane-street-headers-*.tar.gz diff --git a/ocaml-jane-street-headers.spec b/ocaml-jane-street-headers.spec new file mode 100644 index 0000000..6b12abe --- /dev/null +++ b/ocaml-jane-street-headers.spec @@ -0,0 +1,55 @@ +%global srcname jane-street-headers + +Name: ocaml-%{srcname} +Version: 0.14.0 +Release: 1%{?dist} +Summary: Jane Street header files + +License: MIT +URL: https://github.com/janestreet/jane-street-headers +Source0: %{url}/archive/v%{version}/%{srcname}-%{version}.tar.gz + +BuildArch: noarch +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 so this package can be noarch. +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 +* Thu Jun 18 2020 Jerry James - 0.14.0-1 +- Initial RPM diff --git a/sources b/sources new file mode 100644 index 0000000..f929c66 --- /dev/null +++ b/sources @@ -0,0 +1 @@ +SHA512 (jane-street-headers-0.14.0.tar.gz) = 9c80acc57016f98cd88455866523f2463a13d2b7e10cf0d63f5198747615321799a8b3442432b321fa4f33a051f404464e27972317d197ac9513651600673879