85 lines
2.0 KiB
RPMSpec
85 lines
2.0 KiB
RPMSpec
Name: ocaml-ppx-derivers
|
|
Version: 1.2.1
|
|
Release: 2%{?dist}
|
|
Summary: Deriving plugin registry
|
|
|
|
License: BSD
|
|
URL: https://github.com/ocaml-ppx/ppx_derivers
|
|
Source0: https://github.com/ocaml-ppx/ppx_derivers/archive/%{version}/%{name}-%{version}.tar.gz
|
|
|
|
BuildRequires: ocaml
|
|
BuildRequires: ocaml-findlib
|
|
BuildRequires: ocaml-dune
|
|
BuildRequires: opam-installer
|
|
|
|
%description
|
|
Ppx_derivers is a tiny package whose sole purpose is to allow
|
|
ppx_deriving and ppx_type_conv to inter-operate gracefully when
|
|
linked as part of the same ocaml-migrate-parsetree driver.
|
|
|
|
|
|
%package devel
|
|
Summary: Development files for %{name}
|
|
Requires: %{name}%{?_isa} = %{version}-%{release}
|
|
|
|
|
|
%description devel
|
|
The %{name}-devel package contains libraries and signature files for
|
|
developing applications that use %{name}.
|
|
|
|
|
|
%prep
|
|
%setup -q -n ppx_derivers-%{version}
|
|
|
|
|
|
%build
|
|
dune build @install
|
|
|
|
|
|
%install
|
|
mkdir -p %{buildroot}%{_libdir}/ocaml
|
|
dune install --destdir=%{buildroot} --verbose
|
|
|
|
# These files will be installed using the doc and license directives
|
|
rm -r %{buildroot}%{_prefix}/doc
|
|
|
|
# Makes *.cmxs executable such that they will be stripped.
|
|
find %{buildroot} -name '*.cmxs' -exec chmod 0755 {} \;
|
|
|
|
%check
|
|
dune runtest
|
|
|
|
|
|
%files
|
|
%doc README.md CHANGES.md
|
|
%license LICENSE.md
|
|
%{_libdir}/ocaml/*
|
|
%ifarch %{ocaml_native_compiler}
|
|
%exclude %{_libdir}/ocaml/*/*.a
|
|
%exclude %{_libdir}/ocaml/*/*.cmxa
|
|
%exclude %{_libdir}/ocaml/*/*.cmx
|
|
%endif
|
|
%exclude %{_libdir}/ocaml/*/*.mli
|
|
%exclude %{_libdir}/ocaml/*/*.ml
|
|
|
|
|
|
%files devel
|
|
%doc README.md CHANGES.md
|
|
%license LICENSE.md
|
|
%ifarch %{ocaml_native_compiler}
|
|
%{_libdir}/ocaml/*/*.a
|
|
%{_libdir}/ocaml/*/*.cmxa
|
|
%{_libdir}/ocaml/*/*.cmx
|
|
%endif
|
|
%{_libdir}/ocaml/*/*.mli
|
|
%{_libdir}/ocaml/*/*.ml
|
|
|
|
|
|
%changelog
|
|
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.1-2
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
|
|
|
* Thu May 16 2019 Andy Li <andy@onthewings.net> - 1.2.1-1
|
|
- Initial RPM release.
|
|
|