181 lines
5.4 KiB
RPMSpec
181 lines
5.4 KiB
RPMSpec
# generated by cabal-rpm-2.0.6
|
|
# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
|
|
|
|
%global pkg_name free
|
|
%global pkgver %{pkg_name}-%{version}
|
|
|
|
Name: ghc-%{pkg_name}
|
|
Version: 5.1.3
|
|
Release: 2%{?dist}
|
|
Summary: Monads for free
|
|
|
|
License: BSD
|
|
Url: https://hackage.haskell.org/package/%{pkg_name}
|
|
# Begin cabal-rpm sources:
|
|
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
|
# End cabal-rpm sources
|
|
|
|
# Begin cabal-rpm deps:
|
|
BuildRequires: ghc-Cabal-devel
|
|
BuildRequires: ghc-rpm-macros
|
|
BuildRequires: ghc-base-prof
|
|
BuildRequires: ghc-comonad-prof
|
|
BuildRequires: ghc-containers-prof
|
|
BuildRequires: ghc-distributive-prof
|
|
BuildRequires: ghc-exceptions-prof
|
|
BuildRequires: ghc-mtl-prof
|
|
BuildRequires: ghc-profunctors-prof
|
|
BuildRequires: ghc-semigroupoids-prof
|
|
BuildRequires: ghc-template-haskell-prof
|
|
BuildRequires: ghc-transformers-prof
|
|
BuildRequires: ghc-transformers-base-prof
|
|
# End cabal-rpm deps
|
|
|
|
%description
|
|
Free monads are useful for many tree-like structures and domain specific
|
|
languages.
|
|
|
|
If 'f' is a 'Functor' then the free 'Monad' on 'f' is the type of trees whose
|
|
nodes are labeled with the constructors of 'f'. The word "free" is used in the
|
|
sense of "unrestricted" rather than "zero-cost": 'Free f' makes no constraining
|
|
assumptions beyond those given by 'f' and the definition of 'Monad'.
|
|
As used here it is a standard term from the mathematical theory of adjoint
|
|
functors.
|
|
|
|
Cofree comonads are dual to free monads. They provide convenient ways to talk
|
|
about branching streams and rose-trees, and can be used to annotate syntax
|
|
trees. The cofree comonad can be seen as a stream parameterized by a 'Functor'
|
|
that controls its branching factor.
|
|
|
|
More information on free monads, including examples, can be found in the
|
|
following blog posts: <http://comonad.com/reader/2008/monads-for-free/>
|
|
<http://comonad.com/reader/2011/free-monads-for-less/>.
|
|
|
|
|
|
%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
|
|
|
|
%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
|
|
|
|
|
|
%prep
|
|
# Begin cabal-rpm setup:
|
|
%setup -q -n %{pkgver}
|
|
chmod a-x CHANGELOG.markdown README.markdown
|
|
# End cabal-rpm setup
|
|
|
|
|
|
%build
|
|
# Begin cabal-rpm build:
|
|
%ghc_lib_build
|
|
# End cabal-rpm build
|
|
|
|
|
|
%install
|
|
# Begin cabal-rpm install
|
|
%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.markdown README.markdown examples
|
|
|
|
|
|
%if %{with haddock}
|
|
%files doc -f %{name}-doc.files
|
|
%license LICENSE
|
|
%endif
|
|
|
|
|
|
%if %{with ghc_prof}
|
|
%files prof -f %{name}-prof.files
|
|
%endif
|
|
|
|
|
|
%changelog
|
|
* Fri Jul 17 2020 Jens Petersen <petersen@redhat.com> - 5.1.3-2
|
|
- refresh to cabal-rpm-2.0.6
|
|
|
|
* Fri Feb 14 2020 Jens Petersen <petersen@redhat.com> - 5.1.3-1
|
|
- update to 5.1.3
|
|
|
|
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.1.1-2
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
|
|
|
* Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 5.1.1-1
|
|
- update to 5.1.1
|
|
|
|
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.0.2-6
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
|
|
|
* Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 5.0.2-5
|
|
- refresh to cabal-rpm-0.13
|
|
|
|
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.0.2-4
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
|
|
|
* Sun Jul 29 2018 Jens Petersen <petersen@redhat.com> - 5.0.2-3
|
|
- drop doc/ from docs
|
|
|
|
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.0.2-2
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
|
|
|
* Mon Jul 09 2018 Elliott Sales de Andrade <quantum.analyst@gmail.com> - 5.0.2-1
|
|
- update to 5.0.2
|
|
|
|
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 4.12.4-7
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
|
|
* Fri Jan 26 2018 Jens Petersen <petersen@redhat.com> - 4.12.4-6
|
|
- rebuild
|
|
|
|
* Wed Sep 20 2017 Elliott Sales de Andrade <quantum.analyst@gmail.com> 4.12.4-5
|
|
- Update to latest spec template.
|
|
- Split documentation into separate subpackage.
|
|
|
|
* Fri Jul 21 2017 Elliott Sales de Andrade <quantum.analyst@gmail.com> 4.12.4-4
|
|
- Bump for Fedora 26.
|
|
|
|
* Sat Dec 17 2016 Elliott Sales de Andrade <quantum.analyst@gmail.com> - 4.12.4-3
|
|
- Bump to rebuild against new dependencies
|
|
|
|
* Sat Dec 17 2016 Elliott Sales de Andrade <quantum.analyst@gmail.com> - 4.12.4-2
|
|
- Update release to be newer than previous builds
|
|
|
|
* Sat Dec 17 2016 Fedora Haskell SIG <haskell@lists.fedoraproject.org> - 4.12.4-1
|
|
- spec file generated by cabal-rpm-0.10.0
|