git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3963 from bonds/master

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

commit8537689010a17dfdc50cdea37d21b273d9a81a00 authorNiklas Larsson <metaniklas@gmail.com> dateWed 2 Aug 2017, 22:23 (9 years ago) parent9831b01b9b32e5
1 file changed+2−8
compare with master
unifiedsplit
idris.cabal+2−8
idris.cabal+2−8
@@ -304,17 +304,11 @@ Library
304304
305305 ghc-prof-options: -auto-all -caf-all
306306
307− if os(linux)
308− build-depends: unix < 2.8
309− if os(freebsd)
310− build-depends: unix < 2.8
311− if os(dragonfly)
312− build-depends: unix < 2.8
313− if os(darwin)
314− build-depends: unix < 2.8
315307 if os(windows)
316308 build-depends: mintty >= 0.1 && < 0.2
317309 , Win32 < 2.4
310+ else
311+ build-depends: unix < 2.8
318312 if flag(FFI)
319313 build-depends: libffi < 0.2
320314 cpp-options: -DIDRIS_FFI