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.
93 lines
2.7 KiB
93 lines
2.7 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
|
|
|
|
# debuginfo is not useful for ghc
|
|
%global debug_package %{nil}
|
|
|
|
Name: ghc-%{pkg_name}
|
|
# break of haskell-platform-2010.2.0.0
|
|
Version: 2.4.0.1
|
|
Release: 3%{?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
|
|
# fedora ghc archs:
|
|
ExclusiveArch: %{ix86} x86_64 ppc alpha
|
|
BuildRequires: ghc, ghc-doc, ghc-prof
|
|
BuildRequires: ghc-rpm-macros >= 0.7.3
|
|
BuildRequires: hscolour
|
|
%{?ghc_pkg_deps:BuildRequires: %{ghc_pkg_deps}, %(echo %{ghc_pkg_deps} | sed -e "s/\(ghc-[^, ]\+\)-devel/\1-doc,\1-prof/g")}
|
|
|
|
%description
|
|
%{common_description}
|
|
%if %{with shared}
|
|
This package provides the shared library.
|
|
%endif
|
|
|
|
|
|
%prep
|
|
%setup -q -n %{pkg_name}-%{version}
|
|
|
|
|
|
%build
|
|
%ghc_lib_build
|
|
|
|
|
|
%install
|
|
%ghc_lib_install
|
|
|
|
|
|
%ghc_lib_package
|
|
|
|
|
|
%changelog
|
|
* 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
|