git.iko.soy/Idris-dev
on master help sign in
Bring usesGMP in sync with idris.cabal
a238f45Echo Nolan
Setup.hs+1−1
compare with master
unifiedsplit
@@ -53,7 +53,7 @@ usesGMP flags =
53 case lookup (FlagName "gmp") (S.configConfigurationsFlags flags) of
53 case lookup (FlagName "gmp") (S.configConfigurationsFlags flags) of
54 Just True -> True
54 Just True -> True
55 Just False -> False
55 Just False -> False
56− Nothing -> True
56+ Nothing -> False
57
57
58execOnly :: S.ConfigFlags -> Bool
58execOnly :: S.ConfigFlags -> Bool
59execOnly flags =
59execOnly flags =