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]]

getMvn :: IO String

getExecutablePom :: IO FilePath

version :: Version