BR prof for lib and static for executable

Agda.spec

@@ -1,4 +1,4 @@
-# generated by cabal-rpm-1.0.0 --subpackage
+# generated by cabal-rpm-1.0.1 --subpackage
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
 %global pkg_name Agda
@@ -31,52 +31,47 @@ Source10:       agda-mode-init.el
 
 # Begin cabal-rpm deps:
 BuildRequires:  ghc-Cabal-devel
-%if %{with haddock}
-BuildRequires:  ghc-doc
-%endif
-%if %{with ghc_prof}
-BuildRequires:  ghc-prof
-%endif
 BuildRequires:  ghc-rpm-macros-extra
+#BuildRequires:  ghc-EdisonCore-prof
+BuildRequires:  ghc-aeson-prof
+BuildRequires:  ghc-array-prof
+BuildRequires:  ghc-async-prof
+BuildRequires:  ghc-base-prof
+BuildRequires:  ghc-binary-prof
+BuildRequires:  ghc-blaze-html-prof
+BuildRequires:  ghc-boxes-prof
+BuildRequires:  ghc-bytestring-prof
+BuildRequires:  ghc-containers-prof
+BuildRequires:  ghc-data-hash-prof
+BuildRequires:  ghc-deepseq-prof
+BuildRequires:  ghc-directory-prof
+BuildRequires:  ghc-edit-distance-prof
+BuildRequires:  ghc-equivalence-prof
+BuildRequires:  ghc-exceptions-prof
+BuildRequires:  ghc-filepath-prof
+#BuildRequires:  ghc-geniplate-mirror-prof
+BuildRequires:  ghc-gitrev-prof
+BuildRequires:  ghc-hashable-prof
+BuildRequires:  ghc-hashtables-prof
+BuildRequires:  ghc-haskeline-prof
+BuildRequires:  ghc-ieee754-prof
+BuildRequires:  ghc-mtl-prof
+#BuildRequires:  ghc-murmur-hash-prof
+BuildRequires:  ghc-pretty-prof
+BuildRequires:  ghc-process-prof
+BuildRequires:  ghc-regex-tdfa-prof
+BuildRequires:  ghc-split-prof
+BuildRequires:  ghc-stm-prof
+BuildRequires:  ghc-strict-prof
+BuildRequires:  ghc-template-haskell-prof
+BuildRequires:  ghc-text-prof
+BuildRequires:  ghc-time-prof
+BuildRequires:  ghc-transformers-prof
+BuildRequires:  ghc-unordered-containers-prof
+#BuildRequires:  ghc-uri-encode-prof
+BuildRequires:  ghc-zlib-prof
 BuildRequires:  alex
 BuildRequires:  chrpath
-#BuildRequires:  ghc-EdisonCore-devel
-BuildRequires:  ghc-aeson-devel
-BuildRequires:  ghc-array-devel
-BuildRequires:  ghc-async-devel
-BuildRequires:  ghc-binary-devel
-BuildRequires:  ghc-blaze-html-devel
-BuildRequires:  ghc-boxes-devel
-BuildRequires:  ghc-bytestring-devel
-BuildRequires:  ghc-containers-devel
-BuildRequires:  ghc-data-hash-devel
-BuildRequires:  ghc-deepseq-devel
-BuildRequires:  ghc-directory-devel
-BuildRequires:  ghc-edit-distance-devel
-BuildRequires:  ghc-equivalence-devel
-BuildRequires:  ghc-exceptions-devel
-BuildRequires:  ghc-filepath-devel
-#BuildRequires:  ghc-geniplate-mirror-devel
-BuildRequires:  ghc-gitrev-devel
-BuildRequires:  ghc-hashable-devel
-BuildRequires:  ghc-hashtables-devel
-BuildRequires:  ghc-haskeline-devel
-BuildRequires:  ghc-ieee754-devel
-BuildRequires:  ghc-mtl-devel
-#BuildRequires:  ghc-murmur-hash-devel
-BuildRequires:  ghc-pretty-devel
-BuildRequires:  ghc-process-devel
-BuildRequires:  ghc-regex-tdfa-devel
-BuildRequires:  ghc-split-devel
-BuildRequires:  ghc-stm-devel
-BuildRequires:  ghc-strict-devel
-BuildRequires:  ghc-template-haskell-devel
-BuildRequires:  ghc-text-devel
-BuildRequires:  ghc-time-devel
-BuildRequires:  ghc-transformers-devel
-BuildRequires:  ghc-unordered-containers-devel
-#BuildRequires:  ghc-uri-encode-devel
-BuildRequires:  ghc-zlib-devel
 BuildRequires:  happy
 Requires:       %{name}-common = %{version}-%{release}
 # End cabal-rpm deps
@@ -127,6 +122,7 @@ This package provides the Haskell %{name} shared library.
 %package -n ghc-%{name}-devel
 Summary:        Haskell %{name} library development files
 Provides:       ghc-%{name}-static = %{version}-%{release}
+Provides:       ghc-%{name}-static%{?_isa} = %{version}-%{release}
 %if %{defined ghc_version}
 Requires:       ghc-compiler = %{ghc_version}
 %endif