Blame ocaml-stdcompat.spec

0f6d758
%undefine _package_note_flags
f5590ad
06f4a2b
Name:           ocaml-stdcompat
f5590ad
Version:        19
768196d
Release:        6%{?dist}
e2d7bf7
Summary:        Compatibility module for the OCaml standard library
e2d7bf7
fafa5d7
License:        BSD-2-Clause
e2d7bf7
URL:            https://github.com/thierry-martinez/stdcompat
06f4a2b
Source0:        %{url}/releases/download/v%{version}/stdcompat-%{version}.tar.gz
e2d7bf7
e2d7bf7
BuildRequires:  make
e2d7bf7
BuildRequires:  ocaml
e2d7bf7
BuildRequires:  ocaml-findlib
06f4a2b
BuildRequires:  python3
e2d7bf7
e2d7bf7
%description
e2d7bf7
Stdcompat is a compatibility layer allowing programs to use some recent
e2d7bf7
additions to the OCaml standard library while preserving the ability to
e2d7bf7
be compiled on former versions of OCaml.
e2d7bf7
e2d7bf7
The Stdcompat API is not intended to be stable, but there will be
e2d7bf7
efforts to allow future versions of Stdcompat to be compiled on a large
e2d7bf7
range of versions of OCaml: Stdcompat should compile (at least) on every
e2d7bf7
version of OCaml from 3.08 (inclusive).
e2d7bf7
e2d7bf7
The module Stdcompat provides some definitions for values and types
e2d7bf7
introduced in recent versions of the standard library.  These
e2d7bf7
definitions are just aliases to the matching definition of the standard
e2d7bf7
library if the latter is recent enough.  Otherwise, the module Stdcompat
e2d7bf7
provides an alternative implementation.
e2d7bf7
e2d7bf7
%package        devel
e2d7bf7
Summary:        Development files for %{name}
e2d7bf7
Requires:       %{name}%{?_isa} = %{version}-%{release}
e2d7bf7
e2d7bf7
%description    devel
e2d7bf7
The %{name}-devel package contains libraries and signature
e2d7bf7
files for developing applications that use %{name}.
e2d7bf7
e2d7bf7
%prep
06f4a2b
%autosetup -n stdcompat-%{version} -p1
e2d7bf7
e2d7bf7
# Generate debuginfo
e2d7bf7
sed -i 's/-nolabels/-g &/' Makefile.in
e2d7bf7
e2d7bf7
%build
06f4a2b
%configure --libdir=%{ocamldir}
e2d7bf7
e2d7bf7
# Parallel make does NOT work; there seem to be missing dependencies
e2d7bf7
make all
e2d7bf7
e2d7bf7
%install
e2d7bf7
%make_install
e2d7bf7
e2d7bf7
# We do not want the ml files
06f4a2b
find %{buildroot}%{ocamldir} -name \*.ml -delete
e2d7bf7
e2d7bf7
# Install the mli files
06f4a2b
cp -p *.mli %{buildroot}%{ocamldir}/stdcompat
e2d7bf7
e2d7bf7
# Install the opam file
06f4a2b
cp -p stdcompat.opam %{buildroot}%{ocamldir}/stdcompat/opam
e2d7bf7
e2d7bf7
# Remove spurious executable bits
06f4a2b
chmod a-x %{buildroot}%{ocamldir}/stdcompat/*.{a,cma,cmi,cmt,cmx,cmxa,h}
06f4a2b
06f4a2b
%ocaml_files
e2d7bf7
e2d7bf7
%check
e2d7bf7
make test
e2d7bf7
06f4a2b
%files -f .ofiles
e2d7bf7
%doc AUTHORS ChangeLog README
e2d7bf7
%license COPYING
06f4a2b
06f4a2b
%files devel -f .ofiles-devel
e2d7bf7
e2d7bf7
%changelog
768196d
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 19-6
768196d
- Rebuild OCaml packages for F38
768196d
4748e36
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 19-5
4748e36
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
4748e36
fafa5d7
* Mon Dec 12 2022 Jerry James <loganjerry@gmail.com> - 19-4
fafa5d7
- Convert License tag to SPDX
fafa5d7
7d863d9
* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 19-4
7d863d9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
7d863d9
06f4a2b
* Wed Jul 20 2022 Jerry James <loganjerry@gmail.com> - 19-3
06f4a2b
- Use new OCaml macros
06f4a2b
72fcfcc
* Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 19-3
72fcfcc
- Bump release and rebuild.
72fcfcc
fd32076
* Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 19-2
fd32076
- OCaml 4.14.0 rebuild
fd32076
f5590ad
* Thu Jun 16 2022 Jerry James <loganjerry@gmail.com> - 19-1
f5590ad
- Version 19
f5590ad
756c810
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 18-1
756c810
- Version 18
756c810
0f6d758
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 17-3
0f6d758
- OCaml 4.13.1 rebuild to remove package notes
0f6d758
6a66edf
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 17-2
6a66edf
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
6a66edf
e2d7bf7
* Fri Dec 31 2021 Jerry James <loganjerry@gmail.com> - 17-1
e2d7bf7
- Initial RPM