Skip to content

Commit e1ce68b

Browse files
maxkratzmaxkratz
authored
Merge pull request #34 from maxkratz/feature/version-wo-hipe
Adds version without HiPE installed: dev-hipe
2 parents 1db12e2 + aad87b0 commit e1ce68b

File tree

3 files changed

+80
-9
lines changed

3 files changed

+80
-9
lines changed

‎.github/workflows/ci.yml

+60-1
Original file line numberDiff line numberDiff line change
@@ -108,6 +108,27 @@ jobs:
108108
name: eclipse-emoflon-linux-dev-ci
109109
path: eclipse-emoflon-linux-dev-ci.zip
110110

111+
# Build Eclipse eMoflon Linux dev HiPE
112+
build-linux-dev-hipe:
113+
needs: [create-splash-image]
114+
runs-on: [ubuntu-20.04]
115+
steps:
116+
- name: Start message
117+
run: echo "Started CI build (Eclipse eMoflon Linux dev HiPE)."
118+
- name: Check out repository code
119+
uses: actions/checkout@v2
120+
- name: Download splash image
121+
uses: actions/download-artifact@v2
122+
with:
123+
name: splash.bmp
124+
- name: Run build script
125+
run: chmod +x build.sh && ./build.sh -m hipedev -o linux
126+
- name: Upload artifact
127+
uses: actions/upload-artifact@v2
128+
with:
129+
name: eclipse-emoflon-linux-dev-hipe
130+
path: eclipse-emoflon-linux-dev-hipe.zip
131+
111132
# Build Eclipse eMoflon Windows user
112133
build-windows-user:
113134
needs: [create-splash-image]
@@ -172,9 +193,41 @@ jobs:
172193
name: eclipse-emoflon-windows-dev
173194
path: eclipse-emoflon-windows-dev.zip
174195

196+
# Build Eclipse eMoflon Windows dev HiPE
197+
build-windows-dev-hipe:
198+
needs: [create-splash-image]
199+
runs-on: [windows-2022]
200+
steps:
201+
- name: Start message
202+
run: echo "Started CI build (Eclipse eMoflon Windows dev HiPE)."
203+
- name: Install dependencies
204+
run: |
205+
choco install wget curl unzip zip --no-progress
206+
- name: Install correct Java version
207+
uses: actions/setup-java@v2
208+
with:
209+
distribution: 'adopt'
210+
java-version: '16'
211+
- name: Fix Git line endings
212+
run: git config --global core.autocrlf input
213+
- name: Check out repository code
214+
uses: actions/checkout@v2
215+
- name: Download splash image
216+
uses: actions/download-artifact@v2
217+
with:
218+
name: splash.bmp
219+
- name: Run build script
220+
run: |
221+
bash ./build.sh -m hipedev -o windows
222+
- name: Upload artifact
223+
uses: actions/upload-artifact@v2
224+
with:
225+
name: eclipse-emoflon-windows-dev-hipe
226+
path: eclipse-emoflon-windows-dev-hipe.zip
227+
175228
# Create a release if running on tag
176229
create-release:
177-
needs: [build-linux-user, build-linux-dev, build-linux-user-ci, build-linux-dev-ci, build-windows-user, build-windows-dev]
230+
needs: [build-linux-user, build-linux-dev, build-linux-user-ci, build-linux-dev-ci, build-linux-dev-hipe, build-windows-user, build-windows-dev, build-windows-dev-hipe]
178231
runs-on: [ubuntu-20.04]
179232
# Only run on tags
180233
if: github.event_name == 'push' && contains(github.ref, 'refs/tags/')
@@ -199,3 +252,9 @@ jobs:
199252
files: |
200253
eclipse-emoflon-windows-user/eclipse-emoflon-windows-user.zip
201254
eclipse-emoflon-windows-dev/eclipse-emoflon-windows-dev.zip
255+
- name: Release eclipse-emoflon-dev-hipe
256+
uses: softprops/action-gh-release@v1
257+
with:
258+
files: |
259+
eclipse-emoflon-linux-dev-hipe/eclipse-emoflon-linux-dev-hipe.zip
260+
eclipse-emoflon-windows-dev-hipe/eclipse-emoflon-windows-dev-hipe.zip

‎README.md

+10-8
Original file line numberDiff line numberDiff line change
@@ -4,14 +4,16 @@
44

55
This repository is used to automatically build an Eclipse [eMoflon](https://github.com/eMoflon/emoflon-ibex) environment.
66

7-
| Name | OS | eMoflon installed | Dark theme installed | Splash image | Pattern matcher |
8-
|-------------------------|---------|--------------------|----------------------|--------------------|-----------------|
9-
| Eclipse eMoflon user | Linux | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | HiPE |
10-
| Eclipse eMoflon dev | Linux | | :heavy_check_mark: | :heavy_check_mark: | HiPE, *) |
11-
| Eclipse eMoflon user CI | Linux | :heavy_check_mark: | | | HiPE |
12-
| Eclipse eMoflon dev CI | Linux | | | | HiPE, *) |
13-
| Eclipse eMoflon user | Windows | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | HiPE |
14-
| Eclipse eMoflon dev | Windows | | :heavy_check_mark: | :heavy_check_mark: | HiPE, *) |
7+
| Name | OS | eMoflon installed | Dark theme installed | Splash image | Pattern matcher |
8+
|--------------------------|---------|--------------------|----------------------|--------------------|-----------------|
9+
| Eclipse eMoflon user | Linux | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | HiPE |
10+
| Eclipse eMoflon dev | Linux | | :heavy_check_mark: | :heavy_check_mark: | HiPE, *) |
11+
| Eclipse eMoflon user CI | Linux | :heavy_check_mark: | | | HiPE |
12+
| Eclipse eMoflon dev CI | Linux | | | | HiPE, *) |
13+
| Eclipse eMoflon dev HiPE | Linux | | :heavy_check_mark: | :heavy_check_mark: | *) |
14+
| Eclipse eMoflon user | Windows | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | HiPE |
15+
| Eclipse eMoflon dev | Windows | | :heavy_check_mark: | :heavy_check_mark: | HiPE, *) |
16+
| Eclipse eMoflon dev HiPE | Windows | | :heavy_check_mark: | :heavy_check_mark: | *) |
1517

1618
*) Democles will be installed manually via the [emoflon-dev-workspace](https://github.com/eMoflon/emoflon-ibex#how-to-develop).
1719
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).

‎build.sh

+10
Original file line numberDiff line numberDiff line change
@@ -143,6 +143,10 @@ if [[ "$MODE" = "user" ]]; then
143143
elif [[ "$MODE" = "dev" ]]; then
144144
INSTALL_EMOFLON=0
145145
OUTPUT_FILE="$OUTPUT_FILE_PREFIX-dev.zip"
146+
elif [[ "$MODE" = "hipedev" ]]; then
147+
INSTALL_EMOFLON=0
148+
SKIP_HIPE=1
149+
OUTPUT_FILE="$OUTPUT_FILE_PREFIX-dev-hipe.zip"
146150
else
147151
log "Mode argument invalid."; exit 1 ;
148152
fi
@@ -174,6 +178,12 @@ for p in ${ORDER[@]}; do
174178
log "Skipping plug-in: $p."
175179
continue
176180
fi
181+
182+
# Check if HiPE must be skipped (for hipe-dev builds).
183+
if [[ "$p" = "hipe" ]] && [[ $SKIP_HIPE -eq 1 ]]; then
184+
log "Skipping plug-in: $p."
185+
continue
186+
fi
177187
log "Installing plug-in: $p."
178188
install_packages "$UPDATESITES" "./packages/$p-packages.list"
179189
done

0 commit comments

Comments
 (0)