From 32f8fc5dd245077b9c09e93efc8625b9f599f271 Mon Sep 17 00:00:00 2001 From: Robert Haschke Date: Wed, 28 Aug 2024 13:14:34 +0200 Subject: [PATCH] Replace mongodb dependency with manual install The package "mongodb" (version 3.6) is not released anymore - since Ubuntu Jammy. Instead, install from a proprietary package repository following the official instructions: https://www.mongodb.com/docs/manual/tutorial/install-mongodb-on-ubuntu Unfortunately, installable versions 6.0 and 7.0 of mongodb are not compatible with the still released C++ driver package "libmongoclient-dev". --- .github/workflows/industrial_ci_action.yml | 7 +++++++ package.xml | 3 +-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/.github/workflows/industrial_ci_action.yml b/.github/workflows/industrial_ci_action.yml index 3c3c793..520bf02 100644 --- a/.github/workflows/industrial_ci_action.yml +++ b/.github/workflows/industrial_ci_action.yml @@ -24,6 +24,13 @@ jobs: - {ROS_DISTRO: iron, ROS_REPO: main, CCOV_UPLOAD: false} - {ROS_DISTRO: humble, ROS_REPO: main, CCOV_UPLOAD: false} env: + BEFORE_BUILD_TARGET_WORKSPACE: | + # https://www.mongodb.com/docs/manual/tutorial/install-mongodb-on-ubuntu + ici_apt_install gnupg curl + curl -fsSL https://www.mongodb.org/static/pgp/server-7.0.asc | gpg -o /usr/share/keyrings/mongodb-server.gpg --dearmor + echo "deb [ arch=amd64 signed-by=/usr/share/keyrings/mongodb-server.gpg ] https://repo.mongodb.org/apt/ubuntu jammy/mongodb-org/7.0 multiverse" | sudo tee /etc/apt/sources.list.d/mongodb-org.list + ici_cmd ici_asroot apt-get update -qq + ici_apt_install mongodb-org UPSTREAM_WORKSPACE: warehouse_ros_mongo.repos CCACHE_DIR: /home/runner/.ccache BASEDIR: .base diff --git a/package.xml b/package.xml index 453dd52..cfd4f33 100644 --- a/package.xml +++ b/package.xml @@ -16,7 +16,6 @@ libmongoclient-dev - mongodb warehouse_ros rclcpp std_msgs @@ -27,7 +26,7 @@ launch_ros ament_cmake_gtest ament_index_cpp - + ament_lint_auto ament_cmake_copyright