CI: Use build_locally.sh[F

Author: jschueller

.ci_support/run_docker_linux.sh

@@ -3,13 +3,13 @@
 set -xe
 
 cd /tmp
-mkdir build && cd build
 cmake -DCMAKE_INSTALL_PREFIX=${HOME}/.local \
       -DCMAKE_UNITY_BUILD=ON \
       -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wpedantic -Wshadow -Werror -D_GLIBCXX_ASSERTIONS --coverage" \
       -DSWIG_COMPILE_FLAGS="-O1 -Wno-unused-parameter" \
       -DUSE_SPHINX=ON -DSPHINX_FLAGS="-W -T -j4" \
-      /io
+      -B build /io
+cd build
 make install
 make tests
 ctest --output-on-failure --timeout 100 ${MAKEFLAGS}
@@ -20,10 +20,9 @@ lcov --capture --directory . --output-file coverage.info --include "*.cxx"
 genhtml --output-directory coverage coverage.info
 cp -v coverage.info coverage
 
-uid=$1
-gid=$2
-if test -n "${uid}" -a -n "${gid}"
+UID_GID=$1
+if test -n "${UID_GID}"
 then
+  sudo chown -R ${uid}:${gid} ~/.local/share/doc/*/html
   sudo cp -r ~/.local/share/doc/*/html /io
-  sudo chown -R ${uid}:${gid} /io/html
 fi

.github/workflows/build.yml

@@ -6,12 +6,12 @@ on:
 jobs:
   linux:
     runs-on: ubuntu-latest
+    env:
+      MAKEFLAGS: -j4
     steps:
       - uses: actions/checkout@v4
       - name: Build
-        run: |
-          docker pull openturns/archlinux-module
-          docker run -e MAKEFLAGS='-j4' -v `pwd`:/io openturns/archlinux-module /io/.ci_support/run_docker_linux.sh `id -u` `id -g`
+        run: ./utils/build_locally.sh linux
       - name: Upload
         if: ${{ github.ref == 'refs/heads/master' }}
         run: |
@@ -29,9 +29,9 @@ jobs:
 
   mingw:
     runs-on: ubuntu-latest
+    env:
+      MAKEFLAGS: -j4
     steps:
       - uses: actions/checkout@v4
       - name: Build
-        run: |
-          docker pull openturns/archlinux-module-mingw
-          docker run -e MAKEFLAGS='-j4' -v `pwd`:/io openturns/archlinux-module-mingw /io/.ci_support/run_docker_mingw.sh
+        run: ./utils/build_locally.sh mingw

utils/build_locally.sh

@@ -0,0 +1,24 @@
+#!/bin/bash
+
+if test "$#" -lt 1
+then
+  echo -e "1. linux\n2. mingw\n\n> "
+  read choice
+else
+  choice="$1"
+fi
+
+case $choice in
+  "1" | "linux")
+    docker pull openturns/archlinux-module
+    docker run --rm -e MAKEFLAGS -e OPENTURNS_NUM_THREADS=2 -v `pwd`:/io openturns/archlinux-module /io/.ci_support/run_docker_linux.sh `id -u`:`id -g`
+    ;;
+  "2" | "mingw")
+    docker pull openturns/archlinux-module-mingw
+    docker run --rm -e MAKEFLAGS -e OPENTURNS_NUM_THREADS=2 -v `pwd`:/io openturns/archlinux-module-mingw /io/.ci_support/run_docker_mingw.sh
+    ;;
+  *)
+    echo "sorry?"
+    exit 1
+    ;;
+esac