Initial import.
This commit is contained in:
parent
b4a95e745f
commit
e463e0a599
1
.gitignore
vendored
Normal file
1
.gitignore
vendored
Normal file
@ -0,0 +1 @@
|
||||
/jane-street-headers-*.tar.gz
|
55
ocaml-jane-street-headers.spec
Normal file
55
ocaml-jane-street-headers.spec
Normal file
@ -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 <loganjerry@gmail.com> - 0.14.0-1
|
||||
- Initial RPM
|
Loading…
Reference in New Issue
Block a user