From 30ff3a8b47bedaca1ad1ea434d350a0aa7dc7f2c Mon Sep 17 00:00:00 2001 From: CoprDistGit Date: Thu, 26 Oct 2023 23:00:43 +0000 Subject: automatic import of ghc-constraints --- .gitignore | 1 + constraints.cabal | 94 ++++++++++++++++++++++++++++++++++++++++++++++++ ghc-constraints.spec | 100 +++++++++++++++++++++++++++++++++++++++++++++++++++ sources | 1 + 4 files changed, 196 insertions(+) create mode 100755 constraints.cabal create mode 100644 ghc-constraints.spec create mode 100644 sources diff --git a/.gitignore b/.gitignore index e69de29..69c903d 100644 --- a/.gitignore +++ b/.gitignore @@ -0,0 +1 @@ +/constraints-0.13.4.tar.gz diff --git a/constraints.cabal b/constraints.cabal new file mode 100755 index 0000000..f682403 --- /dev/null +++ b/constraints.cabal @@ -0,0 +1,94 @@ +name: constraints +category: Constraints +version: 0.13.4 +x-revision: 1 +license: BSD2 +cabal-version: >= 1.10 +license-file: LICENSE +author: Edward A. Kmett +maintainer: Edward A. Kmett +stability: experimental +homepage: http://github.com/ekmett/constraints/ +bug-reports: http://github.com/ekmett/constraints/issues +copyright: Copyright (C) 2011-2015 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 == 7.8.4 + , GHC == 7.10.3 + , GHC == 8.0.2 + , GHC == 8.2.2 + , GHC == 8.4.4 + , GHC == 8.6.5 + , GHC == 8.8.4 + , GHC == 8.10.7 + , GHC == 9.0.2 + , GHC == 9.2.1 +extra-source-files: README.markdown + , CHANGELOG.markdown + +source-repository head + type: git + location: git://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.7 && < 5, + binary >= 0.7.1 && < 0.9, + deepseq >= 1.3 && < 1.6, + ghc-prim, + hashable >= 1.2 && < 1.5, + mtl >= 2.1.2 && < 2.4, + transformers >= 0.3.0.0 && < 0.7, + transformers-compat >= 0.5 && < 1, + type-equality >= 1 && < 2 + if impl(ghc < 8.0) + build-depends: semigroups >= 0.17 && < 0.21 + + exposed-modules: + Data.Constraint + Data.Constraint.Deferrable + Data.Constraint.Forall + Data.Constraint.Lifting + Data.Constraint.Unsafe + + if impl(ghc >= 8) + exposed-modules: + Data.Constraint.Nat + Data.Constraint.Symbol + + ghc-options: -Wall + if impl(ghc >= 8.6) + ghc-options: -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 + ghc-options: -Wall -threaded -rtsopts + build-tool-depends: hspec-discover:hspec-discover >= 2 + build-depends: + base >= 4.7 && < 5, + constraints, + hspec >= 2 diff --git a/ghc-constraints.spec b/ghc-constraints.spec new file mode 100644 index 0000000..a7b3d34 --- /dev/null +++ b/ghc-constraints.spec @@ -0,0 +1,100 @@ +%global pkg_name constraints +%global pkgver %{pkg_name}-%{version} + +%bcond_with tests +Name: ghc-%{pkg_name} +Version: 0.13.4 +Release: 1 +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 +BuildRequires: ghc-binary-devel +BuildRequires: ghc-binary-prof +BuildRequires: ghc-deepseq-devel +BuildRequires: ghc-deepseq-prof +BuildRequires: ghc-hashable-devel +BuildRequires: ghc-hashable-prof +BuildRequires: ghc-mtl-devel +BuildRequires: ghc-mtl-prof +BuildRequires: ghc-rpm-macros +BuildRequires: ghc-transformers-compat-devel +BuildRequires: ghc-transformers-compat-prof +BuildRequires: ghc-transformers-devel +BuildRequires: ghc-transformers-prof +BuildRequires: ghc-type-equality-devel +BuildRequires: ghc-type-equality-prof +ExcludeArch: %{ix86} +%if %{with tests} +BuildRequires: ghc-hspec-devel +BuildRequires: ghc-hspec-prof +%endif + +%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. + +%package devel +Summary: Haskell %{pkg_name} library development files +Requires: %{name} = %{version}-%{release} +Requires: ghc-compiler = %{ghc_version} +Requires(post): ghc-compiler = %{ghc_version} +Requires(postun): ghc-compiler = %{ghc_version} + +%description devel +This package provides the Haskell %{pkg_name} library development files. + +%package -n ghc-%{pkg_name}-help +Summary: Haskell %{pkg_name} library documentation +BuildArch: noarch + +%description -n ghc-%{pkg_name}-help +This package provides the Haskell %{pkg_name} library documentation. + +%package -n ghc-%{pkg_name}-prof +Summary: Haskell %{pkg_name} profiling library +Requires: ghc-%{pkg_name}-devel = %{version}-%{release} +Supplements: (ghc-%{pkg_name}-devel and ghc-prof) + +%description -n ghc-%{pkg_name}-prof +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 + +%install +%ghc_lib_install + +%check +%cabal_test + +%post devel +%ghc_pkg_recache + +%postun devel +%ghc_pkg_recache + +%files -f %{name}.files +%license LICENSE + +%files devel -f %{name}-devel.files +%doc CHANGELOG.markdown README.markdown + +%files -n ghc-%{pkg_name}-help -f ghc-%{pkg_name}-help.files +%license LICENSE + +%files -n ghc-%{pkg_name}-prof -f ghc-%{pkg_name}-prof.files + +%changelog +* Thu Sep 28 2023 Lin Runze 0.13.4-1 +- Initial packaging (Version 0.13.4) diff --git a/sources b/sources new file mode 100644 index 0000000..c497e7d --- /dev/null +++ b/sources @@ -0,0 +1 @@ +b5cbc23b68d271c8d2e3ced80c9b5be4 constraints-0.13.4.tar.gz -- cgit v1.2.3