Merge pull request #34 from maxkratz/feature/version-wo-hipe

Adds version without HiPE installed: dev-hipe
eMoflon · Apr 28, 2022 · e1ce68b · e1ce68b
2 parents 1db12e2 + aad87b0
commit e1ce68b
Show file tree

Hide file tree

Showing 3 changed files with 80 additions and 9 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -108,6 +108,27 @@ jobs:
           name: eclipse-emoflon-linux-dev-ci
           path: eclipse-emoflon-linux-dev-ci.zip
 
+  # Build Eclipse eMoflon Linux dev HiPE
+  build-linux-dev-hipe:
+    needs: [create-splash-image]
+    runs-on: [ubuntu-20.04]
+    steps:
+      - name: Start message
+        run: echo "Started CI build (Eclipse eMoflon Linux dev HiPE)."
+      - name: Check out repository code
+        uses: actions/checkout@v2
+      - name: Download splash image
+        uses: actions/download-artifact@v2
+        with:
+          name: splash.bmp
+      - name: Run build script
+        run: chmod +x build.sh && ./build.sh -m hipedev -o linux
+      - name: Upload artifact
+        uses: actions/upload-artifact@v2
+        with:
+          name: eclipse-emoflon-linux-dev-hipe
+          path: eclipse-emoflon-linux-dev-hipe.zip
+
   # Build Eclipse eMoflon Windows user
   build-windows-user:
     needs: [create-splash-image]
@@ -172,9 +193,41 @@ jobs:
           name: eclipse-emoflon-windows-dev
           path: eclipse-emoflon-windows-dev.zip
 
+  # Build Eclipse eMoflon Windows dev HiPE
+  build-windows-dev-hipe:
+    needs: [create-splash-image]
+    runs-on: [windows-2022]
+    steps:
+      - name: Start message
+        run: echo "Started CI build (Eclipse eMoflon Windows dev HiPE)."
+      - name: Install dependencies
+        run: |
+          choco install wget curl unzip zip --no-progress
+      - name: Install correct Java version
+        uses: actions/setup-java@v2
+        with:
+          distribution: 'adopt'
+          java-version: '16'
+      - name: Fix Git line endings
+        run: git config --global core.autocrlf input
+      - name: Check out repository code
+        uses: actions/checkout@v2
+      - name: Download splash image
+        uses: actions/download-artifact@v2
+        with:
+          name: splash.bmp
+      - name: Run build script
+        run: |
+          bash ./build.sh -m hipedev -o windows
+      - name: Upload artifact
+        uses: actions/upload-artifact@v2
+        with:
+          name: eclipse-emoflon-windows-dev-hipe
+          path: eclipse-emoflon-windows-dev-hipe.zip
+
   # Create a release if running on tag
   create-release:
-    needs: [build-linux-user, build-linux-dev, build-linux-user-ci, build-linux-dev-ci, build-windows-user, build-windows-dev]
+    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]
     runs-on: [ubuntu-20.04]
     # Only run on tags
     if: github.event_name == 'push' && contains(github.ref, 'refs/tags/')
@@ -199,3 +252,9 @@ jobs:
           files: |
             eclipse-emoflon-windows-user/eclipse-emoflon-windows-user.zip
             eclipse-emoflon-windows-dev/eclipse-emoflon-windows-dev.zip
+      - name: Release eclipse-emoflon-dev-hipe
+        uses: softprops/action-gh-release@v1
+        with:
+          files: |
+            eclipse-emoflon-linux-dev-hipe/eclipse-emoflon-linux-dev-hipe.zip
+            eclipse-emoflon-windows-dev-hipe/eclipse-emoflon-windows-dev-hipe.zip
diff --git a/README.md b/README.md
@@ -4,14 +4,16 @@
 
 This repository is used to automatically build an Eclipse [eMoflon](https://github.com/eMoflon/emoflon-ibex) environment.
 
-| Name                    | OS      | eMoflon installed  | Dark theme installed | Splash image       | Pattern matcher |
-|-------------------------|---------|--------------------|----------------------|--------------------|-----------------|
-| Eclipse eMoflon user    | Linux   | :heavy_check_mark: | :heavy_check_mark:   | :heavy_check_mark: | HiPE            |
-| Eclipse eMoflon dev     | Linux   |                    | :heavy_check_mark:   | :heavy_check_mark: | HiPE, *)        |
-| Eclipse eMoflon user CI | Linux   | :heavy_check_mark: |                      |                    | HiPE            |
-| Eclipse eMoflon dev CI  | Linux   |                    |                      |                    | HiPE, *)        |
-| Eclipse eMoflon user    | Windows | :heavy_check_mark: | :heavy_check_mark:   | :heavy_check_mark: | HiPE            |
-| Eclipse eMoflon dev     | Windows |                    | :heavy_check_mark:   | :heavy_check_mark: | HiPE, *)        |
+| Name                     | OS      | eMoflon installed  | Dark theme installed | Splash image       | Pattern matcher |
+|--------------------------|---------|--------------------|----------------------|--------------------|-----------------|
+| Eclipse eMoflon user     | Linux   | :heavy_check_mark: | :heavy_check_mark:   | :heavy_check_mark: | HiPE            |
+| Eclipse eMoflon dev      | Linux   |                    | :heavy_check_mark:   | :heavy_check_mark: | HiPE, *)        |
+| Eclipse eMoflon user CI  | Linux   | :heavy_check_mark: |                      |                    | HiPE            |
+| Eclipse eMoflon dev CI   | Linux   |                    |                      |                    | HiPE, *)        |
+| Eclipse eMoflon dev HiPE | Linux   |                    | :heavy_check_mark:   | :heavy_check_mark: | *)              |
+| Eclipse eMoflon user     | Windows | :heavy_check_mark: | :heavy_check_mark:   | :heavy_check_mark: | HiPE            |
+| Eclipse eMoflon dev      | Windows |                    | :heavy_check_mark:   | :heavy_check_mark: | HiPE, *)        |
+| Eclipse eMoflon dev HiPE | Windows |                    | :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).

diff --git a/build.sh b/build.sh
@@ -143,6 +143,10 @@ if [[ "$MODE" = "user" ]]; then
 elif [[ "$MODE" = "dev" ]]; then
 	INSTALL_EMOFLON=0
 	OUTPUT_FILE="$OUTPUT_FILE_PREFIX-dev.zip"
+elif [[ "$MODE" = "hipedev" ]]; then
+	INSTALL_EMOFLON=0
+	SKIP_HIPE=1
+	OUTPUT_FILE="$OUTPUT_FILE_PREFIX-dev-hipe.zip"
 else
 	log "Mode argument invalid."; exit 1 ;
 fi
@@ -174,6 +178,12 @@ for p in ${ORDER[@]}; do
 		log "Skipping plug-in: $p."
 		continue
 	fi
+
+	# Check if HiPE must be skipped (for hipe-dev builds).
+	if [[ "$p" = "hipe" ]] && [[ $SKIP_HIPE -eq 1 ]]; then
+		log "Skipping plug-in: $p."
+		continue
+	fi
 	log "Installing plug-in: $p."
 	install_packages "$UPDATESITES" "./packages/$p-packages.list"
 done