Name of executable from an ECF file

Here is how to get the name of the executable to be compiled using the ECF file project.ecf:

	gedoc --format=executable_name project.ecf

This will display to the standard output (console window) the executable name, with no path nor file extension. For example hello_world instead of path/to/hello_world.exe. It is also possible to select the ECF target when the ECF file describes several Eiffel systems:

	gedoc --format=executable_name --target=foo project.ecf

The command will exit with a non-zero exit code if it was not possible to find the executable name, for example if the ECF file has no target or the target specified does not exist.

The command-line option --no-benchmark can be used to avoid displaying benchmark information.

	gedoc --format=executable_name --no-benchmark project.ecf

Name of executable from an Eiffel file

With the Gobo Eiffel compiler, it is also possible to compile an Eiffel file without having to write an ECF file:

	gec hello_world.e

In that case, it is also possible to get the name of the executable which will be based on the name of the Eiffel class found in this file:

	gedoc --format=executable_name hello_world.e