Rebuild for alcotest 1.4.0.

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>

.gitignore

@@ -1,3 +1 @@
-/ocaml-qcheck-0.7.tar.gz
-/ocaml-qcheck-0.8.tar.gz
-/ocaml-qcheck-0.10.tar.gz
+/ocaml-qcheck-*.tar.gz

ocaml-qcheck.spec

@@ -1,18 +1,17 @@
 Name:           ocaml-qcheck
-Version:        0.10
-Release:        2%{?dist}
+Version:        0.17
+Release:        4%{?dist}
 Summary:        QuickCheck inspired property-based testing for OCaml
 
 License:        BSD
-URL:            https://github.com/c-cube/qcheck
+URL:            https://c-cube.github.io/qcheck/
 Source0:        https://github.com/c-cube/qcheck/archive/%{version}/%{name}-%{version}.tar.gz
 
-BuildRequires:  ocaml
+BuildRequires:  ocaml >= 4.03.0
 BuildRequires:  ocaml-dune
-BuildRequires:  ocaml-ocamlbuild
-BuildRequires:  ocaml-findlib
+BuildRequires:  ocaml-odoc
+BuildRequires:  ocaml-alcotest-devel
 BuildRequires:  ocaml-ounit-devel
-BuildRequires:  opam-installer
 
 
 %description
@@ -31,24 +30,33 @@ The %{name}-devel package contains libraries and signature files for
 developing applications that use %{name}.
 
 
+%package        doc
+Summary:        Documentation for %{name}
+BuildArch:      noarch
+
+
+%description    doc
+Documentation for %{name}.
+
+
 %prep
-%setup -q -n qcheck-%{version}
+%autosetup -n qcheck-%{version} -p1
 
 
 %build
-# do not build alcotest support since it is not packaged yet
-dune build @install -p qcheck,qcheck-core,qcheck-ounit --verbose
+dune build %{?_smp_mflags} @install --verbose
+dune build %{?_smp_mflags} @doc
 
 
 %install
-mkdir -p %{buildroot}%{_libdir}/ocaml
-dune install --destdir=%{buildroot} qcheck qcheck-core qcheck-ounit
+dune install --destdir=%{buildroot}
+
+# We do not want the dune markers
+find _build/default/_doc/_html -name .dune-keep -delete
 
 # These files will be installed using 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 --no-buffer --profile release
@@ -57,15 +65,14 @@ dune runtest --no-buffer --profile release
 %files
 %doc README.adoc CHANGELOG.md
 %license LICENSE
-%{_libdir}/ocaml/*
-%{_libdir}/ocaml/*/*
+%dir %{_libdir}/ocaml/qcheck-alcotest/
+%dir %{_libdir}/ocaml/qcheck-core/
+%dir %{_libdir}/ocaml/qcheck-ounit/
+%{_libdir}/ocaml/*/{,*/}*.cma
+%{_libdir}/ocaml/*/{,*/}*.cmi
 %ifarch %{ocaml_native_compiler}
-%exclude %{_libdir}/ocaml/*/{,*/}*.a
-%exclude %{_libdir}/ocaml/*/{,*/}*.cmxa
-%exclude %{_libdir}/ocaml/*/{,*/}*.cmx
+%{_libdir}/ocaml/*/{,*/}*.cmxs
 %endif
-%exclude %{_libdir}/ocaml/*/{,*/}*.ml
-%exclude %{_libdir}/ocaml/*/{,*/}*.mli
 
 
 %files devel
@@ -87,7 +94,94 @@ dune runtest --no-buffer --profile release
 %{_libdir}/ocaml/*/opam
 
 
+%files doc
+%doc _build/default/_doc/_html/
+%doc _build/default/_doc/_mlds/
+%doc _build/default/_doc/_odoc/
+%license LICENSE
+
+
 %changelog
+* Wed Apr 14 2021 Jerry James <loganjerry@gmail.com> - 0.17-4
+- Rebuild for alcotest 1.4.0
+
+* Mon Mar  1 23:22:40 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 0.17-3
+- OCaml 4.12.0 build
+
+* Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 0.17-2
+- Rebuild for alcotest 1.3.0
+
+* Tue Feb 16 2021 Jerry James <loganjerry@gmail.com> - 0.17-1
+- Version 0.17
+- Drop upstream patches
+
+* Tue Feb  2 2021 Jerry James <loganjerry@gmail.com> - 0.16-4
+- Bump and rebuild for updated ocaml-alcotest dep
+
+* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.16-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
+
+* Wed Dec  2 2020 Jerry James <loganjerry@gmail.com> - 0.16-2
+- Add upstream patches to fix numeric range issues
+
+* Thu Nov  5 2020 Jerry James <loganjerry@gmail.com> - 0.16-1
+- Version 0.16
+
+* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 0.15-1
+- Version 0.15
+
+* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14-4
+- OCaml 4.11.1 rebuild
+
+* Fri Aug 28 2020 Jerry James <loganjerry@gmail.com> - 0.14-3
+- Rebuild for alcotest 1.2.2
+
+* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14-2
+- OCaml 4.11.0 rebuild
+
+* Wed Aug  5 2020 Jerry James <loganjerry@gmail.com> - 0.14-1
+- Version 0.14
+
+* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-8
+- Second attempt - Rebuilt for
+  https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
+* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-7
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
+* Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-6
+- OCaml 4.11.0+dev2-2020-04-22 rebuild
+
+* Wed Apr 22 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-5
+- OCaml 4.11.0 pre-release attempt 2
+
+* Sat Apr 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-4
+- Bump release and rebuild.
+
+* Sat Apr 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-3
+- Update all OCaml dependencies for RPM 4.16.
+
+* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-2
+- OCaml 4.10.0 final.
+
+* Wed Feb 19 2020 Jerry James <loganjerry@gmail.com> - 0.13-1
+- New upstream release.
+- Build with alcotest support.
+- Build documentation with odoc, and ship it in a new doc subpackage.
+
+* Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.12-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
+
+* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 0.12-2
+- OCaml 4.10.0+beta1 rebuild.
+
+* Wed Dec 18 2019 Andy Li <andy@onthewings.net> - 0.12-1
+- New upstream release. (RHBZ#1757625)
+- Remove unneeded BuildRequires on opam-installer.
+
+* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 0.10-3
+- OCaml 4.08.1 (final) rebuild.
+
 * Thu Aug 01 2019 Richard W.M. Jones <rjones@redhat.com> - 0.10-2
 - OCaml 4.08.1 (rc2) rebuild.
 

sources

@@ -1 +1 @@
-SHA512 (ocaml-qcheck-0.10.tar.gz) = 250d7934012455d29d95b710f5b42bbe3ea42e6ec1b5781dba807781ac9d5a66ca39dc4535667fd9b00bfcc566e11dbdb3f7306dde1d8f0e9f90d1447cdc4d97
+SHA512 (ocaml-qcheck-0.17.tar.gz) = 647c1beefba8fce32daac91bd42976ddf2926cff2e78e43ac3afb6e59ec660f0f6e684f5954d6b1fab6d11328690b236e40c30980a22a999c4b826ae2a0dcaea