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>
|
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