Compare commits
2 Commits
Author | SHA1 | Date | |
---|---|---|---|
|
c2852630b3 | ||
|
124bf92ed7 |
@ -1,13 +1,13 @@
|
||||
Name: ocaml-qcheck
|
||||
Version: 0.17
|
||||
Release: 4%{?dist}
|
||||
Version: 0.13
|
||||
Release: 3%{?dist}
|
||||
Summary: QuickCheck inspired property-based testing for OCaml
|
||||
|
||||
License: BSD
|
||||
URL: https://c-cube.github.io/qcheck/
|
||||
URL: https://github.com/c-cube/qcheck
|
||||
Source0: https://github.com/c-cube/qcheck/archive/%{version}/%{name}-%{version}.tar.gz
|
||||
|
||||
BuildRequires: ocaml >= 4.03.0
|
||||
BuildRequires: ocaml
|
||||
BuildRequires: ocaml-dune
|
||||
BuildRequires: ocaml-odoc
|
||||
BuildRequires: ocaml-alcotest-devel
|
||||
@ -40,7 +40,10 @@ Documentation for %{name}.
|
||||
|
||||
|
||||
%prep
|
||||
%autosetup -n qcheck-%{version} -p1
|
||||
%setup -q -n qcheck-%{version}
|
||||
|
||||
# Work around name change in recent ounit versions
|
||||
sed -i 's/oUnit/ounit2/' src/ounit/dune
|
||||
|
||||
|
||||
%build
|
||||
@ -57,6 +60,8 @@ 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
|
||||
@ -102,64 +107,11 @@ dune runtest --no-buffer --profile release
|
||||
|
||||
|
||||
%changelog
|
||||
* Wed Apr 14 2021 Jerry James <loganjerry@gmail.com> - 0.17-4
|
||||
- Rebuild for alcotest 1.4.0
|
||||
* Tue May 12 2020 Jerry James <loganjerry@gmail.com> - 0.13-3
|
||||
- Rebuild for alcotest 1.1.0 (bz 1834070)
|
||||
|
||||
* 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.
|
||||
* Fri Feb 28 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-2.1
|
||||
- OCaml 4.10.0 final (Fedora 32).
|
||||
|
||||
* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 0.13-2
|
||||
- OCaml 4.10.0 final.
|
||||
|
2
sources
2
sources
@ -1 +1 @@
|
||||
SHA512 (ocaml-qcheck-0.17.tar.gz) = 647c1beefba8fce32daac91bd42976ddf2926cff2e78e43ac3afb6e59ec660f0f6e684f5954d6b1fab6d11328690b236e40c30980a22a999c4b826ae2a0dcaea
|
||||
SHA512 (ocaml-qcheck-0.13.tar.gz) = eab2f5a4ef79d061c2c708ea481b735f106752b1c7797b61d5d3c11e5003e57c103b0e3260e2797521d4faa6f4d9d6ce343b499d032fd65fd1bba4a94ab996eb
|
||||
|
Loading…
Reference in New Issue
Block a user