Do you mean using EiffelStudio in GUI mode or in command-line mode?