1.3.9 $EXTENSION : Extension of generated binary.

This directive can appear in a program or library source file: it sets the extension for the generated binary/library. The initial dot (sometimes associated with the extension) may not be present.

Example:

{$EXTENSION 'cgi'}

will set the extension to ’cgi’.