Группа :: Разработка/ML
Пакет: ocaml-qcheck
Главная Изменения Спек Патчи Sources Загрузить 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
…
Полный changelog можно просмотреть здесь
%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
…
Полный changelog можно просмотреть здесь