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

BR unix-compat for filemanip

Browse source
This commit is contained in:
Jens Petersen 2015-04-17 13:17:28 +09:00
commit 7bb5a0ef9e
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Agda-stdlib.spec
View file

@ -24,6 +24,8 @@ BuildRequires: ghc-rpm-macros-extra
BuildRequires: ghc-rpm-macros
%endif
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}
ExcludeArch: armv7hl