From f516ebbd3fb82630ee9f3881925333196cce8a05 Mon Sep 17 00:00:00 2001 From: CoprDistGit Date: Thu, 26 Oct 2023 22:55:43 +0000 Subject: automatic import of ghc-dec --- .gitignore | 1 + dec.cabal | 60 ++++++++++++++++++++++++++++++++++++++++++++ ghc-dec.spec | 81 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ sources | 1 + 4 files changed, 143 insertions(+) create mode 100755 dec.cabal create mode 100644 ghc-dec.spec create mode 100644 sources diff --git a/.gitignore b/.gitignore index e69de29..9f8e1eb 100644 --- a/.gitignore +++ b/.gitignore @@ -0,0 +1 @@ +/dec-0.0.5.tar.gz diff --git a/dec.cabal b/dec.cabal new file mode 100755 index 0000000..16224c7 --- /dev/null +++ b/dec.cabal @@ -0,0 +1,60 @@ +cabal-version: >=1.10 +name: dec +version: 0.0.5 +x-revision: 1 +synopsis: Decidable propositions. +category: Data, Dependent Types +description: + This package provides a @Dec@ type. + . + @ + type Neg a = a -> Void + . + data Dec a + \ = Yes a + \ | No (Neg a) + @ + +homepage: https://github.com/phadej/dec +bug-reports: https://github.com/phadej/dec/issues +license: BSD3 +license-file: LICENSE +author: Oleg Grenrus +maintainer: Oleg.Grenrus +copyright: (c) 2019-2021 Oleg Grenrus +build-type: Simple +extra-source-files: ChangeLog.md +tested-with: + GHC ==7.8.4 + || ==7.10.3 + || ==8.0.2 + || ==8.2.2 + || ==8.4.4 + || ==8.6.5 + || ==8.8.4 + || ==8.10.7 + || ==9.0.2 + || ==9.2.6 + || ==9.4.4 + || ==9.6.1 + +source-repository head + type: git + location: https://github.com/phadej/dec.git + +library + default-language: Haskell2010 + hs-source-dirs: src + ghc-options: -Wall -fprint-explicit-kinds + exposed-modules: Data.Type.Dec + build-depends: + base >=4.7 && <4.19 + , boring >=0.2 && <0.3 + + if !impl(ghc >=7.10) + build-depends: void >=0.7.3 && <0.8 + + if impl(ghc >=9.0) + -- these flags may abort compilation with GHC-8.10 + -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295 + ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode diff --git a/ghc-dec.spec b/ghc-dec.spec new file mode 100644 index 0000000..0d42727 --- /dev/null +++ b/ghc-dec.spec @@ -0,0 +1,81 @@ +%global pkg_name dec +%global pkgver %{pkg_name}-%{version} + +Name: ghc-%{pkg_name} +Version: 0.0.5 +Release: 1 +Summary: Decidable propositions +License: BSD-3-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-boring-devel +BuildRequires: ghc-boring-prof +BuildRequires: ghc-rpm-macros +ExcludeArch: %{ix86} + +%description +This package provides a 'Dec' type. + +' type Neg a = a -> Void + +data Dec a = Yes a | No (Neg a) '. + +%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 + +%post devel +%ghc_pkg_recache + +%postun devel +%ghc_pkg_recache + +%files -f %{name}.files +%license LICENSE + +%files devel -f %{name}-devel.files +%doc ChangeLog.md + +%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.0.5-1 +- Initial packaging (Version 0.0.5) diff --git a/sources b/sources new file mode 100644 index 0000000..6fb1c9c --- /dev/null +++ b/sources @@ -0,0 +1 @@ +5a214884bd725eb3868fe7a6991314a3 dec-0.0.5.tar.gz -- cgit v1.2.3