On Linux (and most other Unix-like systems) installation of Liberty from source is simple:
Check that the following Pre-requisites are available on your system:
- GCC compiler
- GCC-XML extension
- Boehm-Demers-Weiser garbage collector dev-packages
On debian-like systems you may install them with:
sudo apt-get install git build-essential gccxml libgc-dev
On Fedora you'll need gc-devel, rather than libgc-dev, gccxml and of course the basic packages for compiling like gcc, git etc.
Now clone the repository:
git clone git://git.sv.gnu.org/liberty-eiffel.git
Change into the directory you created by this:
This will create a default liberty configuration in ~/.config/liberty-eiffel/, bootstrap the compiler and compile all the tools. Afterwards you just need to add <LibertyHome>/target/bin to your path, e. g. in .bashrc:
PATH=$PATH:~/liberty-eiffel/target/bin export PATH
Please note that SmartEiffel should not be already installed on your system. Particularily, any /etc/serc file will prevent you from installing Liberty correctly. Now you can call se as interface for all tools. For examples go to
and compile with
se compile hello_world.e -o hello_world
your first LibertyEiffel program.
After this great success, play with the language, tools and libraries. Develop cool applications and for any question, suggestion or complaint get in touch with us. We are also happy to receive pull requests and provide accounts to this wiki if you want to contribute code or documentation. Be welcome to get involved.