|
|
|
|
@ -1,45 +1,48 @@
|
|
|
|
|
# cabal2spec-0.25
|
|
|
|
|
# https://fedoraproject.org/wiki/Packaging:Haskell
|
|
|
|
|
# https://fedoraproject.org/wiki/PackagingDrafts/Haskell
|
|
|
|
|
|
|
|
|
|
%global pkg_name QuickCheck
|
|
|
|
|
|
|
|
|
|
%global common_summary Automatic testing of Haskell programs
|
|
|
|
|
|
|
|
|
|
%global common_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.
|
|
|
|
|
|
|
|
|
|
Name: ghc-%{pkg_name}
|
|
|
|
|
# part of haskell-platform
|
|
|
|
|
Version: 2.4.2
|
|
|
|
|
Release: 1%{?dist}
|
|
|
|
|
Summary: %{common_summary}
|
|
|
|
|
Version: 2.6
|
|
|
|
|
Release: 31%{?dist}
|
|
|
|
|
Summary: Automatic testing of Haskell programs
|
|
|
|
|
|
|
|
|
|
Group: System Environment/Libraries
|
|
|
|
|
License: BSD
|
|
|
|
|
# BEGIN cabal2spec
|
|
|
|
|
URL: http://hackage.haskell.org/package/%{pkg_name}
|
|
|
|
|
Source0: http://hackage.haskell.org/packages/archive/%{pkg_name}/%{version}/%{pkg_name}-%{version}.tar.gz
|
|
|
|
|
ExclusiveArch: %{ghc_arches}
|
|
|
|
|
Source0: http://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
|
|
|
|
|
|
|
|
|
|
BuildRequires: ghc-Cabal-devel
|
|
|
|
|
BuildRequires: ghc-rpm-macros %{!?without_hscolour:hscolour}
|
|
|
|
|
# END cabal2spec
|
|
|
|
|
BuildRequires: ghc-extensible-exceptions-prof
|
|
|
|
|
BuildRequires: ghc-random-prof
|
|
|
|
|
# no ghci on ppc64
|
|
|
|
|
BuildRequires: ghc-rpm-macros
|
|
|
|
|
# Begin cabal-rpm deps:
|
|
|
|
|
BuildRequires: ghc-random-devel
|
|
|
|
|
%ifarch %{ghc_arches_with_ghci}
|
|
|
|
|
BuildRequires: ghc-template-haskell-prof
|
|
|
|
|
BuildRequires: ghc-template-haskell-devel
|
|
|
|
|
%endif
|
|
|
|
|
# End cabal-rpm deps
|
|
|
|
|
|
|
|
|
|
%description
|
|
|
|
|
%{common_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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%package devel
|
|
|
|
|
Summary: Haskell %{pkg_name} library development files
|
|
|
|
|
Provides: %{name}-static = %{version}-%{release}
|
|
|
|
|
Requires: ghc-compiler = %{ghc_version}
|
|
|
|
|
Requires(post): ghc-compiler = %{ghc_version}
|
|
|
|
|
Requires(postun): ghc-compiler = %{ghc_version}
|
|
|
|
|
Requires: %{name}%{?_isa} = %{version}-%{release}
|
|
|
|
|
|
|
|
|
|
%description devel
|
|
|
|
|
This package provides the Haskell %{pkg_name} library development files.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%prep
|
|
|
|
|
@ -57,19 +60,26 @@ BuildRequires: ghc-template-haskell-prof
|
|
|
|
|
%ghc_lib_install
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# devel subpackage
|
|
|
|
|
%ghc_devel_package
|
|
|
|
|
%post devel
|
|
|
|
|
%ghc_pkg_recache
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%ghc_devel_description
|
|
|
|
|
%postun devel
|
|
|
|
|
%ghc_pkg_recache
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%ghc_devel_post_postun
|
|
|
|
|
%files -f %{name}.files
|
|
|
|
|
%doc LICENSE
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%ghc_files LICENSE
|
|
|
|
|
%files devel -f %{name}-devel.files
|
|
|
|
|
%doc README
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%changelog
|
|
|
|
|
* Mon Feb 24 2014 Jens Petersen <petersen@redhat.com> - 2.6-31
|
|
|
|
|
- separate out of haskell-platform
|
|
|
|
|
|
|
|
|
|
* Tue Mar 20 2012 Jens Petersen <petersen@redhat.com> - 2.4.2-1
|
|
|
|
|
- update to 2.4.2
|
|
|
|
|
|
|
|
|
|
|
Jens Petersen
11 years ago