IRTS.System

Documentation

getDataFileName :: FilePath -> IO FilePath

getDataDir :: IO FilePath

getTargetDir :: IO String

getCC :: IO String

getLibFlags :: IO [[Char]]

getIdrisLibDir :: IO FilePath

getIncFlags :: IO [[Char]]

getEnvFlags :: IO [String]

getMvn :: IO String

getExecutablePom :: IO FilePath

version :: Version