lifemaps/qt6-migration-pipeline
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ci: mount repo ./externals (fallback ./external) to /repo/external so preinstalled RTI/ArcGIS are available in container

Browse Source
This commit is contained in:
Copilot authored and Torsten Wierschin committed 2026-07-20 18:36:02 +02:00
1 parent d93eba3766
commit 4c34b5c1eb
1 file changed
+9
Download Patch File Download Diff File Expand all files Collapse all files
app/run_docker.sh
+9
View File
@@ -135,6 +135,15 @@ if [[ -n "$GIT_REPO_DIR" ]]; then
DOCKER_ARGS+=( -v "$GIT_REPO_DIR/src:/src" ) DOCKER_ARGS+=( -v "$GIT_REPO_DIR/src:/src" )
fi 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 if [[ -z "$WORKDIR_IN_CONTAINER" ]]; then
WORKDIR_IN_CONTAINER="/repo" WORKDIR_IN_CONTAINER="/repo"
fi fi