54 lines
1.6 KiB
RPMSpec
54 lines
1.6 KiB
RPMSpec
|
Name: ocaml-integers
|
||
|
|
Version: 0.2.2
|
||
|
|
Release: 1mamba
|
||
|
|
Summary: Various signed and unsigned integer types for OCaml
|
||
|
|
Group: System/Libraries/OCaml
|
||
|
|
Vendor: openmamba
|
||
|
|
Distribution: openmamba
|
||
|
|
Packager: Silvan Calarco <silvan.calarco@mambasoft.it>
|
||
|
|
URL: https://github.com/ocamllabs/ocaml-integers
|
||
|
|
## GITSOURCE https://github.com/ocamllabs/ocaml-integers.git 0.3.0
|
||
|
|
Source: https://github.com/ocamllabs/ocaml-integers.git/v%{version}/ocaml-integers-%{version}.tar.bz2
|
||
|
|
License: MIT
|
||
|
|
## AUTOBUILDREQ-BEGIN
|
||
|
|
BuildRequires: glibc-devel
|
||
|
|
## AUTOBUILDREQ-END
|
||
|
|
BuildRequires: dune
|
||
|
|
BuildRequires: ocaml
|
||
|
|
BuildRequires: opam
|
||
|
|
BuildRequires: ocaml-topkg
|
||
|
|
BuildRoot: %{_tmppath}/%{name}-%{version}-root
|
||
|
|
|
||
|
|
%description
|
||
|
|
The ocaml-integers library provides a number of 8-, 16-, 32- and 64-bit signed and unsigned integer types, together with aliases such as `long` and `size_t` whose sizes depend on the host platform.
|
||
|
|
|
||
|
|
%prep
|
||
|
|
%setup -q
|
||
|
|
|
||
|
|
%build
|
||
|
|
%make
|
||
|
|
|
||
|
|
%install
|
||
|
|
[ "%{buildroot}" != / ] && rm -rf "%{buildroot}"
|
||
|
|
opam-installer \
|
||
|
|
--prefix=%{buildroot}%{_prefix} \
|
||
|
|
--libdir=%{buildroot}$(ocamlc -where) \
|
||
|
|
--docdir=%{buildroot}%{_docdir} \
|
||
|
|
--stubsdir=%{buildroot}$(ocamlc -where)/stublibs
|
||
|
|
|
||
|
|
%clean
|
||
|
|
[ "%{buildroot}" != / ] && rm -rf "%{buildroot}"
|
||
|
|
|
||
|
|
%files
|
||
|
|
%defattr(-,root,root)
|
||
|
|
%dir %{_libdir}/ocaml/integers
|
||
|
|
%{_libdir}/ocaml/integers/*
|
||
|
|
%{_libdir}/ocaml/stublibs/dllintegers.so
|
||
|
|
%dir %{_datadir}/doc/integers
|
||
|
|
%{_datadir}/doc/integers/*
|
||
|
|
%doc LICENSE.md
|
||
|
|
|
||
|
|
%changelog
|
||
|
|
* Sun May 05 2019 Silvan Calarco <silvan.calarco@mambasoft.it> 0.2.2-1mamba
|
||
|
|
- package created using the webbuild interface
|