refresh to cabal-rpm-0.13
This commit is contained in:
parent
43ebb73197
commit
80ca585639
|
@ -0,0 +1,30 @@
|
|||
name: djinn-lib
|
||||
version: 0.0.1.3
|
||||
x-revision: 1
|
||||
cabal-version: >= 1.6
|
||||
license: BSD3
|
||||
license-file: LICENSE
|
||||
author: Lennart Augustsson
|
||||
maintainer: trupill@gmail.com
|
||||
synopsis: Generate Haskell code from a type. Library extracted from djinn package.
|
||||
description: Djinn uses an theorem prover for intuitionistic propositional logic
|
||||
to generate a Haskell expression when given a type.
|
||||
This is a library extracted from Djinn sources.
|
||||
category: Language
|
||||
homepage: http://www.augustsson.net/Darcs/Djinn/
|
||||
build-type: Simple
|
||||
|
||||
library
|
||||
hs-source-dirs: src
|
||||
build-depends: base >= 4.6 && < 5,
|
||||
mtl,
|
||||
containers,
|
||||
pretty
|
||||
exposed-modules: Djinn.HCheck,
|
||||
Djinn.HTypes,
|
||||
Djinn.LJT,
|
||||
Djinn.LJTFormula
|
||||
|
||||
source-repository head
|
||||
type: git
|
||||
location: https://github.com/serras/djinn-lib
|
|
@ -1,4 +1,4 @@
|
|||
# generated by cabal-rpm-0.12.5
|
||||
# generated by cabal-rpm-0.13
|
||||
# https://fedoraproject.org/wiki/Packaging:Haskell
|
||||
|
||||
%global pkg_name djinn-lib
|
||||
|
@ -6,16 +6,19 @@
|
|||
|
||||
Name: ghc-%{pkg_name}
|
||||
Version: 0.0.1.3
|
||||
Release: 4%{?dist}
|
||||
Release: 5%{?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
|
||||
# Begin cabal-rpm deps:
|
||||
BuildRequires: ghc-containers-devel
|
||||
BuildRequires: ghc-mtl-devel
|
||||
BuildRequires: ghc-pretty-devel
|
||||
|
@ -43,15 +46,22 @@ 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
|
||||
|
@ -63,13 +73,18 @@ This package provides the Haskell %{pkg_name} library development files.
|
|||
|
||||
|
||||
%files -f %{name}.files
|
||||
# Begin cabal-rpm files:
|
||||
%license LICENSE
|
||||
# End cabal-rpm files
|
||||
|
||||
|
||||
%files devel -f %{name}-devel.files
|
||||
|
||||
|
||||
%changelog
|
||||
* 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
|
||||
|
||||
|
|
Loading…
Reference in New Issue