159 lines
4.0 KiB
RPMSpec
159 lines
4.0 KiB
RPMSpec
# generated by cabal-rpm-2.1.0 --subpackage
|
|
# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
|
|
|
|
%global pkg_name singleton-bool
|
|
%global pkgver %{pkg_name}-%{version}
|
|
|
|
%global some some-1.0.4.1
|
|
%global subpkgs %{some}
|
|
|
|
Name: ghc-%{pkg_name}
|
|
Version: 0.1.6
|
|
# can only be reset when all subpkgs bumped
|
|
Release: 1%{?dist}
|
|
Summary: Type level booleans
|
|
|
|
License: BSD-3-Clause
|
|
Url: https://hackage.haskell.org/package/%{pkg_name}
|
|
# Begin cabal-rpm sources:
|
|
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
|
Source1: https://hackage.haskell.org/package/%{some}/%{some}.tar.gz
|
|
Source2: https://hackage.haskell.org/package/%{pkgver}/%{pkg_name}.cabal#/%{pkgver}.cabal
|
|
# End cabal-rpm sources
|
|
|
|
# Begin cabal-rpm deps:
|
|
BuildRequires: ghc-Cabal-devel
|
|
BuildRequires: ghc-rpm-macros-extra
|
|
BuildRequires: ghc-base-devel
|
|
BuildRequires: ghc-boring-devel
|
|
BuildRequires: ghc-dec-devel
|
|
BuildRequires: ghc-deepseq-devel
|
|
#BuildRequires: ghc-some-devel
|
|
%if %{with ghc_prof}
|
|
BuildRequires: ghc-base-prof
|
|
BuildRequires: ghc-boring-prof
|
|
BuildRequires: ghc-dec-prof
|
|
BuildRequires: ghc-deepseq-prof
|
|
#BuildRequires: ghc-some-prof
|
|
%endif
|
|
# End cabal-rpm deps
|
|
|
|
%description
|
|
Type level booleans.
|
|
|
|
'singletons' package provides similar functionality, but it has tight
|
|
dependency constraints.
|
|
|
|
|
|
%package devel
|
|
Summary: Haskell %{pkg_name} library development files
|
|
Provides: %{name}-static = %{version}-%{release}
|
|
Provides: %{name}-static%{?_isa} = %{version}-%{release}
|
|
%if %{defined ghc_version}
|
|
Requires: ghc-compiler = %{ghc_version}
|
|
%endif
|
|
Requires: %{name}%{?_isa} = %{version}-%{release}
|
|
|
|
%description devel
|
|
This package provides the Haskell %{pkg_name} library development files.
|
|
|
|
|
|
%if %{with haddock}
|
|
%package doc
|
|
Summary: Haskell %{pkg_name} library documentation
|
|
BuildArch: noarch
|
|
Requires: ghc-filesystem
|
|
|
|
%description doc
|
|
This package provides the Haskell %{pkg_name} library documentation.
|
|
%endif
|
|
|
|
|
|
%if %{with ghc_prof}
|
|
%package prof
|
|
Summary: Haskell %{pkg_name} profiling library
|
|
Requires: %{name}-devel%{?_isa} = %{version}-%{release}
|
|
Supplements: (%{name}-devel and ghc-prof)
|
|
|
|
%description prof
|
|
This package provides the Haskell %{pkg_name} profiling library.
|
|
%endif
|
|
|
|
|
|
%global main_version %{version}
|
|
|
|
%if %{defined ghclibdir}
|
|
%ghc_lib_subpackage -l BSD-3-Clause %{some}
|
|
%endif
|
|
|
|
%global version %{main_version}
|
|
|
|
|
|
%prep
|
|
# Begin cabal-rpm setup:
|
|
%setup -q -n %{pkgver} -a1
|
|
cp -bp %{SOURCE2} %{pkg_name}.cabal
|
|
# End cabal-rpm setup
|
|
|
|
|
|
%build
|
|
# Begin cabal-rpm build:
|
|
%ghc_libs_build %{subpkgs}
|
|
%ghc_lib_build
|
|
# End cabal-rpm build
|
|
|
|
|
|
%install
|
|
# Begin cabal-rpm install
|
|
%ghc_libs_install %{subpkgs}
|
|
%ghc_lib_install
|
|
# End cabal-rpm install
|
|
|
|
|
|
%files -f %{name}.files
|
|
# Begin cabal-rpm files:
|
|
%license LICENSE
|
|
# End cabal-rpm files
|
|
|
|
|
|
%files devel -f %{name}-devel.files
|
|
%doc CHANGELOG.md
|
|
|
|
|
|
%if %{with haddock}
|
|
%files doc -f %{name}-doc.files
|
|
%license LICENSE
|
|
%endif
|
|
|
|
|
|
%if %{with ghc_prof}
|
|
%files prof -f %{name}-prof.files
|
|
%endif
|
|
|
|
|
|
%changelog
|
|
* Sun Jan 22 2023 Jens Petersen <petersen@redhat.com> - 0.1.6-1
|
|
- https://hackage.haskell.org/package/singleton-bool-0.1.6/changelog
|
|
- refresh to cabal-rpm-2.1.0 with SPDX migration
|
|
|
|
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.5-12
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
|
|
|
* Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 0.1.5-11
|
|
- rebuild
|
|
|
|
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.5-10
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
|
|
|
* Fri Aug 06 2021 Jens Petersen <petersen@redhat.com> - 0.1.5-9
|
|
- rebuild
|
|
|
|
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.5-8
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
|
|
|
* Tue Mar 23 2021 Jens Petersen <petersen@redhat.com> - 0.1.5-7
|
|
- bump over ghc-servant
|
|
|
|
* Tue Feb 2 2021 Jens Petersen <petersen@redhat.com> - 0.1.5-1
|
|
- spec file generated by cabal-rpm-2.0.7
|