From 7b86f61383bd25e1a0818ccbd7562b8878f4665a Mon Sep 17 00:00:00 2001 From: Eric Mittag Date: Fri, 30 Jan 2026 16:30:28 +0100 Subject: [PATCH] Add support for Debian 12 in build_oai --- cmake_targets/tools/build_helper | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/cmake_targets/tools/build_helper b/cmake_targets/tools/build_helper index eeffc9d4f1..246f43400a 100755 --- a/cmake_targets/tools/build_helper +++ b/cmake_targets/tools/build_helper @@ -107,6 +107,7 @@ check_supported_distribution() { "ubuntu22.04") return 0 ;; "ubuntu20.04") return 0 ;; "debian11") return 0 ;; + "debian12") return 0 ;; "fedora41") return 0 ;; "fedora40") return 0 ;; "rhel8.2") return 0 ;; @@ -453,7 +454,7 @@ check_install_additional_tools (){ local optional_packages="" if [[ "$OS_BASEDISTRO" == "debian" ]]; then case "$(get_distribution_release)" in - "ubuntu20.04" | "ubuntu22.04" | "debian11" ) + "ubuntu20.04" | "ubuntu22.04" | "debian11" | "debian12" ) optional_packages="python3 python3-pip python3-dev python3-scipy python3-matplotlib python3-pyroute2 universal-ctags" ;; esac @@ -496,7 +497,7 @@ check_install_oai_software() { if [[ "$OS_BASEDISTRO" == "debian" ]]; then $SUDO apt install -y software-properties-common case "$(get_distribution_release)" in - "debian11") + "debian11" | "debian12" ) specific_packages="libz-dev" ;; esac