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