eMoflon::IBeX Eclipse Build

This repository is used to automatically build an Eclipse eMoflon::IBeX environment.

Name	OS	eMoflon installed	Dark theme installed	Splash image	Pattern matcher	Additional packages
Eclipse eMoflon user	Linux	✔️	✔️	✔️	HiPE	✔️
Eclipse eMoflon dev	Linux		✔️	✔️	HiPE, *)	✔️
Eclipse eMoflon user CI	Linux	✔️			HiPE
Eclipse eMoflon dev CI	Linux				HiPE, *)
Eclipse eMoflon dev HiPE	Linux		✔️	✔️	*)	✔️
Eclipse eMoflon user	Windows	✔️	✔️	✔️	HiPE	✔️
Eclipse eMoflon dev	Windows		✔️	✔️	HiPE, *)	✔️
Eclipse eMoflon dev HiPE	Windows		✔️	✔️	*)	✔️
Eclipse eMoflon user	macOS	✔️	✔️	✔️	HiPE	✔️
Eclipse eMoflon dev	macOS		✔️	✔️	HiPE, *)	✔️
Eclipse eMoflon dev HiPE	macOS		✔️	✔️	*)	✔️
Eclipse eMoflon user	macOS (ARM)	✔️	✔️	✔️	HiPE	✔️
Eclipse eMoflon dev	macOS (ARM)		✔️	✔️	HiPE, *)	✔️
Eclipse eMoflon dev HiPE	macOS (ARM)		✔️	✔️	*)	✔️

*) Democles will be installed manually via the emoflon-dev-workspace. Furthermore, all pattern matcher integrations for eMoflon::IBeX (HiPE and Democles) will be installed manually via the emoflon-ibex-dev-workspace.

Additional packages are installed for every non-CI build. Currently, the list of additional packages includes:

• EclEmma
• PMD
• Checkstyle
• SpotBugs

Feel free to request others, e.g., via Github issues.

Usage/Installation

Quick installation using curl and bash: $ FOLDER="$HOME/eclipse-apps/emt"; mkdir -p $FOLDER && cd $FOLDER && curl https://raw.githubusercontent.com/eMoflon/emoflon-ibex-eclipse-build/main/emoflon-update.sh | bash -s -- $FOLDER

Normal installation

The latest release can be found here. Download an archive for the version you are looking for from the release page and extract it.

Caution

The built Eclipse version for macOS needs further adjustments to execute correctly. Please follow the steps in the respective documentation if you are using macOS.

Updating

You can use the update script to update your installation. Example usage: $ ./emoflon-update.sh ~/eclipse-apps/emt

Runner requirements

Currently, all actions are run by the cloud-hosted Github runners. All required packages get installed by the CI confguration while running.

In order to run the "Github Actions" pipeline on selfhosted runners, you must ensure that you have at least one properly configured Linux, one Windows runner, and one macOS runner added to the Github project.

Required packages (at least):

• curl
• wget
• tar
• zip
• AdoptJDK 16.0.2.7-hotspot (may differ, as this is just used to boot-up Eclipse in headless mode)
• imagemagick
• fonts-liberation
• Github Actions runner
• WSL2 with, e.g., Debian as distribution (in case the runner is Windows-based)
• coreutils on macOS