3 ms·
Ah, thanks. I guess this is also available with the command line tools? (I'm thinking for CI purposes.)
by Quekid5 5y ago
Ah, thanks. I guess this is also available with the command line tools? (I'm thinking for CI purposes.)
- pyjarrett 5y agoYes, 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.