File ghc-QuickCheck.spec of Package ghc-QuickCheck

Overview Repositories Revisions Requests Users Attributes Meta

File ghc-QuickCheck.spec of Package ghc-QuickCheck (Revision 822b1bf69eea45dffb1a20cedf709557)

Currently displaying revision 822b1bf69eea45dffb1a20cedf709557 , Show latest

#
# spec file for package ghc-QuickCheck
#
# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
# upon. The license for this file, and modifications and additions to the
# file, is the same license as for the pristine package itself (unless the
# license for the pristine package is not an Open Source License, in which
# case the license is the MIT License). An "Open Source License" is a
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.

# Please submit bugfixes or comments via http://bugs.opensuse.org/
#

%global pkg_name QuickCheck
Name:           ghc-%{pkg_name}
Version:        2.11.3
Release:        0
Summary:        Automatic testing of Haskell programs
License:        BSD-3-Clause
Group:          Development/Libraries/Haskell
URL:            https://hackage.haskell.org/package/%{pkg_name}
Source0:        https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
BuildRequires:  ghc-Cabal-devel
BuildRequires:  ghc-containers-devel
BuildRequires:  ghc-deepseq-devel
BuildRequires:  ghc-random-devel
BuildRequires:  ghc-rpm-macros
BuildRequires:  ghc-template-haskell-devel
BuildRequires:  ghc-tf-random-devel
BuildRequires:  ghc-transformers-devel

%description
QuickCheck is a library for random testing of program properties.

The programmer provides a specification of the program, in the form of
properties which functions should satisfy, and QuickCheck then tests that the
properties hold in a large number of randomly generated cases.

Specifications are expressed in Haskell, using combinators defined in the
QuickCheck library. QuickCheck provides combinators to define properties,
observe the distribution of test data, and define test data generators.

The <http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html official
QuickCheck manual> explains how to write generators and properties; it is
out-of-date in some details but still full of useful advice.

A user of QuickCheck has written an unofficial, but detailed, tutorial which
you can find at
<https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html>.

%package devel
Summary:        Haskell %{pkg_name} library development files
Group:          Development/Libraries/Haskell
Requires:       %{name} = %{version}-%{release}
Requires:       ghc-compiler = %{ghc_version}
Requires(post): ghc-compiler = %{ghc_version}
Requires(postun): ghc-compiler = %{ghc_version}

%description devel
This package provides the Haskell %{pkg_name} library development files.

%prep
%setup -q -n %{pkg_name}-%{version}

%build
%ghc_lib_build

%install
%ghc_lib_install

%post devel
%ghc_pkg_recache

%postun devel
%ghc_pkg_recache

%files -f %{name}.files
%license LICENSE

%files devel -f %{name}-devel.files
%doc README changelog examples

%changelog

Places

File ghc-QuickCheck.spec of Package ghc-QuickCheck (Revision 822b1bf69eea45dffb1a20cedf709557)

Places