From 786253c4ded699ec5217b3f06a84a7d12b324c76 Mon Sep 17 00:00:00 2001
From: Jeffrey Clark <h0tw1r3@users.noreply.github.com>
Date: Mon, 4 Dec 2023 10:59:37 -0600
Subject: [PATCH] (PA-5550) add debian 12 x86_64 platform

---
 configs/platforms/debian-12-amd64.rb | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 configs/platforms/debian-12-amd64.rb

diff --git a/configs/platforms/debian-12-amd64.rb b/configs/platforms/debian-12-amd64.rb
new file mode 100644
index 000000000..f0ed30db4
--- /dev/null
+++ b/configs/platforms/debian-12-amd64.rb
@@ -0,0 +1,21 @@
+platform "debian-12-amd64" do |plat|
+  plat.inherit_from_default
+  packages = [
+    'build-essential',
+    'cmake',
+    'debhelper',
+    'devscripts',
+    'fakeroot',
+    'libbz2-dev',
+    'libreadline-dev',
+    'libselinux1-dev',
+    'make',
+    'pkg-config',
+    '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(' ')}"
+end