2012-06-19 09:16:47 +00:00
|
|
|
# https://fedoraproject.org/wiki/Packaging:Haskell
|
|
|
|
|
# https://fedoraproject.org/wiki/PackagingDrafts/Haskell
|
|
|
|
|
|
|
|
|
|
%global pkg_name smallcheck
|
|
|
|
|
|
|
|
|
|
%global common_summary A testing library to verify properties of test cases
|
|
|
|
|
|
2012-11-19 00:08:59 +00:00
|
|
|
%global common_description SmallCheck is a testing library that allows to verify properties for\
|
2012-11-17 16:40:33 +00:00
|
|
|
all test cases up to some depth. The test cases are generated automatically.
|
2012-06-19 09:16:47 +00:00
|
|
|
|
|
|
|
|
Name: ghc-%{pkg_name}
|
2013-04-22 10:27:17 +00:00
|
|
|
Version: 1.0.2
|
|
|
|
|
Release: 1%{?dist}
|
2012-06-19 09:16:47 +00:00
|
|
|
Summary: %{common_summary}
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
2012-11-17 16:40:33 +00:00
|
|
|
BuildRequires: ghc-Cabal-devel
|
|
|
|
|
BuildRequires: ghc-rpm-macros
|
|
|
|
|
# Begin cabal-rpm deps:
|
2013-04-22 10:27:17 +00:00
|
|
|
BuildRequires: ghc-logict-devel
|
|
|
|
|
BuildRequires: ghc-mtl-devel
|
|
|
|
|
BuildRequires: ghc-pretty-devel
|
2012-11-17 16:40:33 +00:00
|
|
|
# End cabal-rpm deps
|
2012-06-19 09:16:47 +00:00
|
|
|
BuildRequires: ghc-dlist-devel
|
|
|
|
|
|
|
|
|
|
%description
|
|
|
|
|
%{common_description}
|
|
|
|
|
|
|
|
|
|
%prep
|
|
|
|
|
%setup -q -n %{pkg_name}-%{version}
|
|
|
|
|
|
|
|
|
|
%build
|
|
|
|
|
%ghc_lib_build
|
|
|
|
|
|
|
|
|
|
%install
|
|
|
|
|
%ghc_lib_install
|
|
|
|
|
|
|
|
|
|
%ghc_devel_package
|
|
|
|
|
|
|
|
|
|
%ghc_devel_description
|
|
|
|
|
|
|
|
|
|
%ghc_devel_post_postun
|
|
|
|
|
|
2012-11-17 16:40:33 +00:00
|
|
|
%ghc_files LICENSE
|
2013-04-22 10:27:17 +00:00
|
|
|
%doc README.md
|
2012-06-19 09:16:47 +00:00
|
|
|
|
|
|
|
|
%changelog
|
2013-04-22 10:27:17 +00:00
|
|
|
* Mon Mar 18 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject dot org> - 1.0.2-1
|
|
|
|
|
- new upstream version 1.0.2
|
|
|
|
|
|
2013-02-13 23:18:43 +00:00
|
|
|
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.6.1-4
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
|
|
|
|
|
2012-11-17 16:40:33 +00:00
|
|
|
* Sat Nov 17 2012 Jens Petersen <petersen@redhat.com> - 0.6.1-3
|
|
|
|
|
- update with cabal-rpm
|
|
|
|
|
|
2012-07-19 06:02:43 +00:00
|
|
|
* Thu Jul 19 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.6.1-2
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
|
|
|
|
|
2012-06-19 09:16:47 +00:00
|
|
|
* Fri Jun 08 2012 Shakthi Kannan <shakthimaan [AT] fedoraproject dot org> - 0.6.1-1
|
|
|
|
|
- Updated common summary and description.
|
|
|
|
|
- Added BR ghc-dlist-devel.
|
|
|
|
|
- Spec file template generated by cabal2spec-0.25.5.
|
