rpms/Agda
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix deps for ftbfs

Browse source
This commit is contained in:
Peter Robinson 2014-08-16 16:15:05 +01:00
commit ca128ef253
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
Agda.spec
View file

@ -41,11 +41,12 @@ BuildRequires: ghc-xhtml-devel
BuildRequires: ghc-zlib-devel
BuildRequires: happy
# End cabal-rpm deps
BuildRequires: emacs(bin)
BuildRequires: emacs
# geniplate uses template-haskell
ExclusiveArch: %{ghc_arches_with_ghci}
# bug 991929
ExcludeArch: armv7hl
ExcludeArch: %{arm}
Requires: ghc-%{name}-devel = %{version}-%{release}
Requires: emacs-agda = %{version}-%{release}