From c633cd0ec3c954d6182cfd02f4fa407192121804 Mon Sep 17 00:00:00 2001 From: oguzkaganozt Date: Thu, 22 Feb 2024 14:19:00 +0300 Subject: [PATCH] add geoid into prebuilt Signed-off-by: oguzkaganozt --- ansible/roles/geographiclib/tasks/main.yaml | 2 +- docker/autoware-openadk/Dockerfile | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/ansible/roles/geographiclib/tasks/main.yaml b/ansible/roles/geographiclib/tasks/main.yaml index c0c2a153eea..ce962b7720a 100644 --- a/ansible/roles/geographiclib/tasks/main.yaml +++ b/ansible/roles/geographiclib/tasks/main.yaml @@ -10,4 +10,4 @@ ansible.builtin.command: cmd: geographiclib-get-geoids egm2008-1 creates: /usr/share/GeographicLib/geoids/egm2008-1.pgm - when: prompt_download_artifacts == 'y' + diff --git a/docker/autoware-openadk/Dockerfile b/docker/autoware-openadk/Dockerfile index f2130fa2266..f966b24fb52 100644 --- a/docker/autoware-openadk/Dockerfile +++ b/docker/autoware-openadk/Dockerfile @@ -19,7 +19,6 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-ins vim \ unzip \ lsb-release \ - ninja-build \ && apt-get autoremove -y && apt-get clean -y && rm -rf /var/lib/apt/lists/* "$HOME"/.cache # Add GitHub to known hosts for private repositories