2012-07-15 07:28:54 +00:00
|
|
|
# https://fedoraproject.org/wiki/Packaging:Haskell
|
|
|
|
|
# https://fedoraproject.org/wiki/PackagingDrafts/Haskell
|
|
|
|
|
|
|
|
|
|
%global pkg_name Agda-executable
|
|
|
|
|
|
|
|
|
|
Name: Agda
|
|
|
|
|
Version: 2.3.0.1
|
2013-03-22 13:59:52 +00:00
|
|
|
Release: 7%{?dist}
|
2012-12-06 09:57:07 +00:00
|
|
|
Summary: Command-line program for type-checking and compiling Agda programs
|
2012-07-15 07:28:54 +00:00
|
|
|
|
|
|
|
|
License: MIT
|
|
|
|
|
URL: http://hackage.haskell.org/package/%{pkg_name}
|
|
|
|
|
Source0: http://hackage.haskell.org/packages/archive/%{pkg_name}/%{version}/%{pkg_name}-%{version}.tar.gz
|
2012-11-17 08:14:01 +00:00
|
|
|
|
2012-07-15 07:28:54 +00:00
|
|
|
BuildRequires: ghc-Cabal-devel
|
|
|
|
|
BuildRequires: ghc-rpm-macros
|
|
|
|
|
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.
|
|
|
|
|
|
2012-07-15 07:30:33 +00:00
|
|
|
For the interactive environment please install emacs-agda instead.
|
|
|
|
|
|
2012-07-15 07:28:54 +00:00
|
|
|
|
|
|
|
|
%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
|
2013-03-22 13:59:52 +00:00
|
|
|
* Fri Mar 22 2013 Jens Petersen <petersen@redhat.com> - 2.3.0.1-7
|
|
|
|
|
- rebuild
|
|
|
|
|
|
2013-02-13 14:45:29 +00:00
|
|
|
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-6
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
|
|
|
|
|
2012-12-25 05:44:18 +00:00
|
|
|
* Tue Dec 25 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-5
|
|
|
|
|
- rebuild
|
|
|
|
|
|
2012-12-06 09:57:07 +00:00
|
|
|
* Thu Dec 6 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-4
|
|
|
|
|
- remove ExclusiveArch ghc_arches_with_ghci
|
|
|
|
|
|
2012-11-17 08:14:01 +00:00
|
|
|
* Sat Nov 17 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-3
|
|
|
|
|
- rebuild
|
|
|
|
|
|
2012-07-18 12:49:21 +00:00
|
|
|
* Wed Jul 18 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-2
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
|
|
|
|
|
2012-07-15 07:28:54 +00:00
|
|
|
* 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
|
