Bring usesGMP in sync with idris.cabal
Because Cabal doesn't resolve unset flags using their defaults, we have to keep
the usesFoo functions in sync with idris.cabal. Somewhere along the line GMP got
switched from default on to default off. This patch brings Setup.hs into sync.
Before this, the C files would get -DIDRIS_GMP set even when the flag was off.
commita238f450c9f9eea7759ae88b7013bc4ba62abc0a
authorEcho Nolan <echo@echonolan.net>
dateSat 9 Jan 2016, 21:53 (11 years ago)
parent17cb074
Setup.hs+1−1
@@ -53,7 +53,7 @@ usesGMP flags =
5353 case lookup (FlagName "gmp") (S.configConfigurationsFlags flags) of
5454 Just True -> True
5555 Just False -> False
56− Nothing -> True
56+ Nothing -> False
5757
5858execOnly :: S.ConfigFlags -> Bool
5959execOnly flags =