You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
99 lines
3.0 KiB
99 lines
3.0 KiB
%global pkg_name QuickCheck
|
|
|
|
%global common_summary Automatic testing of Haskell programs
|
|
|
|
%global common_description QuickCheck80 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.
|
|
|
|
# Haskell library dependencies:
|
|
%global ghc_pkg_deps ghc-ghc-devel, ghc-mtl-devel
|
|
|
|
Name: ghc-%{pkg_name}
|
|
# part of haskell-platform-2011.2.0.1
|
|
Version: 2.4.0.1
|
|
Release: 7%{?dist}
|
|
Summary: %{common_summary}
|
|
|
|
Group: System Environment/Libraries
|
|
License: BSD
|
|
URL: http://hackage.haskell.org/package/%{pkg_name}
|
|
Source0: http://hackage.haskell.org/packages/archive/%{pkg_name}/%{version}/%{pkg_name}-%{version}.tar.gz
|
|
# no ghci on ppc64
|
|
ExcludeArch: %{ghc_excluded_archs} ppc64
|
|
BuildRequires: ghc-Cabal-devel
|
|
BuildRequires: ghc-rpm-macros
|
|
BuildRequires: hscolour
|
|
BuildRequires: ghc-mtl-prof, ghc-extensible-exceptions-prof, ghc-random-prof, ghc-template-haskell-prof
|
|
|
|
%description
|
|
%{common_description}
|
|
|
|
|
|
%prep
|
|
%setup -q -n %{pkg_name}-%{version}
|
|
|
|
|
|
%build
|
|
%ghc_lib_build
|
|
|
|
|
|
%install
|
|
%ghc_lib_install
|
|
|
|
|
|
%ghc_lib_package
|
|
|
|
|
|
%changelog
|
|
* Mon Jun 20 2011 Jens Petersen <petersen@redhat.com> - 2.4.0.1-7
|
|
- BR ghc-Cabal-devel and use ghc_excluded_archs
|
|
|
|
* Fri May 27 2011 Jens Petersen <petersen@redhat.com> - 2.4.0.1-6
|
|
- update to cabal2spec-0.23: add ppc64
|
|
|
|
* Thu Mar 10 2011 Fabio M. Di Nitto <fdinitto@redhat.com> - 2.4.0.1-5
|
|
- Enable build on sparcv9
|
|
|
|
* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.0.1-4
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
|
|
|
|
* Sun Jan 23 2011 Jens Petersen <petersen@redhat.com> - 2.4.0.1-3
|
|
- rebuild
|
|
|
|
* Tue Jan 18 2011 Jens Petersen <petersen@redhat.com> - 2.4.0.1-2
|
|
- update to cabal2spec-0.22.4
|
|
|
|
* Thu Nov 25 2010 Jens Petersen <petersen@redhat.com> - 2.4.0.1-1
|
|
- update to 2.4.0.1
|
|
- add hscolour
|
|
- update url and drop -o obsoletes
|
|
|
|
* Fri Jul 16 2010 Jens Petersen <petersen@redhat.com> - 2.1.1.1-1
|
|
- update to 2.1.1.1 for haskell-platform-2010.2.0.0
|
|
- obsolete doc subpackage (ghc-rpm-macros-0.8.0)
|
|
|
|
* Sun Jun 27 2010 Jens Petersen <petersen@redhat.com> - 2.1.0.3-3
|
|
- sync cabal2spec-0.22.1
|
|
|
|
* Tue Apr 27 2010 Jens Petersen <petersen@redhat.com> - 2.1.0.3-2
|
|
- rebuild against ghc-6.12.2
|
|
|
|
* Tue Mar 23 2010 Jens Petersen <petersen@redhat.com> - 2.1.0.3-1
|
|
- update to 2.1.0.3 for haskell-platform-2010.1.0.0
|
|
- BR ghc-ghc
|
|
|
|
* Thu Jan 21 2010 Jens Petersen <petersen@redhat.com> - 2.1.0.2-2
|
|
- BSD license
|
|
- summary and description
|
|
- comment part of haskell-platform-2009.3.1
|
|
|
|
* Thu Jan 21 2010 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - 2.1.0.2-1
|
|
- initial packaging for Fedora automatically generated by cabal2spec-0.21.1
|