Compare commits
10 Commits
Author | SHA1 | Date | |
---|---|---|---|
|
3ea04695a4 | ||
|
43de1b1245 | ||
|
459570c209 | ||
|
fa37a33823 | ||
|
045cb41753 | ||
|
7bbf48fbfd | ||
|
375d810b34 | ||
|
f8d719e895 | ||
|
469ca918b2 | ||
|
378216a8e2 |
@ -1,10 +1,10 @@
|
|||||||
Name: ocaml-qcheck
|
Name: ocaml-qcheck
|
||||||
Version: 0.14
|
Version: 0.17
|
||||||
Release: 4%{?dist}
|
Release: 4%{?dist}
|
||||||
Summary: QuickCheck inspired property-based testing for OCaml
|
Summary: QuickCheck inspired property-based testing for OCaml
|
||||||
|
|
||||||
License: BSD
|
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
|
Source0: https://github.com/c-cube/qcheck/archive/%{version}/%{name}-%{version}.tar.gz
|
||||||
|
|
||||||
BuildRequires: ocaml >= 4.03.0
|
BuildRequires: ocaml >= 4.03.0
|
||||||
@ -40,7 +40,7 @@ Documentation for %{name}.
|
|||||||
|
|
||||||
|
|
||||||
%prep
|
%prep
|
||||||
%autosetup -n qcheck-%{version}
|
%autosetup -n qcheck-%{version} -p1
|
||||||
|
|
||||||
|
|
||||||
%build
|
%build
|
||||||
@ -57,8 +57,6 @@ find _build/default/_doc/_html -name .dune-keep -delete
|
|||||||
# These files will be installed using doc and license directives.
|
# These files will be installed using doc and license directives.
|
||||||
rm -r %{buildroot}%{_prefix}/doc
|
rm -r %{buildroot}%{_prefix}/doc
|
||||||
|
|
||||||
# Makes *.cmxs executable such that they will be stripped.
|
|
||||||
find %{buildroot} -name '*.cmxs' -exec chmod 0755 {} \;
|
|
||||||
|
|
||||||
%check
|
%check
|
||||||
dune runtest --no-buffer --profile release
|
dune runtest --no-buffer --profile release
|
||||||
@ -104,6 +102,34 @@ dune runtest --no-buffer --profile release
|
|||||||
|
|
||||||
|
|
||||||
%changelog
|
%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
|
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.14-4
|
||||||
- OCaml 4.11.1 rebuild
|
- OCaml 4.11.1 rebuild
|
||||||
|
|
||||||
|
2
sources
2
sources
@ -1 +1 @@
|
|||||||
SHA512 (ocaml-qcheck-0.14.tar.gz) = 0994d29133f88a97694cf20beb455b0e8c7ab88de777d26fb034eab6e4db0a9cf1f9e931888cb5d87671e55b55bbf6e8e61891dde907b4dc1af4498ff2f29107
|
SHA512 (ocaml-qcheck-0.17.tar.gz) = 647c1beefba8fce32daac91bd42976ddf2926cff2e78e43ac3afb6e59ec660f0f6e684f5954d6b1fab6d11328690b236e40c30980a22a999c4b826ae2a0dcaea
|
||||||
|
Loading…
Reference in New Issue
Block a user