|
 |
1a692b1 |
# https://fedoraproject.org/wiki/Packaging:Haskell
|
|
|
1a692b1 |
|
|
|
1a692b1 |
%global pkg_name QuickCheck
|
|
|
1a692b1 |
|
|
|
1a692b1 |
Name: ghc-%{pkg_name}
|
|
|
1a692b1 |
# part of haskell-platform
|
|
|
0b628e1 |
Version: 2.6
|
|
|
94cc0a0 |
Release: 32%{?dist}
|
|
|
0b628e1 |
Summary: Automatic testing of Haskell programs
|
|
|
1a692b1 |
|
|
|
1a692b1 |
License: BSD
|
|
|
1a692b1 |
URL: http://hackage.haskell.org/package/%{pkg_name}
|
|
|
0b628e1 |
Source0: http://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
|
|
|
0b628e1 |
|
|
|
1a692b1 |
BuildRequires: ghc-Cabal-devel
|
|
|
0b628e1 |
BuildRequires: ghc-rpm-macros
|
|
|
0b628e1 |
# Begin cabal-rpm deps:
|
|
|
0b628e1 |
BuildRequires: ghc-random-devel
|
|
|
1a692b1 |
%ifarch %{ghc_arches_with_ghci}
|
|
|
0b628e1 |
BuildRequires: ghc-template-haskell-devel
|
|
|
1a692b1 |
%endif
|
|
|
0b628e1 |
# End cabal-rpm deps
|
|
|
1a692b1 |
|
|
|
1a692b1 |
%description
|
|
|
0b628e1 |
QuickCheck is a library for random testing of program properties.
|
|
|
0b628e1 |
|
|
|
0b628e1 |
The programmer provides a specification of the program, in the form of
|
|
|
0b628e1 |
properties which functions should satisfy, and QuickCheck then tests that the
|
|
|
0b628e1 |
properties hold in a large number of randomly generated cases.
|
|
|
0b628e1 |
|
|
|
0b628e1 |
Specifications are expressed in Haskell, using combinators defined in the
|
|
|
0b628e1 |
QuickCheck library. QuickCheck provides combinators to define properties,
|
|
|
0b628e1 |
observe the distribution of test data, and define test data generators.
|
|
|
0b628e1 |
|
|
|
0b628e1 |
|
|
|
0b628e1 |
%package devel
|
|
|
0b628e1 |
Summary: Haskell %{pkg_name} library development files
|
|
|
0b628e1 |
Provides: %{name}-static = %{version}-%{release}
|
|
|
0b628e1 |
Requires: ghc-compiler = %{ghc_version}
|
|
|
0b628e1 |
Requires(post): ghc-compiler = %{ghc_version}
|
|
|
0b628e1 |
Requires(postun): ghc-compiler = %{ghc_version}
|
|
|
0b628e1 |
Requires: %{name}%{?_isa} = %{version}-%{release}
|
|
|
0b628e1 |
|
|
|
0b628e1 |
%description devel
|
|
|
0b628e1 |
This package provides the Haskell %{pkg_name} library development files.
|
|
|
1a692b1 |
|
|
|
1a692b1 |
|
|
|
1a692b1 |
%prep
|
|
|
1a692b1 |
%setup -q -n %{pkg_name}-%{version}
|
|
|
1a692b1 |
|
|
|
1a692b1 |
|
|
|
1a692b1 |
%build
|
|
|
1a692b1 |
%ifnarch %{ghc_arches_with_ghci}
|
|
|
1a692b1 |
%define cabal_configure_options -f "-templateHaskell"
|
|
|
1a692b1 |
%endif
|
|
|
1a692b1 |
%ghc_lib_build
|
|
|
1a692b1 |
|
|
|
1a692b1 |
|
|
|
1a692b1 |
%install
|
|
|
1a692b1 |
%ghc_lib_install
|
|
|
1a692b1 |
|
|
|
1a692b1 |
|
|
|
0b628e1 |
%post devel
|
|
|
0b628e1 |
%ghc_pkg_recache
|
|
|
0b628e1 |
|
|
|
1a692b1 |
|
|
|
0b628e1 |
%postun devel
|
|
|
0b628e1 |
%ghc_pkg_recache
|
|
|
1a692b1 |
|
|
|
1a692b1 |
|
|
|
0b628e1 |
%files -f %{name}.files
|
|
|
0b628e1 |
%doc LICENSE
|
|
|
1a692b1 |
|
|
|
1a692b1 |
|
|
|
0b628e1 |
%files devel -f %{name}-devel.files
|
|
|
0b628e1 |
%doc README
|
|
|
1a692b1 |
|
|
|
1a692b1 |
|
|
|
1a692b1 |
%changelog
|
|
|
94cc0a0 |
* Wed Mar 26 2014 Jens Petersen <petersen@redhat.com> - 2.6-32
|
|
|
94cc0a0 |
- bump over haskell-platform
|
|
|
94cc0a0 |
|
|
|
0b628e1 |
* Mon Feb 24 2014 Jens Petersen <petersen@redhat.com> - 2.6-31
|
|
|
94cc0a0 |
- separate out of haskell-platform (#1069070)
|
|
|
0b628e1 |
|
|
|
1a692b1 |
* Tue Mar 20 2012 Jens Petersen <petersen@redhat.com> - 2.4.2-1
|
|
|
1a692b1 |
- update to 2.4.2
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Sun Mar 18 2012 Jens Petersen <petersen@redhat.com> - 2.4.1.1-3
|
|
|
1a692b1 |
- update to cabal2spec-0.25
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Fri Jan 13 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.1.1-2
|
|
|
1a692b1 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Tue Dec 27 2011 Jens Petersen <petersen@redhat.com> - 2.4.1.1-1
|
|
|
1a692b1 |
- update to 2.4.1.1 for haskell-platform-2011.4.0.0
|
|
|
1a692b1 |
- no longer depends on mtl nor ghci
|
|
|
1a692b1 |
- update to cabal2spec-0.24.1
|
|
|
1a692b1 |
- build on archs without ghci without template-haskell
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Mon Oct 24 2011 Marcela Mašláňová <mmaslano@redhat.com> - 2.4.0.1-7.3
|
|
|
1a692b1 |
- rebuild with new gmp without compat lib
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Fri Oct 21 2011 Marcela Mašláňová <mmaslano@redhat.com> - 2.4.0.1-7.2
|
|
|
1a692b1 |
- rebuild with new gmp without compat lib
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Tue Oct 11 2011 Peter Schiffer <pschiffe@redhat.com> - 2.4.0.1-7.1
|
|
|
1a692b1 |
- rebuild with new gmp
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Mon Jun 20 2011 Jens Petersen <petersen@redhat.com> - 2.4.0.1-7
|
|
|
1a692b1 |
- BR ghc-Cabal-devel and use ghc_excluded_archs
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Fri May 27 2011 Jens Petersen <petersen@redhat.com> - 2.4.0.1-6
|
|
|
1a692b1 |
- update to cabal2spec-0.23: add ppc64
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Thu Mar 10 2011 Fabio M. Di Nitto <fdinitto@redhat.com> - 2.4.0.1-5
|
|
|
1a692b1 |
- Enable build on sparcv9
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.0.1-4
|
|
|
1a692b1 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Sun Jan 23 2011 Jens Petersen <petersen@redhat.com> - 2.4.0.1-3
|
|
|
1a692b1 |
- rebuild
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Tue Jan 18 2011 Jens Petersen <petersen@redhat.com> - 2.4.0.1-2
|
|
|
1a692b1 |
- update to cabal2spec-0.22.4
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Thu Nov 25 2010 Jens Petersen <petersen@redhat.com> - 2.4.0.1-1
|
|
|
1a692b1 |
- update to 2.4.0.1
|
|
|
1a692b1 |
- add hscolour
|
|
|
1a692b1 |
- update url and drop -o obsoletes
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Fri Jul 16 2010 Jens Petersen <petersen@redhat.com> - 2.1.1.1-1
|
|
|
1a692b1 |
- update to 2.1.1.1 for haskell-platform-2010.2.0.0
|
|
|
1a692b1 |
- obsolete doc subpackage (ghc-rpm-macros-0.8.0)
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Sun Jun 27 2010 Jens Petersen <petersen@redhat.com> - 2.1.0.3-3
|
|
|
1a692b1 |
- sync cabal2spec-0.22.1
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Tue Apr 27 2010 Jens Petersen <petersen@redhat.com> - 2.1.0.3-2
|
|
|
1a692b1 |
- rebuild against ghc-6.12.2
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Tue Mar 23 2010 Jens Petersen <petersen@redhat.com> - 2.1.0.3-1
|
|
|
1a692b1 |
- update to 2.1.0.3 for haskell-platform-2010.1.0.0
|
|
|
1a692b1 |
- BR ghc-ghc
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Thu Jan 21 2010 Jens Petersen <petersen@redhat.com> - 2.1.0.2-2
|
|
|
1a692b1 |
- BSD license
|
|
|
1a692b1 |
- summary and description
|
|
|
1a692b1 |
- comment part of haskell-platform-2009.3.1
|
|
|
1a692b1 |
|
|
|
1a692b1 |
* Thu Jan 21 2010 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - 2.1.0.2-1
|
|
|
1a692b1 |
- initial packaging for Fedora automatically generated by cabal2spec-0.21.1
|