Use cc instead of gcc on non-windows platforms
commitd2c207cf9a0b055f57b1f9abc5ae40501bc24926
authorJorge Acereda <jacereda@gmail.com>
dateSun 25 Mar 2018, 10:21 (9 years ago)
parent17d7e9b
src/IRTS/System.hs+7−1
@@ -61,7 +61,13 @@ overrideIdrisSubDirWith fp envVar = do
6161 Just ddir -> return ddir
6262
6363getCC :: IO String
64−getCC = fromMaybe "gcc" <$> lookupEnv "IDRIS_CC"
64+getCC = fromMaybe cc <$> lookupEnv "IDRIS_CC"
65+ where
66+#ifdef mingw32_HOST_OS
67+ cc = "gcc"
68+#else
69+ cc = "cc"
70+#endif
6571
6672getEnvFlags :: IO [String]
6773getEnvFlags = maybe [] (splitOn " ") <$> lookupEnv "IDRIS_CFLAGS"