git.iko.soy/Idris-dev
on master help sign in
Attempt to resolve unix pkg conflict
commitf3e893490c5ae503e9f388d17c033fcf6030aef5 authorEdmund Smith <edmund.pd.smith@gmail.com> dateTue 20 Jun 2017, 01:18 (9 years ago) parent5aaa39e
1 file changed+5
compare with master
unifiedsplit
idris.cabal+5
idris.cabal+5
@@ -315,6 +315,11 @@ Library
315315 build-depends: safe == 0.3.9
316316 else
317317 build-depends: safe >= 0.3.9
318+
319+ -- unix also conflicts with itself on cabal 1.20 and ghc 7.6.3, with
320+ -- both unix 2.6.0.1 and unix 2.7.2.1 being included.
321+ if impl(ghc < 7.8.4)
322+ build-depends: unix >= 2.7.2 && unix < 2.8.0
318323
319324 if impl(ghc < 7.8.4)
320325 build-depends: tagsoup < 0.14.1