@@ -1,8 +1,7 @@
11{-# LANGUAGE CPP #-}
22module IRTS.System(getDataFileName, getDataDir, getTargetDir,getCC,getLibFlags,getIdrisLibDir,
3− getIncFlags, getEnvFlags, getMvn,getExecutablePom, version) where
3+ getIncFlags, getEnvFlags, version) where
44
5−import Util.System
65import Data.List.Split
76
87import Control.Applicative ((<$>))
@@ -17,27 +16,18 @@ import Paths_idris (version)
1716import Paths_idris
1817#endif
1918
19+overrideDataDirWith :: String -> IO FilePath
20+overrideDataDirWith envVar = do envValue <- lookupEnv envVar
21+ maybe getDataDir return envValue
22+
2023getCC :: IO String
21−getCC = fromMaybe "gcc" <$> environment "IDRIS_CC"
24+getCC = fromMaybe "gcc" <$> lookupEnv "IDRIS_CC"
2225
2326getEnvFlags :: IO [String]
24−getEnvFlags = maybe [] (splitOn " ") <$> environment "IDRIS_CFLAGS"
25−
26−mvnCommand :: String
27−#ifdef mingw32_HOST_OS
28−mvnCommand = "mvn.bat"
29−#else
30−mvnCommand = "mvn"
31−#endif
32−
33−getMvn :: IO String
34−getMvn = fromMaybe mvnCommand <$> environment "IDRIS_MVN"
35−
36−environment :: String -> IO (Maybe String)
37−environment = lookupEnv
27+getEnvFlags = maybe [] (splitOn " ") <$> lookupEnv "IDRIS_CFLAGS"
3828
3929getTargetDir :: IO String
40−getTargetDir = environment "TARGET" >>= maybe getDataDir return
30+getTargetDir = overrideDataDirWith "TARGET"
4131
4232#if defined(FREEBSD) || defined(DRAGONFLY)
4333extraLib = ["-L/usr/local/lib"]
@@ -55,9 +45,7 @@ getLibFlags = do dir <- getDataDir
5545 return $ ["-L" ++ (dir </> "rts"),
5646 "-lidris_rts"] ++ extraLib ++ gmpLib ++ ["-lpthread"]
5747
58−getIdrisLibDir = do libPath <- environment "IDRIS_LIBRARY_PATH"
59− dir <- maybe getDataDir return libPath
60− return $ addTrailingPathSeparator dir
48+getIdrisLibDir = addTrailingPathSeparator <$> overrideDataDirWith "IDRIS_LIBRARY_PATH"
6149
6250#if defined(FREEBSD) || defined(DRAGONFLY)
6351extraInclude = ["-I/usr/local/include"]
@@ -66,6 +54,3 @@ extraInclude = []
6654#endif
6755getIncFlags = do dir <- getDataDir
6856 return $ ("-I" ++ dir </> "rts") : extraInclude
69−
70−getExecutablePom = do dir <- getDataDir
71− return $ dir </> "java" </> "executable_pom.xml"