devops: add RPM prepare and external installers; extend Dockerfile and run_docker.sh for --run-rpm

This commit is contained in:
torsten committed 2026-07-18 18:24:31 +02:00
1 parent 89f048a312
commit fe78be0afa
2 files changed
+45 -1

No files matched your search

+10
View File
@@ -88,6 +88,16 @@ RUN set -eux; \
# geographiclib already installed via apt; RTI (Proprietary) cannot be installed automatically
echo "Note: RTI Connext (RTI) is proprietary and must be installed manually into /opt/RTI if required."
# Add RPM/rpmbuild tools so make_rpm.py can run inside the image when requested
RUN set -eux; \
apt-get update; \
apt-get install -y --no-install-recommends rpm rpm-build rpmdevtools || true; \
rm -rf /var/lib/apt/lists/*
# Copy helper scripts (do not execute heavy source builds here)
COPY prepare_rpm.sh install_arcgis.sh build_geographiclib.sh install_rti.sh /app/
RUN chmod +x /app/*.sh || true
COPY . /app
CMD ["python3.11", "run_migration.py", "--help"]