68 lines
2.1 KiB
RPMSpec
68 lines
2.1 KiB
RPMSpec
Name: ocaml-num
|
|
Version: 1.4
|
|
Release: 2mamba
|
|
Summary: Legacy Num Ocaml library for arbitrary-precision integer and rational arithmetic
|
|
Group: System/Libraries
|
|
Vendor: openmamba
|
|
Distribution: openmamba
|
|
Packager: Silvan Calarco <silvan.calarco@mambasoft.it>
|
|
URL: https://github.com/ocaml/num
|
|
Source: https://github.com/ocaml/num.git/v%{version}/num-%{version}.tar.bz2
|
|
Patch0: ocaml-num-1.1-provide_target_findlib_install.patch
|
|
License: GPL
|
|
## AUTOBUILDREQ-BEGIN
|
|
BuildRequires: glibc-devel
|
|
BuildRequires: ldconfig
|
|
BuildRequires: ocaml-runtime
|
|
## AUTOBUILDREQ-END
|
|
BuildRequires: ocaml >= 4.11.1
|
|
BuildRoot: %{_tmppath}/%{name}-%{version}-root
|
|
|
|
%description
|
|
The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution.
|
|
|
|
%prep
|
|
%setup -q -n num-%{version}
|
|
#%patch0 -p1
|
|
|
|
%build
|
|
%make
|
|
|
|
%install
|
|
[ "%{buildroot}" != / ] && rm -rf "%{buildroot}"
|
|
install -d %{buildroot}$(ocamlfind printconf destdir)/stublibs
|
|
|
|
make OCAMLFIND_DESTDIR="%{buildroot}$(ocamlfind printconf destdir)" findlib-install
|
|
|
|
%clean
|
|
[ "%{buildroot}" != / ] && rm -rf "%{buildroot}"
|
|
|
|
%files
|
|
%defattr(-,root,root)
|
|
%dir %{_libdir}/ocaml/num-top
|
|
%{_libdir}/ocaml/num-top/*
|
|
%dir %{_libdir}/ocaml/num
|
|
%{_libdir}/ocaml/num/*
|
|
%{_libdir}/ocaml/stublibs/dllnums.so
|
|
%{_libdir}/ocaml/stublibs/dllnums.so.owner
|
|
%doc LICENSE
|
|
|
|
%changelog
|
|
* Fri Jan 22 2021 Silvan Calarco <silvan.calarco@mambasoft.it> 1.4-2mamba
|
|
- rebuilt with ocaml 4.11.1
|
|
|
|
* Wed Jan 13 2021 Automatic Build System <autodist@mambasoft.it> 1.4-1mamba
|
|
- automatic version update by autodist
|
|
|
|
* Mon Dec 30 2019 Silvan Calarco <silvan.calarco@mambasoft.it> 1.3-2mamba
|
|
- rebuilt with ocaml 4.09.0-4mamba
|
|
|
|
* Sat Dec 07 2019 Automatic Build System <autodist@mambasoft.it> 1.3-1mamba
|
|
- automatic version update by autodist
|
|
|
|
* Mon Jul 22 2019 Automatic Build System <autodist@mambasoft.it> 1.2-1mamba
|
|
- automatic version update by autodist
|
|
|
|
* Sun Apr 21 2019 Silvan Calarco <silvan.calarco@mambasoft.it> 1.1-1mamba
|
|
- package created using the webbuild interface
|