Compare commits

...

25 Commits

Author SHA1 Message Date
Jerry James
3ea04695a4 Rebuild for alcotest 1.4.0. 2021-04-14 16:41:10 -06:00
Richard W.M. Jones
43de1b1245 OCaml 4.12.0 build 2021-03-01 23:22:41 +00:00
Jerry James
459570c209 Rebuild for alcotest 1.3.0. 2021-02-20 10:51:28 -07:00
Jerry James
fa37a33823 Version 0.17. Drop upstream patches. 2021-02-15 19:32:13 -07:00
Jerry James
045cb41753 Bump and rebuild for updated ocaml-alcotest dep 2021-02-13 10:25:27 -07:00
Fedora Release Engineering
7bbf48fbfd - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2021-01-26 22:06:53 +00:00
Jerry James
375d810b34 Update URL. 2021-01-19 16:32:47 -07:00
Jerry James
f8d719e895 Add upstream patches to fix numeric range issues. 2020-12-02 15:07:43 -07:00
Jerry James
469ca918b2 Version 0.16. 2020-11-05 10:42:03 -07:00
Jerry James
378216a8e2 Version 0.15. 2020-09-25 15:05:07 -06:00
Richard W.M. Jones
e23d41abe6 OCaml 4.11.1 rebuild 2020-09-01 23:56:19 +01:00
Jerry James
55458dfa44 Rebuild for alcotest 1.2.2. 2020-08-28 09:12:01 -06:00
Richard W.M. Jones
6b78ee7a69 OCaml 4.11.0 rebuild 2020-08-21 19:43:35 +01:00
Jerry James
2539ee9071 Version 0.14. 2020-08-05 14:47:44 -06:00
Fedora Release Engineering
5bb5cd6821 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-08-01 06:43:13 +00:00
Fedora Release Engineering
691b549a3c - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-07-28 12:18:06 +00:00
Richard W.M. Jones
8c4db769a5 OCaml 4.11.0+dev2-2020-04-22 rebuild 2020-05-05 15:51:50 +01:00
Richard W.M. Jones
ce2d8c26de OCaml 4.11.0 pre-release attempt 2 2020-04-22 15:18:58 +01:00
Richard W.M. Jones
fd19649fdc Bump release and rebuild. 2020-04-04 16:28:02 +01:00
Richard W.M. Jones
37a2880d3d Update all OCaml dependencies for RPM 4.16. 2020-04-04 14:42:59 +01:00
Richard W.M. Jones
a4a429ca5c OCaml 4.10.0 final. 2020-02-26 20:33:10 +00:00
Jerry James
3e6c851dee New upstream release.
Build with alcotest support.
Build documentation with odoc, and ship it in a new doc subpackage.
2020-02-19 15:27:17 -07:00
Fedora Release Engineering
d03158f53c - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-01-29 19:44:28 +00:00
Richard W.M. Jones
644e32a98d OCaml 4.10.0+beta1 rebuild. 2020-01-19 21:11:08 +00:00
Andy Li
0776c737b1 New upstream release. Remove unneeded BuildRequires on opam-installer. 2019-12-18 22:11:23 +08:00
3 changed files with 114 additions and 25 deletions

4
.gitignore vendored
View File

@ -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

View File

@ -1,18 +1,17 @@
Name: ocaml-qcheck
Version: 0.10
Release: 3%{?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,91 @@ 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.

View File

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