eMoflon/emoflon-ibex-eclipse-build
1
0
Fork 0
mirror of https://github.com/eMoflon/emoflon-ibex-eclipse-build.git synced 2025-04-20 07:04:32 +00:00
Code Issues Projects Releases Packages Wiki Activity

Renames this repo to include "IBeX"

Browse source
This commit is contained in:
Maximilian Kratz 2022-11-02 13:55:10 +01:00
parent cece84307c
commit 2631ce0b2c
3 changed files with 9 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

12
README.md
View file

@ -1,8 +1,8 @@
# emoflon-eclipse-build
# eMoflon::IBeX Eclipse Build
[![Build Eclipse eMoflon](https://github.com/eMoflon/emoflon-eclipse-build/actions/workflows/ci.yml/badge.svg?branch=main&event=push)](https://github.com/eMoflon/emoflon-eclipse-build/actions/workflows/ci.yml)
[![Build Eclipse eMoflon::IBeX](https://github.com/eMoflon/emoflon-ibex-eclipse-build/actions/workflows/ci.yml/badge.svg?branch=main&event=push)](https://github.com/eMoflon/emoflon-ibex-eclipse-build/actions/workflows/ci.yml)
This repository is used to automatically build an Eclipse [eMoflon](https://github.com/eMoflon/emoflon-ibex) environment.
This repository is used to automatically build an Eclipse [eMoflon::IBeX](https://github.com/eMoflon/emoflon-ibex) environment.
| Name | OS | eMoflon installed | Dark theme installed | Splash image | Pattern matcher | Additional packages |
|--------------------------|---------|--------------------|----------------------|--------------------|-----------------|---------------------|
@ -19,7 +19,7 @@ This repository is used to automatically build an Eclipse [eMoflon](https://gith
| Eclipse eMoflon dev HiPE | macOS | | :heavy_check_mark: | :heavy_check_mark: | *) | :heavy_check_mark: |
*) Democles will be installed manually via the [emoflon-dev-workspace](https://github.com/eMoflon/emoflon-ibex#how-to-develop).
Furthermore, all pattern matcher integrations for eMoflon (HiPE and Democles) will be installed manually via the [emoflon-dev-workspace](https://github.com/eMoflon/emoflon-ibex#how-to-develop).
Furthermore, all pattern matcher integrations for eMoflon::IBeX (HiPE and Democles) will be installed manually via the [emoflon-ibex-dev-workspace](https://github.com/eMoflon/emoflon-ibex#how-to-develop).
**Additional packages** are installed for every non-CI build.
Currently, the list of additional packages includes:
@ -34,11 +34,11 @@ 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-eclipse-build/main/emoflon-update.sh | bash -s -- $FOLDER`
`$ 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](https://github.com/eMoflon/emoflon-eclipse-build/releases/latest).**
**The latest release can be found [here](https://github.com/eMoflon/emoflon-ibex-eclipse-build/releases/latest).**
Download an archive for the version you are looking for from the release page and extract it.
### Updating

2
build.sh
View file

@ -132,7 +132,7 @@ setup_emoflon_headless_local_updatesite () {
# Append local folder to path (has to be absolute and, therefore, dynamic)
if [[ ! -z ${GITHUB_WORKSPACE} ]] && [[ "$OS" = "windows" ]]; then
log "Using a Github-hosted runner on Windows."
UPDATESITES+=",file:/D:/a/emoflon-eclipse-build/emoflon-eclipse-build/tmp/emoflon-headless/"
UPDATESITES+=",file:/D:/a/emoflon-ibex-eclipse-build/emoflon-ibex-eclipse-build/tmp/emoflon-headless/"
elif [[ "$OS" = "linux" ]]; then
log "Using a runner on Linux."
UPDATESITES+=",file://$PWD/tmp/emoflon-headless/"

4
emoflon-update.sh
View file

@ -7,7 +7,7 @@
ECLIPSE_ARCHIVE=eclipse-emoflon-windows-dev # Name of the archive to download
FORCE_DOWNLOAD=0 # 1 = force download of new archive
TARGET_DIR=$1 # Target directory
API_URL="https://api.github.com/repos/eMoflon/emoflon-eclipse-build/releases/latest"
API_URL="https://api.github.com/repos/eMoflon/emoflon-ibex-eclipse-build/releases/latest"
set -e
START_PWD=$PWD
@ -39,7 +39,7 @@ if [[ ! -f "./$ECLIPSE_ARCHIVE.zip" ]] || [[ "$FORCE_DOWNLOAD" = "1" ]]; then
| grep "\"name\"\: \"v" \
| cut -d : -f 2,3 \
| tr -d \" |tr -d ,)
log "Downloading latest eMoflon Eclipse archive from Github.\nRelease:$TAG"
log "Downloading latest eMoflon::IBeX Eclipse archive from Github.\nRelease:$TAG"
curl -s $API_URL \
| grep "$ECLIPSE_ARCHIVE.*zip" \
| cut -d : -f 2,3 \