[Agda-stdlib] no ghc-rpm-macros-extra on F19

[Jens Petersen]

commit 357e012495fd82f64a290c04036328ced08e6956
Author: Jens Petersen <petersen at redhat.com>
Date:   Wed Feb 12 15:07:48 2014 +0900

    no ghc-rpm-macros-extra on F19

 Agda-stdlib.spec |   11 +++++++++--
 1 files changed, 9 insertions(+), 2 deletions(-)
---
diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 4c2de11..3961b1f 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -7,7 +7,7 @@
 Name:           Agda-stdlib
 Version:        0.7
 # only reset if agda-lib-ffi also bumped
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Agda standard libraries
 
 Group:          Development/Libraries
@@ -15,7 +15,11 @@ License:        MIT
 URL:            http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
 Source0:        http://www.cse.chalmers.se/~nad/software/lib-%{version}.tar.gz
 BuildRequires:  ghc-Cabal-devel
-BuildRequires:  ghc-rpm-macros-extra
+%if 0%{?fedora} >= 20
+BuildRequires: ghc-rpm-macros-extra
+%else
+BuildRequires: ghc-rpm-macros
+%endif
 BuildRequires:  Agda
 # Agda needs ghci and is not building on arm currently
 ExclusiveArch:  %{ghc_arches_with_ghci}
@@ -81,6 +85,9 @@ rm README.agdai README/*.agdai
 
 
 %changelog
+* Wed Feb  5 2014 Jens Petersen <petersen at redhat.com> - 0.7-3
+- no ghc-rpm-macros-extra on F19
+
 * Mon Feb  3 2014 Jens Petersen <petersen at redhat.com> - 0.7-2
 - only build on arch's where Agda builds