Rebuild for alcotest 1.4.0.

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

.gitignore

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

ocaml-qcheck.spec

@@ -1,18 +1,17 @@
 Name:           ocaml-qcheck
-Version:        0.8
+Version:        0.17
-Release:        7%{?dist}
+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:  jbuilder
+BuildRequires:  ocaml-dune
-BuildRequires:  ocaml-ocamlbuild
+BuildRequires:  ocaml-odoc
-BuildRequires:  ocaml-findlib
+BuildRequires:  ocaml-alcotest-devel
 BuildRequires:  ocaml-ounit-devel
-BuildRequires:  opam-installer
 
 
 %description
@@ -31,52 +30,168 @@ 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
-jbuilder build @install
+dune build %{?_smp_mflags} @install --verbose
+dune build %{?_smp_mflags} @doc
 
 
 %install
-mkdir -p %{buildroot}%{_libdir}/ocaml
+dune install --destdir=%{buildroot}
-jbuilder install --destdir=%{buildroot} --libdir=%{buildroot}%{_libdir}/ocaml
+
+# 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}/doc
+rm -r %{buildroot}%{_prefix}/doc
 
-# Makes *.cmxs executable such that they will be stripped.
-find %{buildroot} -name '*.cmxs' -exec chmod 0755 {} \;
 
 %check
-jbuilder runtest --no-buffer
+dune runtest --no-buffer --profile release
 
 
 %files
 %doc README.adoc CHANGELOG.md
 %license LICENSE
-%{_libdir}/ocaml/qcheck
+%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/qcheck/*.a
+%{_libdir}/ocaml/*/{,*/}*.cmxs
-%exclude %{_libdir}/ocaml/qcheck/*.cmxa
-%exclude %{_libdir}/ocaml/qcheck/*.cmx
 %endif
-%exclude %{_libdir}/ocaml/qcheck/*.mli
 
 
 %files devel
 %doc README.adoc CHANGELOG.md
 %license LICENSE
 %ifarch %{ocaml_native_compiler}
-%{_libdir}/ocaml/qcheck/*.a
+%{_libdir}/ocaml/*/{,*/}*.a
-%{_libdir}/ocaml/qcheck/*.cmxa
+%{_libdir}/ocaml/*/{,*/}*.cmxa
-%{_libdir}/ocaml/qcheck/*.cmx
+%{_libdir}/ocaml/*/{,*/}*.cmx
 %endif
-%{_libdir}/ocaml/qcheck/*.mli
+%{_libdir}/ocaml/*/{,*/}*.ml
+%{_libdir}/ocaml/*/{,*/}*.mli
+%{_libdir}/ocaml/*/{,*/}*.cma
+%{_libdir}/ocaml/*/{,*/}*.cmi
+%{_libdir}/ocaml/*/{,*/}*.cmt
+%{_libdir}/ocaml/*/{,*/}*.cmti
+%{_libdir}/ocaml/*/dune-package
+%{_libdir}/ocaml/*/META
+%{_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.
+
+* Sat Jul 27 2019 Andy Li <andy@onthewings.net> - 0.10-1
+- New upstream release.
+- Update build system and commands from jbuilder to dune.
+
+* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-8
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
+
 * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-7
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
 

sources

@@ -1 +1 @@
-SHA512 (ocaml-qcheck-0.8.tar.gz) = fbf924f09925411109a7d8262cac625e49f985d38a23ff1330079367d63ba62c0b95e3b81e9ae7f8dd10aad415f0cb709acc06fbfd40fd6c492aa952189127a7
+SHA512 (ocaml-qcheck-0.17.tar.gz) = 647c1beefba8fce32daac91bd42976ddf2926cff2e78e43ac3afb6e59ec660f0f6e684f5954d6b1fab6d11328690b236e40c30980a22a999c4b826ae2a0dcaea