git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3963 from bonds/master
8537689Niklas Larsson
idris.cabal+2−8
compare with master
unifiedsplit
@@ -304,17 +304,11 @@ Library
304
304
305 ghc-prof-options: -auto-all -caf-all
305 ghc-prof-options: -auto-all -caf-all
306
306
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
315 if os(windows)
307 if os(windows)
316 build-depends: mintty >= 0.1 && < 0.2
308 build-depends: mintty >= 0.1 && < 0.2
317 , Win32 < 2.4
309 , Win32 < 2.4
310+ else
311+ build-depends: unix < 2.8
318 if flag(FFI)
312 if flag(FFI)
319 build-depends: libffi < 0.2
313 build-depends: libffi < 0.2
320 cpp-options: -DIDRIS_FFI
314 cpp-options: -DIDRIS_FFI