GITHUB: Prepare image to be used in github actions to create a Windows release.

Author: JanWielemaker

.github/workflows/build-image.yml

@@ -0,0 +1,64 @@
+name: Build MinGW cross-compile image
+
+on:
+  push:
+    branches:
+      - master
+    paths:
+      - 'Dockerfile'
+      - 'deps/**'
+      - 'patch/**'
+      - 'entry.sh'
+      - 'functions.sh'
+      - '.gitmodules'
+      - 'pywine'
+      - '.github/workflows/build-image.yml'
+  workflow_dispatch:
+
+env:
+  IMAGE: ghcr.io/swi-prolog/swipl-mingw-build
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      packages: write
+
+    steps:
+      - name: Free disk space
+        uses: jlumbroso/free-disk-space@main
+        with:
+          tool-cache: true
+          android: true
+          dotnet: true
+          haskell: true
+          large-packages: true
+          docker-images: false
+          swap-storage: true
+
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+
+      - name: Log in to GHCR
+        uses: docker/login-action@v3
+        with:
+          registry: ghcr.io
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Set up Buildx
+        uses: docker/setup-buildx-action@v3
+
+      - name: Build and push image
+        uses: docker/build-push-action@v5
+        with:
+          context: .
+          push: true
+          tags: |
+            ${{ env.IMAGE }}:latest
+            ${{ env.IMAGE }}:sha-${{ github.sha }}
+          cache-from: type=registry,ref=${{ env.IMAGE }}:cache
+          cache-to: type=registry,ref=${{ env.IMAGE }}:cache,mode=max

entry.sh

@@ -1,7 +1,6 @@
 #!/bin/bash
 
 export SWIPL_SOURCE_DIR=/home/swipl/src/swipl-devel
-cd $SWIPL_SOURCE_DIR
 
 unset DISPLAY
 unset WAYLAND_DISPLAY
@@ -19,13 +18,31 @@ if [ ! -d "$WINEPREFIX/system.reg" ]; then
   wineboot -u
 fi
 
-if [ ! -f VERSION ]; then
-  echo "Can not find SWI-Prolog source.  Please edit SWIPLSRC in Makefile"
-  echo "and re-try"
-  exit 1
-fi
+# Clone the SWI-Prolog source tree into the container.  Used by the
+# GitHub Action so the build never touches the host filesystem and we
+# do not have to worry about UID/GID mapping or SELinux labels.
+clone_swipl() {
+  local url=$1 ref=$2
+
+  if [ -z "$url" ] || [ -z "$ref" ]; then
+    echo "--win64-from-git requires URL and REF arguments" >&2
+    exit 1
+  fi
+
+  mkdir -p "$(dirname "$SWIPL_SOURCE_DIR")"
+  rm -rf "$SWIPL_SOURCE_DIR"
+  git clone --recurse-submodules --shallow-submodules \
+            --branch "$ref" --depth 1 \
+            "$url" "$SWIPL_SOURCE_DIR"
+}
 
 if [ -z "$*" ]; then
+  if [ ! -f "$SWIPL_SOURCE_DIR/VERSION" ]; then
+    echo "Can not find SWI-Prolog source.  Please edit SWIPLSRC in Makefile"
+    echo "and re-try"
+    exit 1
+  fi
+  cd "$SWIPL_SOURCE_DIR"
   echo "Starting interactive shell for cross-compiling SWI-Prolog"
   echo "Commands:"
   echo ""
@@ -42,15 +59,23 @@ else
   while [ ! -z "$1" -a $done = false ]; do
     case "$1" in
       --win64)
+	  cd "$SWIPL_SOURCE_DIR"
 	  build_win64
 	  shift
 	  ;;
       --update)
+	  cd "$SWIPL_SOURCE_DIR"
 	  update_win64
 	  shift
 	  ;;
+      --win64-from-git)
+	  clone_swipl "$2" "$3"
+	  shift 3
+	  cd "$SWIPL_SOURCE_DIR"
+	  build_win64
+	  ;;
       *)
-	  echo "Options: --win64"
+	  echo "Options: --win64 | --update | --win64-from-git URL REF"
 	  exit 1
 	  done=true
     esac

functions.sh

@@ -1,9 +1,5 @@
 # Shell functions for common tasks
 
-# Running to many jobs concurrently under  wine   that  access  a lot of
-# files causes wineserver to generate  timeouts   which  shows  as files
-# claimed missing while they are not.
-
 jobs=$(($(nproc)/2))
 nopts="-j $jobs"
 
@@ -43,8 +39,7 @@ build_win64()
   mkdir $dir
   ( cd $dir
     config_win64 PGO
-    timeout -k 2m 1h ninja $nopts
-    timeout -k 2m 1h ninja $nopts
+    ninja $nopts
     cpack
   )
 }
@@ -56,8 +51,7 @@ update_win64()
   export JAVA_HOME="$JAVA_HOME64"
 
   ( cd $dir
-    timeout -k 1m 2m ninja $nopts
-    timeout -k 1m 2m ninja $nopts
+    ninja $nopts
   )
 }