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