ocaml-qcheck/ocaml-qcheck.spec
Fedora Release Engineering 979200da9f - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-02-08 08:57:20 +00:00

93 lines
2.3 KiB
RPMSpec

Name: ocaml-qcheck
Version: 0.8
Release: 2%{?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
* Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.8-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Mon Feb 05 2018 Andy Li <andy@onthewings.net> - 0.8-1
- New upstream release. (RHBZ#1541681)
- Enable debug package.
* Sat Dec 02 2017 Richard W.M. Jones <rjones@redhat.com> - 0.7-2
- OCaml 4.06.0 rebuild.
* Mon Nov 20 2017 Andy Li <andy@onthewings.net> - 0.7-1
- Initial RPM release.