ghc-smallcheck/ghc-smallcheck.spec

225 lines
7.3 KiB
RPMSpec
Raw Normal View History

2021-07-07 16:30:13 +00:00
# generated by cabal-rpm-2.0.9
2020-06-04 11:28:18 +00:00
# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
2012-06-19 09:16:47 +00:00
%global pkg_name smallcheck
2017-02-24 08:48:24 +00:00
%global pkgver %{pkg_name}-%{version}
2014-08-27 05:45:11 +00:00
2012-06-19 09:16:47 +00:00
Name: ghc-%{pkg_name}
2021-08-05 04:49:20 +00:00
Version: 1.2.1
Release: 4%{?dist}
Summary: A property-based testing library
2012-06-19 09:16:47 +00:00
License: BSD
2017-02-24 08:48:24 +00:00
Url: https://hackage.haskell.org/package/%{pkg_name}
2019-02-17 14:47:09 +00:00
# Begin cabal-rpm sources:
2017-02-24 08:48:24 +00:00
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
2022-06-17 16:21:41 +00:00
Source1: https://hackage.haskell.org/package/%{pkgver}/%{pkg_name}.cabal#/%{pkgver}.cabal
2019-02-17 14:47:09 +00:00
# End cabal-rpm sources
2012-06-19 09:16:47 +00:00
2019-02-17 14:47:09 +00:00
# Begin cabal-rpm deps:
2022-06-17 16:21:41 +00:00
BuildRequires: dos2unix
2012-11-17 16:40:33 +00:00
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-rpm-macros
BuildRequires: ghc-base-prof
BuildRequires: ghc-logict-prof
BuildRequires: ghc-mtl-prof
BuildRequires: ghc-pretty-prof
2012-11-17 16:40:33 +00:00
# End cabal-rpm deps
2012-06-19 09:16:47 +00:00
%description
2014-08-27 05:45:11 +00:00
SmallCheck is a testing library that allows to verify properties for all test
cases up to some depth. The test cases are generated automatically by
SmallCheck.
%package devel
Summary: Haskell %{pkg_name} library development files
2014-08-27 05:45:11 +00:00
Provides: %{name}-static = %{version}-%{release}
Provides: %{name}-static%{?_isa} = %{version}-%{release}
2018-01-24 13:12:01 +00:00
%if %{defined ghc_version}
Requires: ghc-compiler = %{ghc_version}
2018-01-24 13:12:01 +00:00
%endif
2014-08-27 05:45:11 +00:00
Requires: %{name}%{?_isa} = %{version}-%{release}
%description devel
This package provides the Haskell %{pkg_name} library development files.
2012-06-19 09:16:47 +00:00
%if %{with haddock}
%package doc
Summary: Haskell %{pkg_name} library documentation
2020-02-08 14:52:04 +00:00
BuildArch: noarch
2021-07-07 16:30:13 +00:00
Requires: ghc-filesystem
%description doc
This package provides the Haskell %{pkg_name} library documentation.
%endif
%if %{with ghc_prof}
%package prof
Summary: Haskell %{pkg_name} profiling library
Requires: %{name}-devel%{?_isa} = %{version}-%{release}
2020-02-08 14:52:04 +00:00
Supplements: (%{name}-devel and ghc-prof)
%description prof
This package provides the Haskell %{pkg_name} profiling library.
%endif
2012-06-19 09:16:47 +00:00
%prep
2019-02-17 14:47:09 +00:00
# Begin cabal-rpm setup:
2017-02-24 08:48:24 +00:00
%setup -q -n %{pkgver}
2022-06-17 16:21:41 +00:00
dos2unix -k -n %{SOURCE1} %{pkg_name}.cabal
2019-02-17 14:47:09 +00:00
# End cabal-rpm setup
2012-06-19 09:16:47 +00:00
2012-06-19 09:16:47 +00:00
%build
2019-02-17 14:47:09 +00:00
# Begin cabal-rpm build:
2012-06-19 09:16:47 +00:00
%ghc_lib_build
2019-02-17 14:47:09 +00:00
# End cabal-rpm build
2012-06-19 09:16:47 +00:00
2012-06-19 09:16:47 +00:00
%install
2019-02-17 14:47:09 +00:00
# Begin cabal-rpm install
2012-06-19 09:16:47 +00:00
%ghc_lib_install
2019-02-17 14:47:09 +00:00
# End cabal-rpm install
2012-06-19 09:16:47 +00:00
%files -f %{name}.files
2019-02-17 14:47:09 +00:00
# Begin cabal-rpm files:
2016-09-28 09:32:26 +00:00
%license LICENSE
2019-02-17 14:47:09 +00:00
# End cabal-rpm files
%files devel -f %{name}-devel.files
2017-02-24 08:48:24 +00:00
%doc CHANGELOG.md README.md
2012-06-19 09:16:47 +00:00
%if %{with haddock}
%files doc -f %{name}-doc.files
2020-02-08 14:52:04 +00:00
%license LICENSE
%endif
%if %{with ghc_prof}
%files prof -f %{name}-prof.files
%endif
2012-06-19 09:16:47 +00:00
%changelog
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.1-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-17 17:20:09 +00:00
* Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 1.2.1-3
- rebuild
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-08-05 04:49:20 +00:00
* Thu Aug 5 2021 Jens Petersen <petersen@redhat.com> - 1.2.1-1
- update to 1.2.1
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.7-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.7-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.7-3
- Second attempt - Rebuilt for
https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.7-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-06-19 16:26:07 +00:00
* Fri Jun 19 2020 Jens Petersen <petersen@redhat.com> - 1.1.7-1
- update to 1.1.7
2020-02-08 14:52:04 +00:00
* Wed Feb 19 2020 Jens Petersen <petersen@redhat.com> - 1.1.5-7
- refresh to cabal-rpm-2.0.2
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.5-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Fri Aug 02 2019 Jens Petersen <petersen@redhat.com> - 1.1.5-5
- add doc and prof subpackages (cabal-rpm-1.0.0)
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.5-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
2019-02-17 14:47:09 +00:00
* Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 1.1.5-3
- refresh to cabal-rpm-0.13
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.5-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2018-07-22 14:28:49 +00:00
* Sun Jul 22 2018 Jens Petersen <petersen@redhat.com> - 1.1.5-1
- update to 1.1.5
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.3.1-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.3.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2018-01-24 14:52:42 +00:00
* Wed Jan 24 2018 Jens Petersen <petersen@redhat.com> - 1.1.3.1-1
- update to 1.1.3.1
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.1-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.1-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-02-24 08:48:24 +00:00
* Fri Feb 24 2017 Jens Petersen <petersen@redhat.com> - 1.1.1-5
- refresh to cabal-rpm-0.11.1
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.1-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.1-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2014-08-27 05:45:11 +00:00
* Wed Aug 27 2014 Jens Petersen <petersen@redhat.com> - 1.1.1-1
- update to 1.1.1
- refresh to cblrpm-0.8.11
* Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.4-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.4-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
2013-09-02 06:00:30 +00:00
* Mon Sep 2 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject dot org> - 1.0.4-2
- Rebuilt
2013-08-29 10:27:40 +00:00
* Thu Aug 29 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject dot org> - 1.0.4-1
- new upstream version 1.0.4
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.2-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Tue Jun 11 2013 Jens Petersen <petersen@redhat.com> - 1.0.2-2
- update to new simplified Haskell Packaging Guidelines
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
* 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
* 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.