new

platforms_new.json

@@ -0,0 +1,36 @@
+{
+  "install_instructions": {
+	  "debian_old": [
+        "wget -qO - https://ppa.${domain}/SHS.gpg | sudo apt-key add -",
+        "echo \"deb https://ppa.${domain}/ ${codename} main\" | sudo tee /etc/apt/sources.list.d/SHS.list"
+      ],
+	  "debian_new":[
+        "sudo apt-get install -y ca-certificates curl gpg",
+        "sudo install -m 0755 -d /etc/apt/keyrings",
+        "curl -fsSL https://ppa.${domain}/SHS.gpg | sudo gpg --dearmor -o /etc/apt/keyrings/SHS.gpg",
+        "echo \"deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/SHS.gpg] https://ppa.${domain} ${codename} main\" | sudo tee /etc/apt/sources.list.d/SHS.list"
+      ]
+  },
+  "platforms": {
+    "Debian 12 arm64": {
+      "enabled": true,
+      "ondemand": false,
+      "codename": "bookworm",
+	  "docker": {
+		  "directory": "linux_cross",
+		  "image_basename": "debian12_arm64",
+		  "build_options": {
+			"image_from": "debian:bookworm-slim",
+			"image_prepare_script": "install_apt.sh",
+			"arch": "arm64",
+			"toolchain": "g++-aarch64-linux-gnu",
+			"triplet": "aarch64-linux-gnu"
+		  }
+	  },
+      "cmake_toolchain": "/soft/toolchain.cmake",
+	  "ppa": {
+		  "filters": ["debian12"],
+		  "install_instructions": "debian"
+	  }
+    },
+}