Installing EiffelStudio on Ubuntu

by Louis M (modified: 2013 Oct 05)

The installation of EiffelStudio on Linux Ubuntu is quite simple. Open a terminal and type the following command lines:

sudo add-apt-repository ppa:eiffelstudio-team/ppa sudo apt-get update sudo apt-get install eiffelstudio

  • paul morgan (10 years ago 7/10/2013)

    EiffelStudio on Fedora 19

    I was inspired by this post to create a Docker container with EiffelStudio and a Fedora 19 environment. It's available at for anybody who wants to experiment safely with Eiffel in an RPM-based environment.

    • Manu (10 years ago 8/10/2013)

      That sounds great. Do you mean creating a small article called "Installing EiffelStudio on Fedora" that gives the simple instructions on how to do that on this site?

      Also we are able to generate RPM packages as well.The RPM and the deb package are using the Unix layout of EiffelStudio which means that there is no need to define ISE_EIFFEL or ISE_PLATFORM to use it. Is your resulting work following this as well?

      Thanks, Manu

  • Bernd Schoeller (10 years ago 12/10/2013)


    This is highly appreciated. Thanks for the effort!

  • Thomas Beale (10 years ago 24/11/2013)

    More information would be good...

    [my machine: Dell running Ubuntu 12.04 / Unity]

    The install works, at least to an extent. Binaries end up in /usr/bin; the libraries are in /lusr/lib/eiffelstudio-7.3; various tools etc are in /usr/share/eiffelstudio-7.3.

    If I do: estudio & I get the following complaint: $ EiffelStudio: the path $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin points to a non-existing directory!

    I manually reset $ISE_EIFFEL to /usr/lib/eiffelstudio-7.3 since that's where the libraries are. This doesn't help. I can't find any directory path that matches the old style path quoted above in this error message.

    Has anyone made this installation actually function?

    thanks in advance.

    • Louis M (10 years ago 28/11/2013)

      Environment variable

      I know you find your solution on the mailing list, but I will answer for the record.

      When you are using the PPA installation, you cannot have any ISE environment variable setted. So to run your EiffelStudio, execute the following in a terminal:

      bash unset ISE_EIFFEL unset ISE_PLATFORM estudio

      If that work, then you have a setted ISE_EIFFEL or ISE_PLATFORM environment variable. You must find where it is set and remove it.

      Louis M

  • Jocelyn-Fiat (10 years ago 26/11/2013)

    Side note for Ubuntu precise

    On Ubuntu precise, to have `add-apt-repository', you need to install "python-software-properties"

    sudo apt-get install python-software-properties

  • Louis M (10 years ago 28/11/2013)


    Just to let every body know that EiffelStudio 13.11 is now on the PPA. Please note that I did not successfully create a proper update to the EiffelStudio7.3 package. Sorry about that. I still have things to learn about Debian packaging. So if you already have EiffelStudio7.3 installed from the PPA, you should uninstall it before installing the 13.11. To do so, use the following command:

    sudo apt-get purge eiffelstudio sudo apt-get update sudo apt-get install eiffelstudio

    Good day,

    Louis M