git.iko.soy/Idris-dev
on master help sign in
Use cc instead of gcc on non-windows platforms
d2c207cJorge Acereda
src/IRTS/System.hs+7−1
compare with master
unifiedsplit
@@ -61,7 +61,13 @@ overrideIdrisSubDirWith fp envVar = do
61 Just ddir -> return ddir
61 Just ddir -> return ddir
62
62
63getCC :: IO String
63getCC :: 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
65
71
66getEnvFlags :: IO [String]
72getEnvFlags :: IO [String]
67getEnvFlags = maybe [] (splitOn " ") <$> lookupEnv "IDRIS_CFLAGS"
73getEnvFlags = maybe [] (splitOn " ") <$> lookupEnv "IDRIS_CFLAGS"