git.iko.soy/Idris-dev
on e2005e1 help sign in
Idris-dev/src/IRTS/System.hs
69 lines 1.8 kB history raw
1{-|
2Module : IRTS.System
3Description : Utilities for interacting with the System.
4Copyright :
5License : BSD3
6Maintainer : The Idris Community.
7-}
8{-# LANGUAGE CPP #-}
9module IRTS.System( getDataFileName
10 , getDataDir
11 , getTargetDir
12 , getCC
13 , getLibFlags
14 , getIdrisLibDir
15 , getIncFlags
16 , getEnvFlags
17 , version
18 ) where
20import Data.List.Split
22import Control.Applicative ((<$>))
23import Data.Maybe (fromMaybe)
24import System.FilePath ((</>), addTrailingPathSeparator)
25import System.Environment
27#ifdef FREESTANDING
28import Target_idris
29import Paths_idris (version)
30#else
31import Paths_idris
32#endif
34overrideDataDirWith :: String -> IO FilePath
35overrideDataDirWith envVar = do envValue <- lookupEnv envVar
36 maybe getDataDir return envValue
38getCC :: IO String
39getCC = fromMaybe "gcc" <$> lookupEnv "IDRIS_CC"
41getEnvFlags :: IO [String]
42getEnvFlags = maybe [] (splitOn " ") <$> lookupEnv "IDRIS_CFLAGS"
44getTargetDir :: IO String
45getTargetDir = overrideDataDirWith "TARGET"
47#if defined(freebsd_HOST_OS) || defined(dragonfly_HOST_OS)\
48 || defined(openbsd_HOST_OS) || defined(netbsd_HOST_OS)
49extraLib = ["-L/usr/local/lib"]
50extraInclude = ["-I/usr/local/include"]
51#else
52extraLib = []
53extraInclude = []
54#endif
56#ifdef IDRIS_GMP
57gmpLib = ["-lgmp"]
58#else
59gmpLib = []
60#endif
62getLibFlags = do dir <- getDataDir
63 return $ ["-L" ++ (dir </> "rts"),
64 "-lidris_rts"] ++ extraLib ++ gmpLib ++ ["-lpthread"]
66getIdrisLibDir = addTrailingPathSeparator <$> overrideDataDirWith "IDRIS_LIBRARY_PATH"
68getIncFlags = do dir <- getDataDir
69 return $ ("-I" ++ dir </> "rts") : extraInclude