120 lines
3.7 KiB
RPMSpec
120 lines
3.7 KiB
RPMSpec
%undefine _package_note_flags
|
|
|
|
%ifnarch %{ocaml_native_compiler}
|
|
%global debug_package %{nil}
|
|
%endif
|
|
|
|
Name: ocaml-stdio
|
|
Version: 0.15.0
|
|
Release: 9%{?dist}
|
|
Summary: Jane Street Standard I/O library for OCaml
|
|
|
|
License: MIT
|
|
URL: https://github.com/janestreet/stdio
|
|
Source0: %{url}/archive/v%{version}/stdio-%{version}.tar.gz
|
|
|
|
BuildRequires: ocaml >= 4.08.0
|
|
BuildRequires: ocaml-base-devel >= 0.15
|
|
BuildRequires: ocaml-dune >= 2.0.0
|
|
|
|
%description
|
|
Stdio provides input/output functions for OCaml. It re-exports the
|
|
buffered channels of the stdlib distributed with OCaml but with some
|
|
improvements.
|
|
|
|
%package devel
|
|
Summary: Development files for %{name}
|
|
Requires: %{name}%{?_isa} = %{version}-%{release}
|
|
Requires: ocaml-base-devel%{?_isa}
|
|
|
|
%description devel
|
|
The %{name}-devel package contains libraries and signature files for
|
|
developing applications that use %{name}.
|
|
|
|
%prep
|
|
%autosetup -n stdio-%{version}
|
|
|
|
%build
|
|
%dune_build
|
|
|
|
%install
|
|
%dune_install
|
|
|
|
%files -f .ofiles
|
|
%doc CHANGES.md README.md
|
|
%license LICENSE.md
|
|
|
|
%files devel -f .ofiles-devel
|
|
|
|
%changelog
|
|
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.15.0-9
|
|
- Rebuild OCaml packages for F38
|
|
|
|
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.15.0-8
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
|
|
|
* Mon Oct 31 2022 Jerry James <loganjerry@gmail.com> - 0.15.0-7
|
|
- Rebuild for ocaml-base 0.15.1
|
|
|
|
* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.15.0-6
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
|
|
|
* Tue Jun 28 2022 Jerry James <loganjerry@gmail.com> - 0.15.0-5
|
|
- Use new OCaml macros
|
|
|
|
* Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 0.15.0-5
|
|
- OCaml 4.14.0 rebuild
|
|
|
|
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 0.15.0-4
|
|
- Version 0.15.0 rerelease
|
|
|
|
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.15.0-3
|
|
- OCaml 4.13.1 rebuild to remove package notes
|
|
|
|
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.15.0-2
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
|
|
|
* Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 0.15.0-1
|
|
- Version 0.15.0
|
|
|
|
* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-12
|
|
- OCaml 4.13.1 build
|
|
|
|
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.14.0-11
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
|
|
|
* Mon Mar 1 15:16:05 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-10
|
|
- OCaml 4.12.0 build
|
|
- Make the -doc subpackage conditional.
|
|
|
|
* Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 0.14.0-9
|
|
- Bump and rebuild
|
|
|
|
* Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 0.14.0-8
|
|
- Rebuild for ocaml-base 0.14.1
|
|
|
|
* Tue Feb 2 2021 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-7
|
|
- Bump and rebuild for updated ocaml Dynlink dependency.
|
|
|
|
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.14.0-6
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
|
|
|
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-5
|
|
- OCaml 4.11.1 rebuild
|
|
|
|
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14.0-4
|
|
- OCaml 4.11.0 rebuild
|
|
|
|
* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.14.0-3
|
|
- Second attempt - Rebuilt for
|
|
https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
|
|
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.14.0-2
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
|
|
* Thu Jun 18 2020 Jerry James <loganjerry@gmail.com> - 0.14.0-1
|
|
- Version 0.14.0
|
|
|
|
* Thu May 7 2020 Jerry James <loganjerry@gmail.com> - 0.13.0-1
|
|
- Initial RPM
|