import (#710383)
This commit is contained in:
parent
18fff63fc3
commit
1567c74efa
|
@ -0,0 +1 @@
|
|||
/Agda-executable-2.3.0.1.tar.gz
|
|
@ -0,0 +1,54 @@
|
|||
# cabal2spec-0.25
|
||||
# https://fedoraproject.org/wiki/Packaging:Haskell
|
||||
# https://fedoraproject.org/wiki/PackagingDrafts/Haskell
|
||||
|
||||
%global pkg_name Agda-executable
|
||||
|
||||
Name: Agda
|
||||
Version: 2.3.0.1
|
||||
Release: 1%{?dist}
|
||||
Summary: Dependently typed programming language command-line
|
||||
|
||||
License: MIT
|
||||
# BEGIN cabal2spec
|
||||
URL: http://hackage.haskell.org/package/%{pkg_name}
|
||||
Source0: http://hackage.haskell.org/packages/archive/%{pkg_name}/%{version}/%{pkg_name}-%{version}.tar.gz
|
||||
ExclusiveArch: %{ghc_arches_with_ghci}
|
||||
BuildRequires: ghc-Cabal-devel
|
||||
BuildRequires: ghc-rpm-macros
|
||||
# END cabal2spec
|
||||
BuildRequires: ghc-Agda-devel = %{version}
|
||||
|
||||
%description
|
||||
This package provides a command-line program for type-checking and
|
||||
compiling Agda programs. The program can also generate hyperlinked,
|
||||
highlighted HTML files from Agda sources.
|
||||
|
||||
|
||||
%prep
|
||||
%setup -q -n %{pkg_name}-%{version}
|
||||
|
||||
|
||||
%build
|
||||
%ghc_bin_build
|
||||
|
||||
|
||||
%install
|
||||
%ghc_bin_install
|
||||
|
||||
|
||||
%files
|
||||
%doc LICENSE
|
||||
%attr(755,root,root) %{_bindir}/agda
|
||||
|
||||
|
||||
%changelog
|
||||
* Tue Jul 10 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-1
|
||||
- update to 2.3.0.1 and cabal2spec-0.25
|
||||
|
||||
* Fri Jun 3 2011 Jens Petersen <petersen@redhat.com> - 2.2.10-1
|
||||
- MIT license
|
||||
- BR ghc-Agda-devel
|
||||
|
||||
* Fri Jun 3 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - 2.2.10-0
|
||||
- initial packaging for Fedora automatically generated by cabal2spec-0.23
|
Loading…
Reference in New Issue