IRTS.System

getDataFileName

getDataDir

getTargetDir

getCC

getLibFlags

getIdrisLibDir

getIncFlags

getMvn

getExecutablePom

version