Use glcr.b-data.ch/ghc/ghc-musl for static build

.github/workflows/linux-static-binary.yaml

@@ -8,11 +8,14 @@ on:
         required: true
         default: "main"
 
+env:
+  STACK_VERSION: 2.22.1
+
 jobs:
   build:
     name: Build static binary
     runs-on: ubuntu-latest
-    container: ghcr.io/paulcadman/ghc-alpine:9.2.7
+    container: glcr.b-data.ch/ghc/ghc-musl:9.4.5
     steps:
       - name: checkout code
         uses: actions/checkout@v3
@@ -28,14 +31,23 @@ jobs:
         run: echo "$HOME/.local/bin" >> $GITHUB_PATH
         shell: bash
 
+      - name: install stack
+        run: |
+          curl https://github.com/commercialhaskell/stack/releases/download/v$STACK_VERSION/stack-$STACK_VERSION-linux-x86_64-static.tar.gz -OL
+          tar xf stack-STACK_VERSION-linux-x86_64-static.tar.gz
+          cp stack-STACK_VERSION-linux-x86_64-static/stack /usr/local/bin
+
       - name: Stack permissions bug workaround
         run: "chown -R $(id -un):$(id -gn) ~"
 
+      - name: Install clang14
+        run: apk add --update clang14
+
       - name: Runtime build
-        run: make runtime
+        run: make runtime LIBTOOL=llvm14-ar
 
       - name: build Juvix
-        run: stack install --allow-different-user --system-ghc --ghc-options='-split-sections -optl-static'
+        run: stack install --allow-different-user --system-ghc --ghc-options='-split-sections' --flag juvix:static
 
       - run: echo "HOME=$HOME" >> $GITHUB_ENV
         shell: bash