Instantly share code, notes, and snippets.
$ sudo apt install gnat $ sudo apt install gprbuild
$ gnatmake <filename.adb>