Symlink (or use) `dune-ctest` when installing (or building) `dune-common`

base-common/duneci-install-module

@@ -44,7 +44,12 @@ module="${repo##*/}"; module="${module%.git}"
 shift
 
 if [[ "${module}" = dune-common ]]; then
-    ln -sf /duneci/modules/dune-common/bin/dunecontrol /duneci/bin
+    for f in dunecontrol dune-ctest; do
+        src=/duneci/modules/dune-common/bin/${f}
+        if [[ -x ${src} ]]; then
+            ln -sf ${src} /duneci/bin/
+        fi
+    done
 fi
 
 cd /duneci/modules

base-common/duneci-standard-test

@@ -12,8 +12,13 @@ if [[ -x bin/dunecontrol ]]; then
   DUNECONTROL=bin/dunecontrol
 fi
 
+DUNE_CTEST=duneci-ctest
+if [[ -x bin/dune-ctest ]]; then
+  DUNE_CTEST=../bin/dune-ctest
+fi
+
 set -x
 ${DUNECONTROL} --current "${@}" all
 ${DUNECONTROL} --current make build_tests
 cd build-cmake
-dune-ctest
+${DUNE_CTEST}

dune-git/Dockerfile

@@ -23,3 +23,4 @@ RUN ln -s /duneci/modules/dune-common/bin/dunecontrol /usr/local/bin/
 
 USER duneci
 WORKDIR /duneci
+RUN ln -sf /duneci/modules/dune-common/bin/dune-ctest /duneci/bin/