2023-01-24 15:54:58 +00:00
|
|
|
# generated by cabal-rpm-2.1.0
|
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
|
2023-06-25 08:37:00 +00:00
|
|
|
Release: %autorelease -e rvre0
|
2013-06-11 11:41:30 +00:00
|
|
|
Summary: A property-based testing library
|
2012-06-19 09:16:47 +00:00
|
|
|
|
2023-01-24 15:54:58 +00:00
|
|
|
License: BSD-3-Clause
|
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
|
2023-01-24 15:54:58 +00:00
|
|
|
BuildRequires: ghc-base-devel
|
|
|
|
BuildRequires: ghc-logict-devel
|
|
|
|
BuildRequires: ghc-mtl-devel
|
|
|
|
BuildRequires: ghc-pretty-devel
|
|
|
|
%if %{with ghc_prof}
|
2019-08-05 10:31:53 +00:00
|
|
|
BuildRequires: ghc-base-prof
|
|
|
|
BuildRequires: ghc-logict-prof
|
|
|
|
BuildRequires: ghc-mtl-prof
|
|
|
|
BuildRequires: ghc-pretty-prof
|
2023-01-24 15:54:58 +00:00
|
|
|
%endif
|
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.
|
2013-06-11 11:41:30 +00:00
|
|
|
|
|
|
|
|
|
|
|
%package devel
|
|
|
|
Summary: Haskell %{pkg_name} library development files
|
2014-08-27 05:45:11 +00:00
|
|
|
Provides: %{name}-static = %{version}-%{release}
|
2019-08-05 10:31:53 +00:00
|
|
|
Provides: %{name}-static%{?_isa} = %{version}-%{release}
|
2018-01-24 13:12:01 +00:00
|
|
|
%if %{defined ghc_version}
|
2013-06-11 11:41:30 +00:00
|
|
|
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}
|
2013-06-11 11:41:30 +00:00
|
|
|
|
|
|
|
%description devel
|
|
|
|
This package provides the Haskell %{pkg_name} library development files.
|
|
|
|
|
2012-06-19 09:16:47 +00:00
|
|
|
|
2019-07-25 04:25:54 +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
|
2019-07-25 04:25:54 +00:00
|
|
|
|
|
|
|
%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)
|
2019-07-25 04:25:54 +00:00
|
|
|
|
|
|
|
%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
|
|
|
|
2013-06-11 11:41:30 +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
|
|
|
|
2013-06-11 11:41:30 +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
|
|
|
|
|
|
|
|
2013-06-11 11:41:30 +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
|
2013-06-11 11:41:30 +00:00
|
|
|
|
|
|
|
|
|
|
|
%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
|
|
|
|
2013-06-11 11:41:30 +00:00
|
|
|
|
2019-07-25 04:25:54 +00:00
|
|
|
%if %{with haddock}
|
|
|
|
%files doc -f %{name}-doc.files
|
2020-02-08 14:52:04 +00:00
|
|
|
%license LICENSE
|
2019-07-25 04:25:54 +00:00
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
|
|
%if %{with ghc_prof}
|
|
|
|
%files prof -f %{name}-prof.files
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
2012-06-19 09:16:47 +00:00
|
|
|
%changelog
|
2023-02-16 05:41:42 +00:00
|
|
|
%autochangelog
|