|
|
|
|
@ -1,13 +1,17 @@
|
|
|
|
|
# generated by cabal-rpm-2.0.2
|
|
|
|
|
# generated by cabal-rpm-2.0.2 --subpackage
|
|
|
|
|
# https://fedoraproject.org/wiki/Packaging:Haskell
|
|
|
|
|
|
|
|
|
|
%global pkg_name QuickCheck
|
|
|
|
|
%global pkgver %{pkg_name}-%{version}
|
|
|
|
|
|
|
|
|
|
%global splitmix splitmix-0.0.3
|
|
|
|
|
%global subpkgs %{splitmix}
|
|
|
|
|
|
|
|
|
|
%bcond_without tests
|
|
|
|
|
|
|
|
|
|
Name: ghc-%{pkg_name}
|
|
|
|
|
Version: 2.13.2
|
|
|
|
|
# can only be reset when all subpkgs bumped
|
|
|
|
|
Release: 1%{?dist}
|
|
|
|
|
Summary: Automatic testing of Haskell programs
|
|
|
|
|
|
|
|
|
|
@ -15,33 +19,34 @@ License: BSD
|
|
|
|
|
Url: https://hackage.haskell.org/package/%{pkg_name}
|
|
|
|
|
# Begin cabal-rpm sources:
|
|
|
|
|
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
|
|
|
|
Source1: https://hackage.haskell.org/package/%{splitmix}/%{splitmix}.tar.gz
|
|
|
|
|
# End cabal-rpm sources
|
|
|
|
|
|
|
|
|
|
# Begin cabal-rpm deps:
|
|
|
|
|
BuildRequires: ghc-Cabal-devel
|
|
|
|
|
BuildRequires: ghc-rpm-macros
|
|
|
|
|
BuildRequires: ghc-rpm-macros-extra
|
|
|
|
|
BuildRequires: ghc-base-prof
|
|
|
|
|
BuildRequires: ghc-containers-prof
|
|
|
|
|
BuildRequires: ghc-deepseq-prof
|
|
|
|
|
BuildRequires: ghc-random-prof
|
|
|
|
|
BuildRequires: ghc-splitmix-prof
|
|
|
|
|
#BuildRequires: ghc-splitmix-prof
|
|
|
|
|
BuildRequires: ghc-template-haskell-prof
|
|
|
|
|
BuildRequires: ghc-transformers-prof
|
|
|
|
|
%if %{with tests}
|
|
|
|
|
BuildRequires: ghc-process-devel
|
|
|
|
|
%endif
|
|
|
|
|
# for missing dep 'splitmix':
|
|
|
|
|
BuildRequires: ghc-time-prof
|
|
|
|
|
# End cabal-rpm deps
|
|
|
|
|
|
|
|
|
|
%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.
|
|
|
|
|
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 provided by QuickCheck.
|
|
|
|
|
QuickCheck provides combinators to define properties, observe the distribution
|
|
|
|
|
of test data, and define test data generators.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%package devel
|
|
|
|
|
@ -78,21 +83,33 @@ This package provides the Haskell %{pkg_name} profiling library.
|
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%global main_version %{version}
|
|
|
|
|
|
|
|
|
|
%if %{defined ghclibdir}
|
|
|
|
|
%ghc_lib_subpackage %{splitmix}
|
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
%global version %{main_version}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%prep
|
|
|
|
|
# Begin cabal-rpm setup:
|
|
|
|
|
%setup -q -n %{pkgver}
|
|
|
|
|
%setup -q -n %{pkgver} -a1
|
|
|
|
|
# End cabal-rpm setup
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%build
|
|
|
|
|
# Begin cabal-rpm build:
|
|
|
|
|
%ghc_libs_build %{subpkgs}
|
|
|
|
|
%ghc_lib_build
|
|
|
|
|
# End cabal-rpm build
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%install
|
|
|
|
|
# Begin cabal-rpm install
|
|
|
|
|
%ghc_libs_install %{subpkgs}
|
|
|
|
|
%ghc_lib_install
|
|
|
|
|
%ghc_fix_rpath %{pkgver}
|
|
|
|
|
# End cabal-rpm install
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@ -134,6 +151,7 @@ This package provides the Haskell %{pkg_name} profiling library.
|
|
|
|
|
%changelog
|
|
|
|
|
* Sun Feb 09 2020 Jens Petersen <petersen@redhat.com> - 2.13.2-1
|
|
|
|
|
- update to 2.13.2
|
|
|
|
|
- subpackage splitmix
|
|
|
|
|
|
|
|
|
|
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.12.6.1-2
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
|
|
|
|
|
Jens Petersen
5 years ago