Eiffel

Eiffel is an object-oriented programming language emphasizing Design by Contract (DbC), high reliability, and software reuse.

Installation

Prerequisites

Install the required C/C++ compilation tools and GTK development libraries:

sudo apt update
sudo apt install -y build-essential libgtk-3-dev libxtst-dev wget tar

Download and Extract EiffelStudio

Download the official EiffelStudio distribution archive:

wget https://ftp.eiffel.com/pub/download/23.09/Eiffel_23.09_gpl_107086-linux-x86-64.tar.bz2
sudo tar -xjf Eiffel_23.09_gpl_107086-linux-x86-64.tar.bz2 -C /usr/local/

Set Environment Variables

Configure the required environment variables in your shell environment:

export ISE_EIFFEL=/usr/local/Eiffel_23.09
export ISE_PLATFORM=linux-x86-64
export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin

Add these lines to ~/.bashrc to make the environment variables persistent.

Verification

Verify the installation by checking the Eiffel compiler:

ec -version

Writing and Compiling Code

Create a file named APPLICATION.e:

APPLICATION.e

class
    APPLICATION

create
    make

feature
    make
        do
            print ("Hello, World from Eiffel!%N")
        end
end

Compile the application using batch mode:

ec -batch APPLICATION.e

Execute the compiled application:

./EIFGENs/application/W_code/application

Official Resources

Official Website

Eiffel

On this page