From 912543f0b4e0ead8c83567e11b7ab00f300444b7 Mon Sep 17 00:00:00 2001 From: CoprDistGit Date: Mon, 30 Oct 2023 07:15:08 +0000 Subject: automatic import of ghc-QuickCheck --- .gitignore | 1 + ghc-QuickCheck.spec | 115 ++++++++++++++++++++++++++++++++++++++++++++++++++++ sources | 1 + 3 files changed, 117 insertions(+) create mode 100644 ghc-QuickCheck.spec create mode 100644 sources diff --git a/.gitignore b/.gitignore index e69de29..ae60778 100644 --- a/.gitignore +++ b/.gitignore @@ -0,0 +1 @@ +/QuickCheck-2.14.3.tar.gz diff --git a/ghc-QuickCheck.spec b/ghc-QuickCheck.spec new file mode 100644 index 0000000..3db4ea7 --- /dev/null +++ b/ghc-QuickCheck.spec @@ -0,0 +1,115 @@ +%global pkg_name QuickCheck +%global pkgver %{pkg_name}-%{version} +%bcond_with tests + +Name: ghc-%{pkg_name} +Version: 2.14.3 +Release: 1 +Summary: Automatic testing of Haskell programs +License: BSD-3-Clause +URL: https://hackage.haskell.org/package/%{pkg_name} +Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz +BuildRequires: ghc-Cabal-devel +BuildRequires: ghc-base-devel +BuildRequires: ghc-base-prof +BuildRequires: ghc-containers-devel +BuildRequires: ghc-containers-prof +BuildRequires: ghc-deepseq-devel +BuildRequires: ghc-deepseq-prof +BuildRequires: ghc-random-devel +BuildRequires: ghc-random-prof +BuildRequires: ghc-rpm-macros +BuildRequires: ghc-splitmix-devel +BuildRequires: ghc-splitmix-prof +BuildRequires: ghc-template-haskell-devel +BuildRequires: ghc-template-haskell-prof +BuildRequires: ghc-transformers-devel +BuildRequires: ghc-transformers-prof +ExcludeArch: %{ix86} +%if %{with tests} +BuildRequires: ghc-process-devel +BuildRequires: ghc-process-prof +%endif + +%description +QuickCheck 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 provided by QuickCheck. +QuickCheck provides combinators to define properties, observe the distribution +of test data, and define test data generators. + +Most of QuickCheck's functionality is exported by the main "Test.QuickCheck" +module. The main exception is the monadic property testing library in +"Test.QuickCheck.Monadic". + +If you are new to QuickCheck, you can try looking at the following resources: + +* The . It's a bit out-of-date in some details and doesn't cover +newer QuickCheck features, but is still full of good advice. * +, a detailed +tutorial written by a user of QuickCheck. + +The companion package provides instances for types in Haskell +Platform packages at the cost of additional dependencies. + +%package devel +Summary: Haskell %{pkg_name} library development files +Requires: %{name} = %{version}-%{release} +Requires: ghc-compiler = %{ghc_version} +Requires(post): ghc-compiler = %{ghc_version} +Requires(postun): ghc-compiler = %{ghc_version} + +%description devel +This package provides the Haskell %{pkg_name} library development files. + +%package -n ghc-%{pkg_name}-help +Summary: Haskell %{pkg_name} library documentation +BuildArch: noarch + +%description -n ghc-%{pkg_name}-help +This package provides the Haskell %{pkg_name} library documentation. + +%package -n ghc-%{pkg_name}-prof +Summary: Haskell %{pkg_name} profiling library +Requires: ghc-%{pkg_name}-devel = %{version}-%{release} +Supplements: (ghc-%{pkg_name}-devel and ghc-prof) + +%description -n ghc-%{pkg_name}-prof +This package provides the Haskell %{pkg_name} profiling library. + +%prep +%autosetup -n %{pkg_name}-%{version} + +%build +%ghc_lib_build + +%install +%ghc_lib_install + +%check +%cabal_test + +%post devel +%ghc_pkg_recache + +%postun devel +%ghc_pkg_recache + +%files -f %{name}.files +%license LICENSE + +%files devel -f %{name}-devel.files +%doc README changelog examples + +%files -n ghc-%{pkg_name}-help -f ghc-%{pkg_name}-help.files +%license LICENSE + +%files -n ghc-%{pkg_name}-prof -f ghc-%{pkg_name}-prof.files + +%changelog +* Tue Aug 22 2023 Lin Runze 2.14.3-1 +- Initial packaging (Version 2.14.3) diff --git a/sources b/sources new file mode 100644 index 0000000..6282a61 --- /dev/null +++ b/sources @@ -0,0 +1 @@ +52036fb5ea7037aaa6d71838c061389a QuickCheck-2.14.3.tar.gz -- cgit v1.2.3