git.iko.soy/Idris-dev
on da61891 help sign in
Idris-dev/src/IRTS/System.hs
56 lines 1.5 kB history raw
1{-# LANGUAGE CPP #-}
2module IRTS.System(getDataFileName, getDataDir, getTargetDir,getCC,getLibFlags,getIdrisLibDir,
3 getIncFlags, getEnvFlags, version) where
5import Data.List.Split
7import Control.Applicative ((<$>))
8import Data.Maybe (fromMaybe)
9import System.FilePath ((</>), addTrailingPathSeparator)
10import System.Environment
12#ifdef FREESTANDING
13import Target_idris
14import Paths_idris (version)
15#else
16import Paths_idris
17#endif
19overrideDataDirWith :: String -> IO FilePath
20overrideDataDirWith envVar = do envValue <- lookupEnv envVar
21 maybe getDataDir return envValue
23getCC :: IO String
24getCC = fromMaybe "gcc" <$> lookupEnv "IDRIS_CC"
26getEnvFlags :: IO [String]
27getEnvFlags = maybe [] (splitOn " ") <$> lookupEnv "IDRIS_CFLAGS"
29getTargetDir :: IO String
30getTargetDir = overrideDataDirWith "TARGET"
32#if defined(FREEBSD) || defined(DRAGONFLY)
33extraLib = ["-L/usr/local/lib"]
34#else
35extraLib = []
36#endif
38#ifdef IDRIS_GMP
39gmpLib = ["-lgmp"]
40#else
41gmpLib = []
42#endif
44getLibFlags = do dir <- getDataDir
45 return $ ["-L" ++ (dir </> "rts"),
46 "-lidris_rts"] ++ extraLib ++ gmpLib ++ ["-lpthread"]
48getIdrisLibDir = addTrailingPathSeparator <$> overrideDataDirWith "IDRIS_LIBRARY_PATH"
50#if defined(FREEBSD) || defined(DRAGONFLY)
51extraInclude = ["-I/usr/local/include"]
52#else
53extraInclude = []
54#endif
55getIncFlags = do dir <- getDataDir
56 return $ ("-I" ++ dir </> "rts") : extraInclude