105 lines
2.8 KiB
RPMSpec
105 lines
2.8 KiB
RPMSpec
# generated by cabal-rpm-0.13
|
|
# https://fedoraproject.org/wiki/Packaging:Haskell
|
|
|
|
%global pkg_name djinn-lib
|
|
%global pkgver %{pkg_name}-%{version}
|
|
|
|
Name: ghc-%{pkg_name}
|
|
Version: 0.0.1.3
|
|
Release: 6%{?dist}
|
|
Summary: Generate Haskell code from a type
|
|
|
|
License: BSD
|
|
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/%{pkgver}/%{pkg_name}.cabal#/%{pkgver}.cabal
|
|
# End cabal-rpm sources
|
|
|
|
# Begin cabal-rpm deps:
|
|
BuildRequires: ghc-Cabal-devel
|
|
BuildRequires: ghc-rpm-macros
|
|
BuildRequires: ghc-containers-devel
|
|
BuildRequires: ghc-mtl-devel
|
|
BuildRequires: ghc-pretty-devel
|
|
# End cabal-rpm deps
|
|
|
|
%description
|
|
Djinn uses a theorem prover for intuitionistic propositional logic to generate
|
|
a Haskell expression when given a type. This is a library extracted from Djinn
|
|
sources.
|
|
|
|
|
|
%package devel
|
|
Summary: Haskell %{pkg_name} library development files
|
|
Provides: %{name}-static = %{version}-%{release}
|
|
Provides: %{name}-doc = %{version}-%{release}
|
|
%if %{defined ghc_version}
|
|
Requires: ghc-compiler = %{ghc_version}
|
|
Requires(post): ghc-compiler = %{ghc_version}
|
|
Requires(postun): ghc-compiler = %{ghc_version}
|
|
%endif
|
|
Requires: %{name}%{?_isa} = %{version}-%{release}
|
|
|
|
%description devel
|
|
This package provides the Haskell %{pkg_name} library development files.
|
|
|
|
|
|
%prep
|
|
# Begin cabal-rpm setup:
|
|
%setup -q -n %{pkgver}
|
|
cp -bp %{SOURCE1} %{pkg_name}.cabal
|
|
# 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
|
|
|
|
|
|
%post devel
|
|
%ghc_pkg_recache
|
|
|
|
|
|
%postun devel
|
|
%ghc_pkg_recache
|
|
|
|
|
|
%files -f %{name}.files
|
|
# Begin cabal-rpm files:
|
|
%license LICENSE
|
|
# End cabal-rpm files
|
|
|
|
|
|
%files devel -f %{name}-devel.files
|
|
|
|
|
|
%changelog
|
|
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.0.1.3-6
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
|
|
|
* Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 0.0.1.3-5
|
|
- refresh to cabal-rpm-0.13
|
|
|
|
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.0.1.3-4
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
|
|
|
* Sat Jul 28 2018 Jens Petersen <petersen@redhat.com> - 0.0.1.3-3
|
|
- rebuild
|
|
|
|
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.0.1.3-2
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
|
|
|
* Mon Jul 09 2018 Elliott Sales de Andrade <quantum.analyst@gmail.com> - 0.0.1.3-1
|
|
- update to 0.0.1.3
|
|
|
|
* Fri Apr 6 2018 Fedora Haskell SIG <haskell@lists.fedoraproject.org> - 0.0.1.2-1
|
|
- spec file generated by cabal-rpm-0.12.1
|