Liberty-Eiffel-Befehle: Der GNU-Eiffel-Compiler se

Liberty Eiffel ist der freie GNU-Eiffel-Compiler und Nachfolger von SmartEiffel. Der Compiler übersetzt Eiffel-Quelltext nach C (ANSI C) — die erzeugten Programme laufen damit auf nahezu jeder Plattform, für die ein C-Compiler existiert. Der Name Liberty geht auf die Freiheitsstatue zurück, deren Tragwerk von Gustave Eiffel konstruiert wurde.

Der Compiler se

Das Kommandozeilen-Werkzeug heißt se (aus der SmartEiffel-Zeit übernommen). Es kompiliert Eiffel-Dateien, übersetzt nach C und erzeugt daraus ein ausführbares Programm.

se -o hello hello.e    # kompilieren und ausführbare Datei hello erzeugen
se -c hello.e          # nur nach C übersetzen, kein Linken
se -boost -o app app.e # optimierte Variante bauen

Gegenüber SmartEiffel will Liberty dessen Strenge behalten, ohne starr zu sein — die Fortsetzung wird auf GitHub als „SmartEiffel down from its ivory tower“ beschrieben. Die Installation erfolgt über das Skript ./install.sh, danach sind die se-Werkzeuge über die Kommandozeile nutzbar.

Verwandte Grundlagen: Eiffel-Befehle, Gobo-Eiffel-Befehle, EiffelStudio-Befehle.