Skip to content

CI and build scripts for eMoflon::IBeX Eclipse installations.

License

Notifications You must be signed in to change notification settings

eMoflon/emoflon-ibex-eclipse-build

Repository files navigation

eMoflon::IBeX Eclipse Build

Build Eclipse eMoflon::IBeX

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:

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