rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

drop %ghc_arches_with_ghci

Browse source
This commit is contained in:
Jens Petersen 2016-03-07 22:53:09 +09:00
commit ed310a0ca7
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Agda-stdlib.spec
View file

@ -25,8 +25,7 @@ BuildRequires: ghc-rpm-macros
BuildRequires: Agda
# needed for filemanip
BuildRequires: ghc-unix-compat-devel
# Agda needs ghci and is not building on arm currently
ExclusiveArch: %{ghc_arches_with_ghci}
# Agda is not building on arm currently
ExcludeArch: armv7hl
Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6