From 0fd8df1cf9cf7c036cf1ef1bb7ae552d9d0667d2 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Thu, 5 Aug 2021 01:42:45 +0800 Subject: [PATCH] update to 2.14.2 --- .gitignore | 1 + QuickCheck-2.13.2.cabal | 218 ---------------------------------------- ghc-QuickCheck.spec | 13 ++- sources | 2 +- 4 files changed, 8 insertions(+), 226 deletions(-) delete mode 100644 QuickCheck-2.13.2.cabal diff --git a/.gitignore b/.gitignore index 480c98a..c150ab2 100644 --- a/.gitignore +++ b/.gitignore @@ -13,3 +13,4 @@ QuickCheck-2.1.1.1.tar.gz /QuickCheck-2.13.2.tar.gz /splitmix-0.0.3.tar.gz /splitmix-0.0.5.tar.gz +/QuickCheck-2.14.2.tar.gz diff --git a/QuickCheck-2.13.2.cabal b/QuickCheck-2.13.2.cabal deleted file mode 100644 index 244646e..0000000 --- a/QuickCheck-2.13.2.cabal +++ /dev/null @@ -1,218 +0,0 @@ -Name: QuickCheck -Version: 2.13.2 -x-revision: 1 -Cabal-Version: >= 1.8 -Build-type: Simple -License: BSD3 -License-file: LICENSE -Copyright: 2000-2019 Koen Claessen, 2006-2008 Björn Bringert, 2009-2019 Nick Smallbone -Author: Koen Claessen -Maintainer: Nick Smallbone -Bug-reports: https://github.com/nick8325/quickcheck/issues -Tested-with: GHC >= 7.0 -Homepage: https://github.com/nick8325/quickcheck -Category: Testing -Synopsis: Automatic testing of Haskell programs -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. - -extra-source-files: - README - changelog - examples/Heap.hs - examples/Heap_Program.hs - examples/Heap_ProgramAlgebraic.hs - examples/Lambda.hs - examples/Merge.hs - examples/Set.hs - examples/Simple.hs - make-hugs - -source-repository head - type: git - location: https://github.com/nick8325/quickcheck - -source-repository this - type: git - location: https://github.com/nick8325/quickcheck - tag: 2.13.2 - -flag templateHaskell - Description: Build Test.QuickCheck.All, which uses Template Haskell. - Default: True - -library - Build-depends: base >=4.3 && <5, random >=1.0.0.3 && <1.2, containers - - -- random is explicitly Trustworthy since 1.0.1.0 - -- similar constraint for containers - -- Note: QuickCheck is Safe only with GHC >= 7.4 (see below) - if impl(ghc >= 7.2) - Build-depends: random >=1.0.1.0 - if impl(ghc >= 7.4) - Build-depends: containers >=0.4.2.1 - - -- Modules that are always built. - Exposed-Modules: - Test.QuickCheck, - Test.QuickCheck.Arbitrary, - Test.QuickCheck.Gen, - Test.QuickCheck.Gen.Unsafe, - Test.QuickCheck.Monadic, - Test.QuickCheck.Modifiers, - Test.QuickCheck.Property, - Test.QuickCheck.Test, - Test.QuickCheck.Text, - Test.QuickCheck.Poly, - Test.QuickCheck.State, - Test.QuickCheck.Random, - Test.QuickCheck.Exception, - Test.QuickCheck.Features - - -- GHC-specific modules. - if impl(ghc) - Exposed-Modules: Test.QuickCheck.Function - Build-depends: transformers >= 0.3, deepseq >= 1.1.0.0 - else - cpp-options: -DNO_TRANSFORMERS -DNO_DEEPSEQ - - if impl(ghc) && flag(templateHaskell) - Build-depends: template-haskell >= 2.4 - Other-Extensions: TemplateHaskell - Exposed-Modules: Test.QuickCheck.All - else - cpp-options: -DNO_TEMPLATE_HASKELL - - if !impl(ghc >= 7.4) - cpp-options: -DNO_CTYPES_CONSTRUCTORS -DNO_FOREIGN_C_USECONDS - - -- The new generics appeared in GHC 7.2... - if impl(ghc < 7.2) - cpp-options: -DNO_GENERICS - -- ...but in 7.2-7.4 it lives in the ghc-prim package. - if impl(ghc >= 7.2) && impl(ghc < 7.6) - Build-depends: ghc-prim - - -- Safe Haskell appeared in GHC 7.2, but GHC.Generics isn't safe until 7.4. - if impl (ghc < 7.4) - cpp-options: -DNO_SAFE_HASKELL - - -- Use splitmix on newer GHCs. - if impl(ghc >= 7.0) - Build-depends: splitmix >= 0.0.2 && <0.1 - else - cpp-options: -DNO_SPLITMIX - - if !impl(ghc >= 7.6) - cpp-options: -DNO_POLYKINDS - - if !impl(ghc >= 8.0) - cpp-options: -DNO_MONADFAIL - - -- Switch off most optional features on non-GHC systems. - if !impl(ghc) - -- If your Haskell compiler can cope without some of these, please - -- send a message to the QuickCheck mailing list! - cpp-options: -DNO_TIMEOUT -DNO_NEWTYPE_DERIVING -DNO_GENERICS -DNO_TEMPLATE_HASKELL -DNO_SAFE_HASKELL -DNO_TYPEABLE -DNO_GADTS - if !impl(hugs) && !impl(uhc) - cpp-options: -DNO_ST_MONAD -DNO_MULTI_PARAM_TYPE_CLASSES - - -- LANGUAGE pragmas don't have any effect in Hugs. - if impl(hugs) - Extensions: CPP - - if impl(uhc) - -- Cabal under UHC needs pointing out all the dependencies of the - -- random package. - Build-depends: old-time, old-locale - -- Plus some bits of the standard library are missing. - cpp-options: -DNO_FIXED -DNO_EXCEPTIONS - -Test-Suite test-quickcheck - type: exitcode-stdio-1.0 - hs-source-dirs: - examples - main-is: Heap.hs - build-depends: base, QuickCheck - if !flag(templateHaskell) - Buildable: False - -Test-Suite test-quickcheck-gcoarbitrary - type: exitcode-stdio-1.0 - hs-source-dirs: tests - main-is: GCoArbitraryExample.hs - build-depends: base, QuickCheck - if !flag(templateHaskell) || !impl(ghc >= 7.2) - buildable: False - if impl(ghc >= 7.2) && impl(ghc < 7.6) - build-depends: ghc-prim - -Test-Suite test-quickcheck-generators - type: exitcode-stdio-1.0 - hs-source-dirs: tests - main-is: Generators.hs - build-depends: base, QuickCheck - if !flag(templateHaskell) - Buildable: False - -Test-Suite test-quickcheck-gshrink - type: exitcode-stdio-1.0 - hs-source-dirs: tests - main-is: GShrinkExample.hs - build-depends: base, QuickCheck - if !flag(templateHaskell) || !impl(ghc >= 7.2) - buildable: False - if impl(ghc >= 7.2) && impl(ghc < 7.6) - build-depends: ghc-prim - -Test-Suite test-quickcheck-terminal - type: exitcode-stdio-1.0 - hs-source-dirs: tests - main-is: Terminal.hs - build-depends: base, process, deepseq >= 1.1.0.0, QuickCheck - if !flag(templateHaskell) || !impl(ghc >= 7.10) - buildable: False - -Test-Suite test-quickcheck-monadfix - type: exitcode-stdio-1.0 - hs-source-dirs: tests - main-is: MonadFix.hs - build-depends: base, QuickCheck - if !flag(templateHaskell) || !impl(ghc >= 7.10) - buildable: False - -Test-Suite test-quickcheck-split - type: exitcode-stdio-1.0 - hs-source-dirs: tests - main-is: Split.hs - build-depends: base, QuickCheck - -Test-Suite test-quickcheck-misc - type: exitcode-stdio-1.0 - hs-source-dirs: tests - main-is: Misc.hs - build-depends: base, QuickCheck - if !flag(templateHaskell) || !impl(ghc >= 7.10) - buildable: False diff --git a/ghc-QuickCheck.spec b/ghc-QuickCheck.spec index bf68591..de0a1e7 100644 --- a/ghc-QuickCheck.spec +++ b/ghc-QuickCheck.spec @@ -4,16 +4,16 @@ %global pkg_name QuickCheck %global pkgver %{pkg_name}-%{version} -%global splitmix splitmix-0.0.5 +%global splitmix splitmix-0.1.0.3 %global subpkgs %{splitmix} # circular dep via base-compat-batteries %bcond_with tests Name: ghc-%{pkg_name} -Version: 2.13.2 +Version: 2.14.2 # can only be reset when all subpkgs bumped -Release: 5%{?dist} +Release: 6%{?dist} Summary: Automatic testing of Haskell programs License: BSD @@ -21,7 +21,6 @@ Url: https://hackage.haskell.org/package/%{pkg_name} # Begin cabal-rpm sources: Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz Source1: https://hackage.haskell.org/package/%{splitmix}/%{splitmix}.tar.gz -Source2: https://hackage.haskell.org/package/%{pkgver}/%{pkg_name}.cabal#/%{pkgver}.cabal # End cabal-rpm sources # Begin cabal-rpm deps: @@ -37,8 +36,6 @@ BuildRequires: ghc-transformers-prof %if %{with tests} BuildRequires: ghc-process-devel %endif -# for missing dep 'splitmix': -BuildRequires: ghc-time-prof # End cabal-rpm deps %description @@ -97,7 +94,6 @@ This package provides the Haskell %{pkg_name} profiling library. %prep # Begin cabal-rpm setup: %setup -q -n %{pkgver} -a1 -cp -bp %{SOURCE2} %{pkg_name}.cabal # End cabal-rpm setup @@ -142,6 +138,9 @@ cp -bp %{SOURCE2} %{pkg_name}.cabal %changelog +* Thu Aug 5 2021 Jens Petersen - 2.14.2-6 +- update to 2.14.2 + * Thu Jul 22 2021 Fedora Release Engineering - 2.13.2-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild diff --git a/sources b/sources index 43f827f..687f5dc 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (QuickCheck-2.13.2.tar.gz) = d2c92caec8bdf9089483b1f256f17f3d50e066f57eddb630f1831a232c4e33a0d4f55a0f927aa433cd3379283fa2615fd2937941e6847b234ea00b0fbeb46b98 SHA512 (splitmix-0.0.5.tar.gz) = b2e86ce9f856ed16ebaea2a9c8758a7c3db66c35ca577d215316e9e73f30c5654210143eb636812eb562a4556f7ade6f0ba07e21fdb624a2558910da288900ae +SHA512 (QuickCheck-2.14.2.tar.gz) = 84decd354e6093bc72afd125410499dd4be3ae8fdbf0a3b466011b4dbcb5c5657e51ab75cfe22790e22bf4ac54cbb1203ff7a0d108e872ce60f4831be827a6e5