Yes, a lot of GNAT studio behavior is actually written as command line tools that get called specifically so you can use them outside of the editor. The dialog

Yes, a lot of GNAT studio behavior is actually written as command line tools that get called specifically so you can use them outside of the editor. The dialogs for builds/proofs even show the exact command line that's going to be used, and updates as you configure it in the editor dialog. It's a great way to learn how the GNAT tools actually work.