Sorry i didn't see notification of your reply. Here is tool chain from ada they have IDE also if you want

https://www.adacore.com/community