Compiler settings

We use gnatmake 10.5.0 to compile your program with the following command:

$ gnatmake -g -O2 -o {executable} {mainfile}

• {mainfile} is the entrypoint file (you can specify which file this is when submitting).
• {executable} is the compiled executable.

File Extensions

Files with any of the following file extensions will be used: .adb, .ads

Additional information

Additional language-specific advice and information for many languages is available in the knowledge base