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