The installer over there should be everything you need: https://www.adacore.com/download