First, the load button allows to specify the input LE file. The Main module button specifies the name of the module to be compiled. By default, the file name is proposed. Second, output file name and directory can be set. If there are not supplied, the default is the main module name as output name and the current directory as output directory. Third, the location of the lec code of the called modules (with a run command) must be supplied. Otherwise, the compiler will be search a file called-module-name.lec in the current directory. Then, some flags must be switched on to generate specific output code:

• simul : when turned on, the input code for the simulation gui is generated in a "/tmp" directory and the simulation tool is called.
• saving lec : to save the compilation code. The output file and directory names agreement are followed.
• debug : a debug format is printed in a new window.
• smv : this flag is usefull for smv code generation. A .smv file is generated (always with the output file and directory names agreement) in order to be loaded in NuSMV model checking tool.