Compare commits
4 Commits
Author | SHA1 | Date | |
---|---|---|---|
|
6b052e9898 | ||
|
1f6790ba78 | ||
|
4f3cfe53f1 | ||
|
29cd9027cd |
4
.gitignore
vendored
4
.gitignore
vendored
@ -1 +1,3 @@
|
|||||||
/ocaml-qcheck-*.tar.gz
|
/ocaml-qcheck-0.7.tar.gz
|
||||||
|
/ocaml-qcheck-0.8.tar.gz
|
||||||
|
/ocaml-qcheck-0.10.tar.gz
|
||||||
|
@ -1,16 +1,16 @@
|
|||||||
Name: ocaml-qcheck
|
Name: ocaml-qcheck
|
||||||
Version: 0.17
|
Version: 0.10
|
||||||
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://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
|
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-dune
|
||||||
BuildRequires: ocaml-odoc
|
BuildRequires: ocaml-ocamlbuild
|
||||||
BuildRequires: ocaml-alcotest-devel
|
BuildRequires: ocaml-findlib
|
||||||
BuildRequires: ocaml-ounit-devel
|
BuildRequires: ocaml-ounit-devel
|
||||||
|
|
||||||
|
|
||||||
@ -30,33 +30,24 @@ The %{name}-devel package contains libraries and signature files for
|
|||||||
developing applications that use %{name}.
|
developing applications that use %{name}.
|
||||||
|
|
||||||
|
|
||||||
%package doc
|
|
||||||
Summary: Documentation for %{name}
|
|
||||||
BuildArch: noarch
|
|
||||||
|
|
||||||
|
|
||||||
%description doc
|
|
||||||
Documentation for %{name}.
|
|
||||||
|
|
||||||
|
|
||||||
%prep
|
%prep
|
||||||
%autosetup -n qcheck-%{version} -p1
|
%setup -q -n qcheck-%{version}
|
||||||
|
|
||||||
|
|
||||||
%build
|
%build
|
||||||
dune build %{?_smp_mflags} @install --verbose
|
# do not build alcotest support since it is not packaged yet
|
||||||
dune build %{?_smp_mflags} @doc
|
dune build @install -p qcheck,qcheck-core,qcheck-ounit --verbose
|
||||||
|
|
||||||
|
|
||||||
%install
|
%install
|
||||||
dune install --destdir=%{buildroot}
|
mkdir -p %{buildroot}%{_libdir}/ocaml
|
||||||
|
dune install --destdir=%{buildroot} qcheck qcheck-core qcheck-ounit
|
||||||
# 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.
|
# 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
|
||||||
@ -65,14 +56,15 @@ dune runtest --no-buffer --profile release
|
|||||||
%files
|
%files
|
||||||
%doc README.adoc CHANGELOG.md
|
%doc README.adoc CHANGELOG.md
|
||||||
%license LICENSE
|
%license LICENSE
|
||||||
%dir %{_libdir}/ocaml/qcheck-alcotest/
|
%{_libdir}/ocaml/*
|
||||||
%dir %{_libdir}/ocaml/qcheck-core/
|
%{_libdir}/ocaml/*/*
|
||||||
%dir %{_libdir}/ocaml/qcheck-ounit/
|
|
||||||
%{_libdir}/ocaml/*/{,*/}*.cma
|
|
||||||
%{_libdir}/ocaml/*/{,*/}*.cmi
|
|
||||||
%ifarch %{ocaml_native_compiler}
|
%ifarch %{ocaml_native_compiler}
|
||||||
%{_libdir}/ocaml/*/{,*/}*.cmxs
|
%exclude %{_libdir}/ocaml/*/{,*/}*.a
|
||||||
|
%exclude %{_libdir}/ocaml/*/{,*/}*.cmxa
|
||||||
|
%exclude %{_libdir}/ocaml/*/{,*/}*.cmx
|
||||||
%endif
|
%endif
|
||||||
|
%exclude %{_libdir}/ocaml/*/{,*/}*.ml
|
||||||
|
%exclude %{_libdir}/ocaml/*/{,*/}*.mli
|
||||||
|
|
||||||
|
|
||||||
%files devel
|
%files devel
|
||||||
@ -94,90 +86,9 @@ dune runtest --no-buffer --profile release
|
|||||||
%{_libdir}/ocaml/*/opam
|
%{_libdir}/ocaml/*/opam
|
||||||
|
|
||||||
|
|
||||||
%files doc
|
|
||||||
%doc _build/default/_doc/_html/
|
|
||||||
%doc _build/default/_doc/_mlds/
|
|
||||||
%doc _build/default/_doc/_odoc/
|
|
||||||
%license LICENSE
|
|
||||||
|
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
* Wed Apr 14 2021 Jerry James <loganjerry@gmail.com> - 0.17-4
|
* Fri Nov 29 2019 Andy Li <andy@onthewings.net> - 0.10-4
|
||||||
- Rebuild for alcotest 1.4.0
|
- Remove unused BuildRequires on opam-installer.
|
||||||
|
|
||||||
* 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
|
* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 0.10-3
|
||||||
- OCaml 4.08.1 (final) rebuild.
|
- OCaml 4.08.1 (final) rebuild.
|
||||||
|
2
sources
2
sources
@ -1 +1 @@
|
|||||||
SHA512 (ocaml-qcheck-0.17.tar.gz) = 647c1beefba8fce32daac91bd42976ddf2926cff2e78e43ac3afb6e59ec660f0f6e684f5954d6b1fab6d11328690b236e40c30980a22a999c4b826ae2a0dcaea
|
SHA512 (ocaml-qcheck-0.10.tar.gz) = 250d7934012455d29d95b710f5b42bbe3ea42e6ec1b5781dba807781ac9d5a66ca39dc4535667fd9b00bfcc566e11dbdb3f7306dde1d8f0e9f90d1447cdc4d97
|
||||||
|
Loading…
Reference in New Issue
Block a user