ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-10-26 09:54:23 +03:00
Code Issues Projects Releases Wiki Activity

Require 'unix' library on non-Windows machines, fixes #3961

Browse Source
This commit is contained in:
Scott Bonds 2017-08-02 11:06:32 -07:00
parent 9831b017ba
commit b9b32e5b82
1 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
idris.cabal
View File

@ -304,17 +304,11 @@ Library
ghc-prof-options: -auto-all -caf-all
if os(linux)
build-depends: unix < 2.8
if os(freebsd)
build-depends: unix < 2.8
if os(dragonfly)
build-depends: unix < 2.8
if os(darwin)
build-depends: unix < 2.8
if os(windows)
build-depends: mintty >= 0.1 && < 0.2
, Win32 < 2.4
else
build-depends: unix < 2.8
if flag(FFI)
build-depends: libffi < 0.2
cpp-options: -DIDRIS_FFI