Sorry if it was confusing I kind of jumped between the issues I had with various approaches. I did manage to get gnatprove through alire through just that command, it was the apt gnat that didnt have gnatprove. What I wasn't sure how to correctly do with the alire install was
cd ~/.emacs.d/elpa/ada-mode-i.j.k
./build.sh
./install.sh
Actually I didn't get that working with any of the options I tried I guess.