Difference between revisions of "Tools"

From Liberty Eiffel Wiki
Jump to navigation Jump to search
m (s/LibertyEiffel/Liberty Eiffel/)
Line 12: Line 12:
=== Compiling ===
=== Compiling ===
* [[clean]]: remove the useless C files
* [[clean]]: remove temporay C files after compilation
* [[compile]]: the compiler (calls [[compile_to_c]])
* [[compile]]: the compiler (calls [[compile_to_c]])
* [[compile_to_c]]: the C compiler core
* [[compile_to_c]]: the C compiler core

Revision as of 10:53, 3 May 2022

Liberty Eiffel provides many tools besides the compiler.

All these tools use the configuration file.

The tools

Tool box

  • se: a facade to all those tools


Searching and documenting

  • eiffeldoc: generates the whole documentation of a project
  • finder: finds a class
  • pretty: makes your source file pretty
  • short: generates the interface documentation of a single class



  • install: installs the Liberty Eiffel tools

The system core

If you are interested by how the system works, either by sheer curiosity, or because you want to modify it, here are some explanations.

If you want to create a new Liberty Eiffel-oriented tool, this information is important too; also look at EXTERNAL_TOOL.