From 4c34b5c1eb13d59d1ea90bba59afe92de0da3633 Mon Sep 17 00:00:00 2001
From: Copilot <copilot@example.com>
Date: Mon, 20 Jul 2026 18:36:02 +0200
Subject: [PATCH] ci: mount repo ./externals (fallback ./external) to
 /repo/external so preinstalled RTI/ArcGIS are available in container

---
 app/run_docker.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/app/run_docker.sh b/app/run_docker.sh
index 547be6e3d..cd5364739 100755
--- a/app/run_docker.sh
+++ b/app/run_docker.sh
@@ -135,6 +135,15 @@ if [[ -n "$GIT_REPO_DIR" ]]; then
     DOCKER_ARGS+=( -v "$GIT_REPO_DIR/src:/src" )
   fi
 
+  # Prefer ./externals (plural) as requested; fall back to ./external
+  if [[ -d "$GIT_REPO_DIR/externals" ]]; then
+    DOCKER_ARGS+=( -v "$GIT_REPO_DIR/externals:/repo/external" )
+    echo "Mounting repo externals from $GIT_REPO_DIR/externals -> /repo/external"
+  elif [[ -d "$GIT_REPO_DIR/external" ]]; then
+    DOCKER_ARGS+=( -v "$GIT_REPO_DIR/external:/repo/external" )
+    echo "Mounting repo external from $GIT_REPO_DIR/external -> /repo/external"
+  fi
+
   if [[ -z "$WORKDIR_IN_CONTAINER" ]]; then
     WORKDIR_IN_CONTAINER="/repo"
   fi