Name: ocaml-qcheck Version: 0.8 Release: 5%{?dist} Summary: QuickCheck inspired property-based testing for OCaml License: BSD URL: https://github.com/c-cube/qcheck Source0: https://github.com/c-cube/qcheck/archive/%{version}/%{name}-%{version}.tar.gz BuildRequires: ocaml BuildRequires: jbuilder BuildRequires: ocaml-ocamlbuild BuildRequires: ocaml-findlib BuildRequires: ocaml-ounit-devel BuildRequires: opam-installer %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/Libraries Requires: %{name}%{?_isa} = %{version}-%{release} %description devel The %{name}-devel package contains libraries and signature files for developing applications that use %{name}. %prep %setup -q -n qcheck-%{version} %build jbuilder build @install %install mkdir -p %{buildroot}%{_libdir}/ocaml jbuilder install --destdir=%{buildroot} --libdir=%{buildroot}%{_libdir}/ocaml # These files will be installed using doc and license directives. rm -r %{buildroot}/doc # Makes *.cmxs executable such that they will be stripped. find %{buildroot} -name '*.cmxs' -exec chmod 0755 {} \; %check jbuilder runtest --no-buffer %files %doc README.adoc CHANGELOG.md %license LICENSE %{_libdir}/ocaml/qcheck %ifarch %{ocaml_native_compiler} %exclude %{_libdir}/ocaml/qcheck/*.a %exclude %{_libdir}/ocaml/qcheck/*.cmxa %exclude %{_libdir}/ocaml/qcheck/*.cmx %endif %exclude %{_libdir}/ocaml/qcheck/*.mli %files devel %doc README.adoc CHANGELOG.md %license LICENSE %ifarch %{ocaml_native_compiler} %{_libdir}/ocaml/qcheck/*.a %{_libdir}/ocaml/qcheck/*.cmxa %{_libdir}/ocaml/qcheck/*.cmx %endif %{_libdir}/ocaml/qcheck/*.mli %changelog * Wed Jul 11 2018 Richard W.M. Jones - 0.8-5 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones - 0.8-4 - OCaml 4.07.0-rc1 rebuild. * Mon May 14 2018 Andy Li - 0.8-3 - Rebuilt against ounit. * Thu Feb 08 2018 Fedora Release Engineering - 0.8-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Mon Feb 05 2018 Andy Li - 0.8-1 - New upstream release. (RHBZ#1541681) - Enable debug package. * Sat Dec 02 2017 Richard W.M. Jones - 0.7-2 - OCaml 4.06.0 rebuild. * Mon Nov 20 2017 Andy Li - 0.7-1 - Initial RPM release.