IRTS.System

getDataFileName

getDataDir

getTargetDir

getCC

getLibFlags

getIdrisLibDir

getIncFlags

getEnvFlags

version