From e59d30496304448d7314776c171a2144a978655a Mon Sep 17 00:00:00 2001 From: Jan de Muijnck-Hughes Date: Tue, 6 Dec 2016 09:12:24 +0000 Subject: [PATCH] Make bound for `safe` dependent in ghc version. safe 0.3.10 is having issues with cabal 1.20 and ghc 7.6.3, the hvr ghc ppa doesn't provide a new enough cabal library. Temporary fix until hvr ghc ppa is fixed or we deprecate support for 7.6.3. --- idris.cabal | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/idris.cabal b/idris.cabal index a71fa81d48..6a6f338956 100644 --- a/idris.cabal +++ b/idris.cabal @@ -289,7 +289,6 @@ Library , vector < 0.12 , vector-binary-instances < 0.3 , zip-archive > 0.2.3.5 && < 0.4 - , safe >= 0.3.9 , fsnotify >= 0.2 && < 2.2 , async < 2.2 @@ -302,6 +301,14 @@ Library else build-depends: process < 1.5 + -- safe 0.3.10 is having issues with cabal 1.20 and ghc 7.6.3, the + -- hvr ghc ppa doesn't provide a new enough cabal library. Temporary + -- fix until hvr ghc ppa is fixed or we deprecate support for 7.6.3. + if impl(ghc < 7.8.4) + build-depends: safe == 0.3.9 + else + build-depends: safe >= 0.3.9 + Extensions: MultiParamTypeClasses , DeriveFoldable , DeriveTraversable