forked from pool/ghc-constraints
		
	Compare commits
	
		
			2 Commits
		
	
	
		
	
	| Author | SHA256 | Date | |
|---|---|---|---|
| f1fb4ddd9e | |||
| cc5feeb132 | 
							
								
								
									
										95
									
								
								constraints.cabal
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										95
									
								
								constraints.cabal
									
									
									
									
									
										Normal file
									
								
							@@ -0,0 +1,95 @@
 | 
			
		||||
cabal-version: 2.4
 | 
			
		||||
name:          constraints
 | 
			
		||||
category:      Constraints
 | 
			
		||||
version:       0.14.2
 | 
			
		||||
x-revision: 1
 | 
			
		||||
license:       BSD-2-Clause
 | 
			
		||||
license-file:  LICENSE
 | 
			
		||||
author:        Edward A. Kmett
 | 
			
		||||
maintainer:    Edward A. Kmett <ekmett@gmail.com>
 | 
			
		||||
stability:     experimental
 | 
			
		||||
homepage:      http://github.com/ekmett/constraints/
 | 
			
		||||
bug-reports:   http://github.com/ekmett/constraints/issues
 | 
			
		||||
copyright:     Copyright (C) 2011-2021 Edward A. Kmett
 | 
			
		||||
synopsis:      Constraint manipulation
 | 
			
		||||
description:
 | 
			
		||||
  GHC 7.4 gave us the ability to talk about @ConstraintKinds@. They stopped crashing the compiler in GHC 7.6.
 | 
			
		||||
  .
 | 
			
		||||
  This package provides a vocabulary for working with them.
 | 
			
		||||
 | 
			
		||||
build-type:    Simple
 | 
			
		||||
 | 
			
		||||
tested-with:
 | 
			
		||||
  GHC == 9.8.1
 | 
			
		||||
  GHC == 9.6.3
 | 
			
		||||
  GHC == 9.4.7
 | 
			
		||||
  GHC == 9.2.8
 | 
			
		||||
  GHC == 9.0.2
 | 
			
		||||
  GHC == 8.10.7
 | 
			
		||||
  GHC == 8.8.4
 | 
			
		||||
  GHC == 8.6.5
 | 
			
		||||
 | 
			
		||||
extra-source-files: README.markdown
 | 
			
		||||
                  , CHANGELOG.markdown
 | 
			
		||||
 | 
			
		||||
source-repository head
 | 
			
		||||
  type: git
 | 
			
		||||
  location: https://github.com/ekmett/constraints.git
 | 
			
		||||
 | 
			
		||||
library
 | 
			
		||||
  hs-source-dirs: src
 | 
			
		||||
 | 
			
		||||
  default-language: Haskell2010
 | 
			
		||||
  other-extensions:
 | 
			
		||||
    FunctionalDependencies,
 | 
			
		||||
    ScopedTypeVariables,
 | 
			
		||||
    StandaloneDeriving,
 | 
			
		||||
    FlexibleInstances,
 | 
			
		||||
    FlexibleContexts,
 | 
			
		||||
    ConstraintKinds,
 | 
			
		||||
    KindSignatures,
 | 
			
		||||
    TypeOperators,
 | 
			
		||||
    Rank2Types,
 | 
			
		||||
    GADTs
 | 
			
		||||
 | 
			
		||||
  build-depends:
 | 
			
		||||
    , base           >= 4.12  && < 5
 | 
			
		||||
    , binary         >= 0.7.1 && < 0.9
 | 
			
		||||
    , boring         >= 0.2   && < 0.3
 | 
			
		||||
    , deepseq        >= 1.3   && < 1.6
 | 
			
		||||
    , ghc-prim
 | 
			
		||||
    , hashable       >= 1.2   && < 1.6
 | 
			
		||||
    , mtl            >= 2.2   && < 2.4
 | 
			
		||||
    , transformers   >= 0.5   && < 0.7
 | 
			
		||||
  if !impl(ghc >= 9.0)
 | 
			
		||||
    build-depends:
 | 
			
		||||
      integer-gmp
 | 
			
		||||
 | 
			
		||||
  exposed-modules:
 | 
			
		||||
    Data.Constraint
 | 
			
		||||
    Data.Constraint.Deferrable
 | 
			
		||||
    Data.Constraint.Forall
 | 
			
		||||
    Data.Constraint.Lifting
 | 
			
		||||
    Data.Constraint.Nat
 | 
			
		||||
    Data.Constraint.Symbol
 | 
			
		||||
    Data.Constraint.Unsafe
 | 
			
		||||
 | 
			
		||||
  if impl(ghc >= 9.2)
 | 
			
		||||
    exposed-modules:
 | 
			
		||||
      Data.Constraint.Char
 | 
			
		||||
 | 
			
		||||
  ghc-options: -Wall -Wno-star-is-type
 | 
			
		||||
 | 
			
		||||
test-suite spec
 | 
			
		||||
  type: exitcode-stdio-1.0
 | 
			
		||||
  default-language: Haskell2010
 | 
			
		||||
  hs-source-dirs: tests
 | 
			
		||||
  main-is: Spec.hs
 | 
			
		||||
  other-modules: GH55Spec
 | 
			
		||||
                 GH117Spec
 | 
			
		||||
  ghc-options: -Wall -threaded -rtsopts
 | 
			
		||||
  build-tool-depends: hspec-discover:hspec-discover >= 2
 | 
			
		||||
  build-depends:
 | 
			
		||||
    , base
 | 
			
		||||
    , constraints
 | 
			
		||||
    , hspec >= 2
 | 
			
		||||
@@ -1,3 +1,9 @@
 | 
			
		||||
-------------------------------------------------------------------
 | 
			
		||||
Fri Jul  5 12:23:40 UTC 2024 - Peter Simons <psimons@suse.com>
 | 
			
		||||
 | 
			
		||||
- Update constraints to version 0.14.2 revision 1.
 | 
			
		||||
  Upstream has revised the Cabal build instructions on Hackage.
 | 
			
		||||
 | 
			
		||||
-------------------------------------------------------------------
 | 
			
		||||
Sun May 12 22:52:37 UTC 2024 - Peter Simons <psimons@suse.com>
 | 
			
		||||
 | 
			
		||||
 
 | 
			
		||||
@@ -26,6 +26,7 @@ Summary:        Constraint manipulation
 | 
			
		||||
License:        BSD-2-Clause
 | 
			
		||||
URL:            https://hackage.haskell.org/package/%{pkg_name}
 | 
			
		||||
Source0:        https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
 | 
			
		||||
Source1:        https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal#/%{pkg_name}.cabal
 | 
			
		||||
BuildRequires:  ghc-Cabal-devel
 | 
			
		||||
BuildRequires:  ghc-base-devel
 | 
			
		||||
BuildRequires:  ghc-base-prof
 | 
			
		||||
@@ -82,6 +83,7 @@ This package provides the Haskell %{pkg_name} profiling library.
 | 
			
		||||
 | 
			
		||||
%prep
 | 
			
		||||
%autosetup -n %{pkg_name}-%{version}
 | 
			
		||||
cp -p %{SOURCE1} %{pkg_name}.cabal
 | 
			
		||||
 | 
			
		||||
%build
 | 
			
		||||
%ghc_lib_build
 | 
			
		||||
 
 | 
			
		||||
		Reference in New Issue
	
	Block a user