{-# LANGUAGE CPP #-}
module IRTS.System( getIdrisDataFileByName
, getCC
, getLibFlags
, getIdrisDataDir
, getIdrisLibDir
, getIdrisDocDir
, getIdrisCRTSDir
, getIdrisJSRTSDir
, getIncFlags
, getEnvFlags
, version
) where
#ifdef FREESTANDING
import Paths_idris (version)
import Target_idris
#else
import Paths_idris
#endif
import BuildFlags_idris
import Data.List.Split
import Data.Maybe (fromMaybe)
import System.Environment
import System.FilePath (addTrailingPathSeparator, dropTrailingPathSeparator,
(</>))
getIdrisDataDir :: IO String
getIdrisDataDir :: IO String
getIdrisDataDir = do
Maybe String
envValue <- String -> IO (Maybe String)
lookupEnv String
"TARGET"
case Maybe String
envValue of
Maybe String
Nothing -> do
String
ddir <- IO String
getDataDir
forall (m :: * -> *) a. Monad m => a -> m a
return String
ddir
Just String
ddir -> forall (m :: * -> *) a. Monad m => a -> m a
return String
ddir
getIdrisDataFileByName :: String -> IO FilePath
getIdrisDataFileByName :: String -> IO String
getIdrisDataFileByName String
fn = do
String
dir <- IO String
getIdrisDataDir
forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ String
dir String -> String -> String
</> String
fn
overrideIdrisSubDirWith :: String
-> String
-> IO FilePath
overrideIdrisSubDirWith :: String -> String -> IO String
overrideIdrisSubDirWith String
fp String
envVar = do
Maybe String
envValue <- String -> IO (Maybe String)
lookupEnv String
envVar
case Maybe String
envValue of
Maybe String
Nothing -> do
String
ddir <- IO String
getIdrisDataDir
forall (m :: * -> *) a. Monad m => a -> m a
return (String
ddir String -> String -> String
</> String
fp)
Just String
ddir -> forall (m :: * -> *) a. Monad m => a -> m a
return String
ddir
getCC :: IO String
getCC :: IO String
getCC = forall a. a -> Maybe a -> a
fromMaybe String
cc forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> String -> IO (Maybe String)
lookupEnv String
"IDRIS_CC"
where
#ifdef mingw32_HOST_OS
cc = "gcc"
#else
cc :: String
cc = String
"cc"
#endif
getEnvFlags :: IO [String]
getEnvFlags :: IO [String]
getEnvFlags = forall b a. b -> (a -> b) -> Maybe a -> b
maybe [] (forall a. Eq a => [a] -> [a] -> [[a]]
splitOn String
" ") forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> String -> IO (Maybe String)
lookupEnv String
"IDRIS_CFLAGS"
#if defined(freebsd_HOST_OS) || defined(dragonfly_HOST_OS)\
|| defined(openbsd_HOST_OS) || defined(netbsd_HOST_OS)
extraLib = ["-L/usr/local/lib"]
extraInclude = ["-I/usr/local/include"]
#else
= []
= []
#endif
#ifdef IDRIS_GMP
gmpLib :: [String]
gmpLib = [String
"-lgmp", String
"-DIDRIS_GMP"]
#else
gmpLib = []
#endif
= forall a b. (a -> b) -> [a] -> [b]
map (String
"-L" forall a. [a] -> [a] -> [a]
++) [String]
extraLibDirs
getLibFlags :: IO [String]
getLibFlags = do String
dir <- IO String
getIdrisCRTSDir
forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ [String]
extraLibFlags
forall a. [a] -> [a] -> [a]
++ forall a. [a]
extraLib
forall a. [a] -> [a] -> [a]
++ [String
"-L" forall a. [a] -> [a] -> [a]
++ String -> String
dropTrailingPathSeparator String
dir, String
"-lidris_rts"]
forall a. [a] -> [a] -> [a]
++ [String]
gmpLib
forall a. [a] -> [a] -> [a]
++ [String
"-lpthread"]
getIdrisLibDir :: IO String
getIdrisLibDir = String -> String
addTrailingPathSeparator forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> String -> String -> IO String
overrideIdrisSubDirWith String
"libs" String
"IDRIS_LIBRARY_PATH"
getIdrisDocDir :: IO String
getIdrisDocDir = String -> String
addTrailingPathSeparator forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> String -> String -> IO String
overrideIdrisSubDirWith String
"docs" String
"IDRIS_DOC_PATH"
getIdrisJSRTSDir :: IO String
getIdrisJSRTSDir = do
String
ddir <- IO String
getIdrisDataDir
forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ String -> String
addTrailingPathSeparator (String
ddir String -> String -> String
</> String
"jsrts")
getIdrisCRTSDir :: IO String
getIdrisCRTSDir = do
String
ddir <- IO String
getIdrisDataDir
forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ String -> String
addTrailingPathSeparator (String
ddir String -> String -> String
</> String
"rts")
getIncFlags :: IO [String]
getIncFlags = do String
dir <- IO String
getIdrisCRTSDir
forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ (String
"-I" forall a. [a] -> [a] -> [a]
++ String -> String
dropTrailingPathSeparator String
dir) forall a. a -> [a] -> [a]
: forall a. [a]
extraInclude