ghc-QuickCheck package is retired on c9s for CS-611
This commit is contained in:
Troy Dawson
parent
7d3a7df451
commit
8faedd7ea2
15
.gitignore
vendored
15
.gitignore
vendored
@ -1,15 +0,0 @@
|
|||||||
QuickCheck-2.1.1.1.tar.gz
|
|
||||||
/QuickCheck-2.4.0.1.tar.gz
|
|
||||||
/QuickCheck-2.4.1.1.tar.gz
|
|
||||||
/QuickCheck-2.4.2.tar.gz
|
|
||||||
/QuickCheck-2.6.tar.gz
|
|
||||||
/QuickCheck-2.7.6.tar.gz
|
|
||||||
/QuickCheck-2.8.1.tar.gz
|
|
||||||
/QuickCheck-2.8.2.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
|
|
||||||
/QuickCheck-2.13.2.tar.gz
|
|
||||||
/splitmix-0.0.3.tar.gz
|
|
||||||
/splitmix-0.0.5.tar.gz
|
|
||||||
@ -1,201 +0,0 @@
|
|||||||
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 <koen@chalmers.se>
|
|
||||||
Maintainer: Nick Smallbone <nick@smallbone.se>
|
|
||||||
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 <http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html official QuickCheck manual>.
|
|
||||||
It's a bit out-of-date in some details and doesn't cover newer QuickCheck features,
|
|
||||||
but is still full of good advice.
|
|
||||||
* <https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html>,
|
|
||||||
a detailed tutorial written by a user of QuickCheck.
|
|
||||||
.
|
|
||||||
The <http://hackage.haskell.org/package/quickcheck-instances quickcheck-instances>
|
|
||||||
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
|
|
||||||
@ -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 <koen@chalmers.se>
|
|
||||||
Maintainer: Nick Smallbone <nick@smallbone.se>
|
|
||||||
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 <http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html official QuickCheck manual>.
|
|
||||||
It's a bit out-of-date in some details and doesn't cover newer QuickCheck features,
|
|
||||||
but is still full of good advice.
|
|
||||||
* <https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html>,
|
|
||||||
a detailed tutorial written by a user of QuickCheck.
|
|
||||||
.
|
|
||||||
The <https://hackage.haskell.org/package/quickcheck-instances quickcheck-instances>
|
|
||||||
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
|
|
||||||
1
dead.package
Normal file
1
dead.package
Normal file
@ -0,0 +1 @@
|
|||||||
|
ghc-QuickCheck package is retired on c9s for CS-611
|
||||||
@ -1,300 +0,0 @@
|
|||||||
# generated by cabal-rpm-2.0.6 --subpackage
|
|
||||||
# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
|
|
||||||
|
|
||||||
%global pkg_name QuickCheck
|
|
||||||
%global pkgver %{pkg_name}-%{version}
|
|
||||||
|
|
||||||
%global splitmix splitmix-0.0.5
|
|
||||||
%global subpkgs %{splitmix}
|
|
||||||
|
|
||||||
# circular dep via base-compat-batteries
|
|
||||||
%bcond_with tests
|
|
||||||
|
|
||||||
Name: ghc-%{pkg_name}
|
|
||||||
Version: 2.13.2
|
|
||||||
# can only be reset when all subpkgs bumped
|
|
||||||
Release: 5%{?dist}
|
|
||||||
Summary: Automatic testing of Haskell programs
|
|
||||||
|
|
||||||
License: BSD
|
|
||||||
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:
|
|
||||||
BuildRequires: ghc-Cabal-devel
|
|
||||||
BuildRequires: ghc-rpm-macros-extra
|
|
||||||
BuildRequires: ghc-base-prof
|
|
||||||
BuildRequires: ghc-containers-prof
|
|
||||||
BuildRequires: ghc-deepseq-prof
|
|
||||||
BuildRequires: ghc-random-prof
|
|
||||||
#BuildRequires: ghc-splitmix-prof
|
|
||||||
BuildRequires: ghc-template-haskell-prof
|
|
||||||
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
|
|
||||||
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.
|
|
||||||
|
|
||||||
|
|
||||||
%package devel
|
|
||||||
Summary: Haskell %{pkg_name} library development files
|
|
||||||
Provides: %{name}-static = %{version}-%{release}
|
|
||||||
Provides: %{name}-static%{?_isa} = %{version}-%{release}
|
|
||||||
%if %{defined ghc_version}
|
|
||||||
Requires: ghc-compiler = %{ghc_version}
|
|
||||||
%endif
|
|
||||||
Requires: %{name}%{?_isa} = %{version}-%{release}
|
|
||||||
|
|
||||||
%description devel
|
|
||||||
This package provides the Haskell %{pkg_name} library development files.
|
|
||||||
|
|
||||||
|
|
||||||
%if %{with haddock}
|
|
||||||
%package doc
|
|
||||||
Summary: Haskell %{pkg_name} library documentation
|
|
||||||
BuildArch: noarch
|
|
||||||
|
|
||||||
%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}
|
|
||||||
Supplements: (%{name}-devel and ghc-prof)
|
|
||||||
|
|
||||||
%description prof
|
|
||||||
This package provides the Haskell %{pkg_name} profiling library.
|
|
||||||
%endif
|
|
||||||
|
|
||||||
|
|
||||||
%global main_version %{version}
|
|
||||||
|
|
||||||
%if %{defined ghclibdir}
|
|
||||||
%ghc_lib_subpackage %{splitmix}
|
|
||||||
%endif
|
|
||||||
|
|
||||||
%global version %{main_version}
|
|
||||||
|
|
||||||
|
|
||||||
%prep
|
|
||||||
# Begin cabal-rpm setup:
|
|
||||||
%setup -q -n %{pkgver} -a1
|
|
||||||
cp -bp %{SOURCE2} %{pkg_name}.cabal
|
|
||||||
# End cabal-rpm setup
|
|
||||||
|
|
||||||
|
|
||||||
%build
|
|
||||||
# Begin cabal-rpm build:
|
|
||||||
%ghc_libs_build %{subpkgs}
|
|
||||||
%ghc_lib_build
|
|
||||||
# End cabal-rpm build
|
|
||||||
|
|
||||||
|
|
||||||
%install
|
|
||||||
# Begin cabal-rpm install
|
|
||||||
%ghc_libs_install %{subpkgs}
|
|
||||||
%ghc_lib_install
|
|
||||||
%ghc_fix_rpath %{pkgver}
|
|
||||||
# End cabal-rpm install
|
|
||||||
|
|
||||||
|
|
||||||
%check
|
|
||||||
%cabal_test
|
|
||||||
|
|
||||||
|
|
||||||
%files -f %{name}.files
|
|
||||||
# Begin cabal-rpm files:
|
|
||||||
%license LICENSE
|
|
||||||
# End cabal-rpm files
|
|
||||||
|
|
||||||
|
|
||||||
%files devel -f %{name}-devel.files
|
|
||||||
%doc README changelog examples
|
|
||||||
|
|
||||||
|
|
||||||
%if %{with haddock}
|
|
||||||
%files doc -f %{name}-doc.files
|
|
||||||
%license LICENSE
|
|
||||||
%endif
|
|
||||||
|
|
||||||
|
|
||||||
%if %{with ghc_prof}
|
|
||||||
%files prof -f %{name}-prof.files
|
|
||||||
%endif
|
|
||||||
|
|
||||||
|
|
||||||
%changelog
|
|
||||||
* Thu Apr 15 2021 Mohan Boddu <mboddu@redhat.com> - 2.13.2-5
|
|
||||||
- Rebuilt for RHEL 9 BETA on Apr 15th 2021. Related: rhbz#1947937
|
|
||||||
|
|
||||||
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.13.2-4
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
|
||||||
|
|
||||||
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.13.2-3
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
||||||
|
|
||||||
* Wed Jun 17 2020 Jens Petersen <petersen@redhat.com> - 2.13.2-2
|
|
||||||
- update splitmix to 0.0.5
|
|
||||||
|
|
||||||
* Sun Feb 09 2020 Jens Petersen <petersen@redhat.com> - 2.13.2-1
|
|
||||||
- update to 2.13.2
|
|
||||||
- subpackage splitmix
|
|
||||||
|
|
||||||
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.12.6.1-2
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
|
||||||
|
|
||||||
* Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 2.12.6.1-1
|
|
||||||
- update to 2.12.6.1
|
|
||||||
|
|
||||||
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.11.3-2
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
|
||||||
|
|
||||||
* Thu Feb 21 2019 Jens Petersen <petersen@redhat.com> - 2.11.3-1
|
|
||||||
- update to 2.11.3
|
|
||||||
|
|
||||||
* Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 2.10.1-6
|
|
||||||
- refresh to cabal-rpm-0.13
|
|
||||||
|
|
||||||
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.10.1-5
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
|
||||||
|
|
||||||
* Sat Jul 28 2018 Jens Petersen <petersen@redhat.com> - 2.10.1-4
|
|
||||||
- rebuild
|
|
||||||
|
|
||||||
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.10.1-3
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
|
||||||
|
|
||||||
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.10.1-2
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
||||||
|
|
||||||
* Wed Jan 24 2018 Jens Petersen <petersen@redhat.com> - 2.9.2-1
|
|
||||||
- update to 2.10.1
|
|
||||||
|
|
||||||
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.2-3
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
|
||||||
|
|
||||||
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.2-2
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
|
||||||
|
|
||||||
* Mon Feb 20 2017 Jens Petersen <petersen@redhat.com> - 2.9.2-1
|
|
||||||
- update to 2.9.2
|
|
||||||
|
|
||||||
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.8.2-2
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
|
||||||
|
|
||||||
* Sun Jun 26 2016 Jens Petersen <petersen@redhat.com> - 2.8.2-1
|
|
||||||
- update to 2.8.2
|
|
||||||
|
|
||||||
* Mon Jun 6 2016 Jens Petersen <petersen@redhat.com> - 2.8.1-1
|
|
||||||
- update to 2.8.1
|
|
||||||
|
|
||||||
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.7.6-3
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
|
||||||
|
|
||||||
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.7.6-2
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
|
||||||
|
|
||||||
* Thu Apr 2 2015 Jens Petersen <petersen@redhat.com> - 2.7.6-1
|
|
||||||
- update to 2.7.6
|
|
||||||
|
|
||||||
* Wed Jan 28 2015 Jens Petersen <petersen@redhat.com> - 2.6-35
|
|
||||||
- update urls
|
|
||||||
|
|
||||||
* Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.6-34
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
|
||||||
|
|
||||||
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.6-33
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
|
||||||
|
|
||||||
* Wed Mar 26 2014 Jens Petersen <petersen@redhat.com> - 2.6-32
|
|
||||||
- bump over haskell-platform
|
|
||||||
|
|
||||||
* Mon Feb 24 2014 Jens Petersen <petersen@redhat.com> - 2.6-31
|
|
||||||
- separate out of haskell-platform (#1069070)
|
|
||||||
|
|
||||||
* Tue Mar 20 2012 Jens Petersen <petersen@redhat.com> - 2.4.2-1
|
|
||||||
- update to 2.4.2
|
|
||||||
|
|
||||||
* Sun Mar 18 2012 Jens Petersen <petersen@redhat.com> - 2.4.1.1-3
|
|
||||||
- update to cabal2spec-0.25
|
|
||||||
|
|
||||||
* Fri Jan 13 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.1.1-2
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
|
|
||||||
|
|
||||||
* Tue Dec 27 2011 Jens Petersen <petersen@redhat.com> - 2.4.1.1-1
|
|
||||||
- update to 2.4.1.1 for haskell-platform-2011.4.0.0
|
|
||||||
- no longer depends on mtl nor ghci
|
|
||||||
- update to cabal2spec-0.24.1
|
|
||||||
- build on archs without ghci without template-haskell
|
|
||||||
|
|
||||||
* Mon Oct 24 2011 Marcela Mašláňová <mmaslano@redhat.com> - 2.4.0.1-7.3
|
|
||||||
- rebuild with new gmp without compat lib
|
|
||||||
|
|
||||||
* Fri Oct 21 2011 Marcela Mašláňová <mmaslano@redhat.com> - 2.4.0.1-7.2
|
|
||||||
- rebuild with new gmp without compat lib
|
|
||||||
|
|
||||||
* Tue Oct 11 2011 Peter Schiffer <pschiffe@redhat.com> - 2.4.0.1-7.1
|
|
||||||
- rebuild with new gmp
|
|
||||||
|
|
||||||
* Mon Jun 20 2011 Jens Petersen <petersen@redhat.com> - 2.4.0.1-7
|
|
||||||
- BR ghc-Cabal-devel and use ghc_excluded_archs
|
|
||||||
|
|
||||||
* Fri May 27 2011 Jens Petersen <petersen@redhat.com> - 2.4.0.1-6
|
|
||||||
- update to cabal2spec-0.23: add ppc64
|
|
||||||
|
|
||||||
* Thu Mar 10 2011 Fabio M. Di Nitto <fdinitto@redhat.com> - 2.4.0.1-5
|
|
||||||
- Enable build on sparcv9
|
|
||||||
|
|
||||||
* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.0.1-4
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
|
|
||||||
|
|
||||||
* Sun Jan 23 2011 Jens Petersen <petersen@redhat.com> - 2.4.0.1-3
|
|
||||||
- rebuild
|
|
||||||
|
|
||||||
* Tue Jan 18 2011 Jens Petersen <petersen@redhat.com> - 2.4.0.1-2
|
|
||||||
- update to cabal2spec-0.22.4
|
|
||||||
|
|
||||||
* Thu Nov 25 2010 Jens Petersen <petersen@redhat.com> - 2.4.0.1-1
|
|
||||||
- update to 2.4.0.1
|
|
||||||
- add hscolour
|
|
||||||
- update url and drop -o obsoletes
|
|
||||||
|
|
||||||
* Fri Jul 16 2010 Jens Petersen <petersen@redhat.com> - 2.1.1.1-1
|
|
||||||
- update to 2.1.1.1 for haskell-platform-2010.2.0.0
|
|
||||||
- obsolete doc subpackage (ghc-rpm-macros-0.8.0)
|
|
||||||
|
|
||||||
* Sun Jun 27 2010 Jens Petersen <petersen@redhat.com> - 2.1.0.3-3
|
|
||||||
- sync cabal2spec-0.22.1
|
|
||||||
|
|
||||||
* Tue Apr 27 2010 Jens Petersen <petersen@redhat.com> - 2.1.0.3-2
|
|
||||||
- rebuild against ghc-6.12.2
|
|
||||||
|
|
||||||
* Tue Mar 23 2010 Jens Petersen <petersen@redhat.com> - 2.1.0.3-1
|
|
||||||
- update to 2.1.0.3 for haskell-platform-2010.1.0.0
|
|
||||||
- BR ghc-ghc
|
|
||||||
|
|
||||||
* Thu Jan 21 2010 Jens Petersen <petersen@redhat.com> - 2.1.0.2-2
|
|
||||||
- BSD license
|
|
||||||
- summary and description
|
|
||||||
- comment part of haskell-platform-2009.3.1
|
|
||||||
|
|
||||||
* Thu Jan 21 2010 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - 2.1.0.2-1
|
|
||||||
- initial packaging for Fedora automatically generated by cabal2spec-0.21.1
|
|
||||||
2
sources
2
sources
@ -1,2 +0,0 @@
|
|||||||
SHA512 (QuickCheck-2.13.2.tar.gz) = d2c92caec8bdf9089483b1f256f17f3d50e066f57eddb630f1831a232c4e33a0d4f55a0f927aa433cd3379283fa2615fd2937941e6847b234ea00b0fbeb46b98
|
|
||||||
SHA512 (splitmix-0.0.5.tar.gz) = b2e86ce9f856ed16ebaea2a9c8758a7c3db66c35ca577d215316e9e73f30c5654210143eb636812eb562a4556f7ade6f0ba07e21fdb624a2558910da288900ae
|
|
||||||
Loading…
Reference in New Issue
Block a user