Eiffel Executable Name |

gedoc can be used to figure out the name of the executable to be compiled using a given ECF file.

## 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