Building InfraRED

TODO