6859fe7 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Util method for overriding libdir w/ env var.

6859fe7Leif Warner11 years ago

src/IRTS/CodegenCommon.hs−3

compare with master

unifiedsplit

@@ -3,9 +3,6 @@ module IRTS.CodegenCommon where

3import Idris.Core.TT

4import IRTS.Simplified

5import IRTS.Defunctionalise

6−import IRTS.Lang

7−

8−import Data.Word

10data DbgLevel = NONE | DEBUG | TRACE deriving Eq

7data DbgLevel = NONE | DEBUG | TRACE deriving Eq

11data OutputType = Raw | Object | Executable | MavenProject deriving (Eq, Show)

8data OutputType = Raw | Object | Executable | MavenProject deriving (Eq, Show)

src/IRTS/System.hs+9−24

@@ -1,8 +1,7 @@

1{-# LANGUAGE CPP #-}

2module IRTS.System(getDataFileName, getDataDir, getTargetDir,getCC,getLibFlags,getIdrisLibDir,

3− getIncFlags, getEnvFlags, getMvn,getExecutablePom, version) where

3+ getIncFlags, getEnvFlags, version) where

5−import Util.System

6import Data.List.Split

5import Data.List.Split

8import Control.Applicative ((<$>))

7import Control.Applicative ((<$>))

@@ -17,27 +16,18 @@ import Paths_idris (version)

17import Paths_idris

16import Paths_idris

18#endif

17#endif

19+overrideDataDirWith :: String -> IO FilePath

20+overrideDataDirWith envVar = do envValue <- lookupEnv envVar

21+ maybe getDataDir return envValue

22+

20getCC :: IO String

23getCC :: IO String

21−getCC = fromMaybe "gcc" <$> environment "IDRIS_CC"

24+getCC = fromMaybe "gcc" <$> lookupEnv "IDRIS_CC"

23getEnvFlags :: IO [String]

26getEnvFlags :: IO [String]

24−getEnvFlags = maybe [] (splitOn " ") <$> environment "IDRIS_CFLAGS"

27+getEnvFlags = maybe [] (splitOn " ") <$> lookupEnv "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

39getTargetDir :: IO String

29getTargetDir :: IO String

40−getTargetDir = environment "TARGET" >>= maybe getDataDir return

30+getTargetDir = overrideDataDirWith "TARGET"

42#if defined(FREEBSD) || defined(DRAGONFLY)

32#if defined(FREEBSD) || defined(DRAGONFLY)

43extraLib = ["-L/usr/local/lib"]

33extraLib = ["-L/usr/local/lib"]

@@ -55,9 +45,7 @@ getLibFlags = do dir <- getDataDir

55 return $ ["-L" ++ (dir </> "rts"),

45 return $ ["-L" ++ (dir </> "rts"),

56 "-lidris_rts"] ++ extraLib ++ gmpLib ++ ["-lpthread"]

46 "-lidris_rts"] ++ extraLib ++ gmpLib ++ ["-lpthread"]

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"

62#if defined(FREEBSD) || defined(DRAGONFLY)

50#if defined(FREEBSD) || defined(DRAGONFLY)

63extraInclude = ["-I/usr/local/include"]

51extraInclude = ["-I/usr/local/include"]

@@ -66,6 +54,3 @@ extraInclude = []

66#endif

54#endif

67getIncFlags = do dir <- getDataDir

55getIncFlags = do dir <- getDataDir

68 return $ ("-I" ++ dir </> "rts") : extraInclude

56 return $ ("-I" ++ dir </> "rts") : extraInclude

69−

70−getExecutablePom = do dir <- getDataDir

71− return $ dir </> "java" </> "executable_pom.xml"

src/Util/System.hs−4

@@ -2,7 +2,6 @@

2module Util.System(tempfile,withTempdir,rmFile,catchIO, isWindows,

3 writeSource, writeSourceText, readSource,

4 setupBundledCC, isATTY) where

5−

6-- System helper functions.

5-- System helper functions.

8import Control.Exception as CE

7import Control.Exception as CE

@@ -32,9 +31,6 @@ import System.Environment (getEnv, setEnv, getExecutablePath)

32catchIO :: IO a -> (IOError -> IO a) -> IO a

31catchIO :: IO a -> (IOError -> IO a) -> IO a

33catchIO = CE.catch

32catchIO = CE.catch

35−throwIO :: IOError -> IO a

36−throwIO = CE.throw

37−

38isWindows :: Bool

34isWindows :: Bool

39isWindows = os `elem` ["win32", "mingw32", "cygwin32"]

35isWindows = os `elem` ["win32", "mingw32", "cygwin32"]