Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR  Repocop 

# tests broken on 32-bit platforms and ppc64le
%ifarch %ix86 armh ppc64le
%def_disable check
%endif

%define libname qcheck
Name: ocaml-%libname
Version: 0.18.1
Release: alt1
Summary: QuickCheck inspired property-based testing for OCaml
Group: Development/ML
License: BSD
Url: https://github.com/c-cube/qcheck/
Source0: %name-%version.tar
Patch0: %name-%version-%release.patch
BuildRequires: dune
BuildRequires: ocaml
BuildRequires: ocaml-ounit-devel
BuildRequires: ocaml-alcotest-devel

%description
This module allows to check invariants (properties of some types) over randomly
generated instances of the type. It provides combinators for generating
instances and printing them.

%package devel
Summary: Development files for %name
Group: Development/ML
Requires: %name = %EVR

%description devel
The %name-devel package contains libraries and signature files for
developing applications that use %name.

%prep
%setup
%patch0 -p1

%build
%dune_build --release  at install

%install
%dune_install
rm -rf %buildroot/usr/doc

%check
sed -i '19d' example/alcotest/output.txt.expected
%dune_check

%files -f ocaml-files.runtime
%doc README.adoc

%files devel -f ocaml-files.devel

%changelog
…
Full changelog you can see here