forked from pool/ghc-constraints
		
	Compare commits
	
		
			2 Commits
		
	
	
		
	
	| Author | SHA256 | Date | |
|---|---|---|---|
| 38a7a1553d | |||
| 8d393f9bdf | 
							
								
								
									
										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> | Sun May 12 22:52:37 UTC 2024 - Peter Simons <psimons@suse.com> | ||||||
|  |  | ||||||
|   | |||||||
| @@ -26,6 +26,7 @@ Summary:        Constraint manipulation | |||||||
| License:        BSD-2-Clause | License:        BSD-2-Clause | ||||||
| URL:            https://hackage.haskell.org/package/%{pkg_name} | URL:            https://hackage.haskell.org/package/%{pkg_name} | ||||||
| Source0:        https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz | 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-Cabal-devel | ||||||
| BuildRequires:  ghc-base-devel | BuildRequires:  ghc-base-devel | ||||||
| BuildRequires:  ghc-base-prof | BuildRequires:  ghc-base-prof | ||||||
| @@ -82,6 +83,7 @@ This package provides the Haskell %{pkg_name} profiling library. | |||||||
|  |  | ||||||
| %prep | %prep | ||||||
| %autosetup -n %{pkg_name}-%{version} | %autosetup -n %{pkg_name}-%{version} | ||||||
|  | cp -p %{SOURCE1} %{pkg_name}.cabal | ||||||
|  |  | ||||||
| %build | %build | ||||||
| %ghc_lib_build | %ghc_lib_build | ||||||
|   | |||||||
		Reference in New Issue
	
	Block a user