Skip to content

Install Etlang

On this page, you will find instructions to get a development environment for Etlang. You may either install the extensions on an existing MPS installation or download a pre-built IDE.

Run the Pre-build IDE

You need Java 11 on your machine for the IDE.

Download and install the JDK installer from Eclipse Adoptium, and choose JDK version 11.

When installing, make sure to select the option to Define JAVA_HOME.

Set JAVA_HOME variable

Otherwise, you will have to do it manually:

  1. Win+R, put SystemPropertiesAdvanced in the field and Ok,
  2. Near the bottom of the just opened windows, click Environment variables,
  3. In the system variables, set JAVA_HOME to point to your java installation, by default C:\Program Files\Eclipse Adoptium\jdk-11.xx.xx.xx-xxxx\ adapt the xx with the folder name that exists.

You should be able to do it quite easily with your favorite package manager.

On Fedora for example, use dnf:

sudo dnf install java-11-openjdk

Then check your java version with:

java --version

If it is not Java 11, you can switch your default version with:

sudo alternatives --config java

Download and run the IDE

Download Windows IDE

Then unzip the archive. The starting script is located in the bin folder. To start the IDE, run the bin\etlang.bat script, by double-clicking on it or with the terminal.

Download Linux IDE

Then extract the archive, and run the script bin/etlang.sh.

Success

You have a working development environment with Etlang support, it's time to get started!

If you have an existing MPS installation, you can add the Etlang extensions to it, as well as the dependent extensions.

Open MPS 2021.3 and go to the Plugins settings, and open the dialogue "Manage Plugin Repositories", where you can add a new repository with the following URL:

https://gitlab.uliege.be/api/v4/projects/3575/packages/generic/EtlangPlugin/0.1.0/updatePlugins.xml

Then, in the Marketplace tab, you can search for the Etlang plugin and install it.