rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

subpkg deps need to be prof too

This commit is contained in:
Jens Petersen 2019-08-06 10:01:49 +08:00
parent 6365bc309c
commit 900142581b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Agda.spec
View File

@ -77,10 +77,10 @@ Requires: %{name}-common = %{version}-%{release}
# End cabal-rpm deps
BuildRequires: emacs(bin)
# EdisonCore needs
BuildRequires: ghc-QuickCheck-devel
BuildRequires: ghc-QuickCheck-prof
# uri-encode needs
BuildRequires: ghc-network-uri-devel
BuildRequires: ghc-utf8-string-devel
BuildRequires: ghc-network-uri-prof
BuildRequires: ghc-utf8-string-prof
# https://bugzilla.redhat.com/show_bug.cgi?id=991929
ExcludeArch: %{arm}