IRTS.System

getDataFileName

getDataDir

getTargetDir

getCC

getLibFlags

getIdrisLibDir

getIncFlags

getEnvFlags

getMvn

getExecutablePom

version