Compiler settings

We usegnatmake 13.3.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 theknowledge base