From 8f01cbb6e94adb8d61a1c2d6bbbc95988667ab47 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Thu, 25 Jul 2019 15:06:37 +0000 Subject: [PATCH] update to 2.12.6.1 --- .gitignore | 1 + QuickCheck-2.12.6.1.cabal | 201 ++++++++++++++++++++++++++++++++++++++ ghc-QuickCheck.spec | 17 +++- sources | 2 +- 4 files changed, 218 insertions(+), 3 deletions(-) create mode 100644 QuickCheck-2.12.6.1.cabal diff --git a/.gitignore b/.gitignore index 5a8cf7d..41f0be8 100644 --- a/.gitignore +++ b/.gitignore @@ -9,3 +9,4 @@ QuickCheck-2.1.1.1.tar.gz /QuickCheck-2.9.2.tar.gz /QuickCheck-2.10.1.tar.gz /QuickCheck-2.11.3.tar.gz +/QuickCheck-2.12.6.1.tar.gz diff --git a/QuickCheck-2.12.6.1.cabal b/QuickCheck-2.12.6.1.cabal new file mode 100644 index 0000000..64db495 --- /dev/null +++ b/QuickCheck-2.12.6.1.cabal @@ -0,0 +1,201 @@ +Name: QuickCheck +Version: 2.12.6.1 +x-revision: 3 +Cabal-Version: >= 1.8 +Build-type: Simple +License: BSD3 +License-file: LICENSE +Copyright: 2000-2018 Koen Claessen, 2006-2008 Björn Bringert, 2009-2018 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 + +source-repository head + type: git + location: https://github.com/nick8325/quickcheck + +source-repository this + type: git + location: https://github.com/nick8325/quickcheck + tag: 2.12.6.1 + +flag templateHaskell + Description: Build Test.QuickCheck.All, which uses Template Haskell. + Default: True + +library + -- System.Random is explicitly Trustworthy + build-depends: random >=1.0.1.0 && <1.2 + + -- Monad(fail) + build-depends: base <4.13 + + Build-depends: base >=4.3 && <5, random, containers, erf >= 2 + + -- 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.3.0.0 && < 1.5 + 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 tf-random on newer GHCs. + if impl(ghc) + Build-depends: tf-random >= 0.4 + else + cpp-options: -DNO_TF_RANDOM + + 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 + 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 !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 !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.3.0.0 && < 1.5, QuickCheck + if !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 !impl(ghc >= 7.10) + buildable: False diff --git a/ghc-QuickCheck.spec b/ghc-QuickCheck.spec index 0cf10cf..d4e15a7 100644 --- a/ghc-QuickCheck.spec +++ b/ghc-QuickCheck.spec @@ -4,9 +4,11 @@ %global pkg_name QuickCheck %global pkgver %{pkg_name}-%{version} +%bcond_without tests + Name: ghc-%{pkg_name} -Version: 2.11.3 -Release: 2%{?dist} +Version: 2.12.6.1 +Release: 1%{?dist} Summary: Automatic testing of Haskell programs License: BSD @@ -26,10 +28,14 @@ BuildRequires: ghc-prof BuildRequires: ghc-rpm-macros BuildRequires: ghc-containers-devel BuildRequires: ghc-deepseq-devel +BuildRequires: ghc-erf-devel BuildRequires: ghc-random-devel BuildRequires: ghc-template-haskell-devel BuildRequires: ghc-tf-random-devel BuildRequires: ghc-transformers-devel +%if %{with tests} +BuildRequires: ghc-process-devel +%endif # End cabal-rpm deps %description @@ -93,6 +99,10 @@ This package provides the Haskell %{pkg_name} profiling library. # End cabal-rpm install +%check +%cabal_test + + %files -f %{name}.files # Begin cabal-rpm files: %license LICENSE @@ -114,6 +124,9 @@ This package provides the Haskell %{pkg_name} profiling library. %changelog +* Thu Jul 25 2019 Jens Petersen - 2.12.6.1-1 +- update to 2.12.6.1 + * Thu Jul 25 2019 Fedora Release Engineering - 2.11.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild diff --git a/sources b/sources index e5f5583..eed95db 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (QuickCheck-2.11.3.tar.gz) = 17b3c5803cbca980375a1837b4ba931f346be8a720fcc0e37ad2c46abc8ba2073c49635bc89739d34653376c3f7fe1bd39560092c005b8dbce0a7effac25d73d +SHA512 (QuickCheck-2.12.6.1.tar.gz) = bbd11ea7f22af02ad1ab4d59aecc0dc57d3b9d63e42c1a73beff94f645778858fe22d8d8234669c96ce901508b85d3b42b2f7647b81510bcdd9eaada937016c1