You are in:
Documentation Home
Tools
EiffelStudio
EiffelStudio Reference
Compiler
Command line
Topics:
Command line interactive mode
Introduction
Command line options
Batch compilation