From 13f63e404b0b008f54a2d6bf72c449405b7bfdd8 Mon Sep 17 00:00:00 2001
From: Maximilian Kratz <maximilian.kratz@es.tu-darmstadt.de>
Date: Fri, 6 Dec 2024 13:45:31 +0100
Subject: [PATCH] macOS-based runners: use gnu sed instead of bsd sed

---
 .github/workflows/ci.yml | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 5614ee6..975dfb6 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -263,7 +263,8 @@ jobs:
         run: echo "Started CI build (Eclipse eMoflon macOS user)."
       - name: Install dependencies
         run: |
-          brew install p7zip coreutils grep wget curl
+          brew install p7zip coreutils grep wget curl gsed
+          export PATH="/opt/homebrew/opt/gnu-sed/libexec/gnubin:$PATH"
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Download splash image
@@ -301,7 +302,8 @@ jobs:
         run: echo "Started CI build (Eclipse eMoflon macOS dev)."
       - name: Install dependencies
         run: |
-          brew install p7zip coreutils grep wget curl
+          brew install p7zip coreutils grep wget curl gsed
+          export PATH="/opt/homebrew/opt/gnu-sed/libexec/gnubin:$PATH"
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Download splash image
@@ -339,7 +341,8 @@ jobs:
         run: echo "Started CI build (Eclipse eMoflon macOS dev HiPE)."
       - name: Install dependencies
         run: |
-          brew install p7zip coreutils grep wget curl
+          brew install p7zip coreutils grep wget curl gsed
+          export PATH="/opt/homebrew/opt/gnu-sed/libexec/gnubin:$PATH"
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Download splash image
@@ -377,7 +380,8 @@ jobs:
         run: echo "Started CI build (Eclipse eMoflon macOS user)."
       - name: Install dependencies
         run: |
-          brew install p7zip coreutils grep wget curl
+          brew install p7zip coreutils grep wget curl gsed
+          export PATH="/opt/homebrew/opt/gnu-sed/libexec/gnubin:$PATH"
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Download splash image
@@ -415,7 +419,8 @@ jobs:
         run: echo "Started CI build (Eclipse eMoflon macOS dev)."
       - name: Install dependencies
         run: |
-          brew install p7zip coreutils grep wget curl
+          brew install p7zip coreutils grep wget curl gsed
+          export PATH="/opt/homebrew/opt/gnu-sed/libexec/gnubin:$PATH"
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Download splash image
@@ -453,7 +458,8 @@ jobs:
         run: echo "Started CI build (Eclipse eMoflon macOS dev HiPE)."
       - name: Install dependencies
         run: |
-          brew install p7zip coreutils grep wget curl
+          brew install p7zip coreutils grep wget curl gsed
+          export PATH="/opt/homebrew/opt/gnu-sed/libexec/gnubin:$PATH"
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Download splash image