From 77de9f2759e5a3b9811d570dcb7316dddc741a67 Mon Sep 17 00:00:00 2001 From: Gitii Date: Fri, 19 Dec 2025 20:23:38 +0100 Subject: [PATCH 1/2] add debian13-armhf platform config --- configs/platforms/debian-13-armhf.rb | 36 ++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 configs/platforms/debian-13-armhf.rb diff --git a/configs/platforms/debian-13-armhf.rb b/configs/platforms/debian-13-armhf.rb new file mode 100644 index 00000000..f53f9c61 --- /dev/null +++ b/configs/platforms/debian-13-armhf.rb @@ -0,0 +1,36 @@ +platform 'debian-13-armhf' do |plat| + plat.servicedir '/lib/systemd/system' + plat.defaultdir '/etc/default' + plat.servicetype 'systemd' + plat.codename 'trixie' + + plat.install_build_dependencies_with 'DEBIAN_FRONTEND=noninteractive; apt-get install -qy --no-install-recommends ' + + packages = [ + 'build-essential', + 'make', + 'quilt', + 'pkg-config', + 'debhelper', + 'rsync', + 'fakeroot', + 'libbz2-dev', + 'libreadline-dev', + 'libselinux1-dev', + 'make', + 'pkg-config', + 'cmake', + 'gcc', + 'swig', + 'systemtap-sdt-dev', + 'zlib1g-dev' + ] + + plat.provision_with "export DEBIAN_FRONTEND=noninteractive && apt-get update -qq && apt-get install -qy --no-install-recommends #{packages.join(' ')}" + + # Not currently used + plat.docker_image 'debian:13' + plat.docker_registry 'docker.io' + plat.docker_arch 'linux/arm/v7' + +end From d288bcb62d9f9d173b851aac634dadc9e0be7515 Mon Sep 17 00:00:00 2001 From: Gitii Date: Fri, 19 Dec 2025 21:11:09 +0100 Subject: [PATCH 2/2] align with other platform configs --- configs/platforms/debian-13-armhf.rb | 27 ++++++--------------------- 1 file changed, 6 insertions(+), 21 deletions(-) diff --git a/configs/platforms/debian-13-armhf.rb b/configs/platforms/debian-13-armhf.rb index f53f9c61..7dad1e61 100644 --- a/configs/platforms/debian-13-armhf.rb +++ b/configs/platforms/debian-13-armhf.rb @@ -1,36 +1,21 @@ platform 'debian-13-armhf' do |plat| - plat.servicedir '/lib/systemd/system' - plat.defaultdir '/etc/default' - plat.servicetype 'systemd' - plat.codename 'trixie' - - plat.install_build_dependencies_with 'DEBIAN_FRONTEND=noninteractive; apt-get install -qy --no-install-recommends ' - + plat.inherit_from_default packages = [ 'build-essential', - 'make', - 'quilt', - 'pkg-config', + 'cmake', 'debhelper', - 'rsync', + 'devscripts', 'fakeroot', 'libbz2-dev', 'libreadline-dev', 'libselinux1-dev', 'make', 'pkg-config', - 'cmake', - 'gcc', + 'quilt', + 'rsync', 'swig', 'systemtap-sdt-dev', 'zlib1g-dev' ] - - plat.provision_with "export DEBIAN_FRONTEND=noninteractive && apt-get update -qq && apt-get install -qy --no-install-recommends #{packages.join(' ')}" - - # Not currently used - plat.docker_image 'debian:13' - plat.docker_registry 'docker.io' - plat.docker_arch 'linux/arm/v7' - + plat.provision_with "export DEBIAN_FRONTEND=noninteractive; apt-get update -qq; apt-get install -qy --no-install-recommends #{packages.join(' ')}" end