Added .vscode folder to each of the Ravenscar examples of Microbit_V2

Author: aiunderstand

.editorconfig

@@ -0,0 +1,12 @@
+root = true
+
+[*]
+indent_style = space
+indent_size = 4
+charset = utf-8
+trim_trailing_whitespace = true
+insert_final_newline = true
+
+# GNAT seems to use 3 space indents as standard
+[*.{adb,ads}]
+indent_size = 3

.github/dependabot.yml

@@ -0,0 +1,11 @@
+version: 2
+
+updates:
+  # Git submodules
+  - package-ecosystem: gitsubmodule
+    directory: /
+    schedule:
+      interval: daily
+      time: "18:00"
+      # Use Central European Time (GMT +01:00)
+      timezone: "Europe/Oslo"

.github/workflows/ada.yml

@@ -0,0 +1,35 @@
+name: Ada (GNAT)
+'on':
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          submodules: 'true'
+
+      - name: Setup GNAT ARM Toolchain
+        run: |
+          wget -q https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-arm-elf-linux64-x86_64-14.2.0-1.tar.gz
+          tar xf gnat-arm-elf-linux64-x86_64-14.2.0-1.tar.gz
+          echo "${PWD}/gnat-arm-elf-linux64-x86_64-14.2.0-1/bin" >> $GITHUB_PATH        
+
+          wget -q https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-22.0.0-1/gprbuild-x86_64-linux-22.0.0-1.tar.gz
+          tar xf gprbuild-x86_64-linux-22.0.0-1.tar.gz
+          echo "${PWD}/gprbuild-x86_64-linux-22.0.0-1/bin" >> $GITHUB_PATH
+      
+      - name: Build
+        run: 'gprbuild -j0 -P Code/itrs.gpr Code/src/main.adb -cargs:ada -gnatef'
+      
+      - name: Upload Artifact
+        uses: actions/upload-artifact@v4
+        with:
+          name: ITRS
+          path: Code/obj/main

.github/workflows/main.yml

@@ -0,0 +1,9 @@
+{
+    "recommendations": [
+        "AdaCore.ada",
+        "EditorConfig.EditorConfig",
+        "marus25.cortex-debug",
+        "ms-vscode.cpptools",
+        "ms-vscode.vscode-serial-monitor"
+    ]
+}

examples/MicroBit_v2/ravenscar/BLE_beacon/.vscode/extensions.json

@@ -0,0 +1,17 @@
+{
+    "version": "0.2.0",
+    "configurations": [
+        {
+            "type": "cortex-debug",
+            "cwd": "${workspaceFolder}",
+            "preLaunchTask": "Build",
+            "executable": "${workspaceFolder}/Code/obj/main",
+            "name": "Debug (PyOCD)",
+            "request": "launch",
+            //"runToEntryPoint": "main", //(Uncomment if you want to break on start)
+            "showDevDebugOutput": "vscode",
+            "servertype": "pyocd",
+            "targetId": "nrf52833"
+        }
+    ]
+}

examples/MicroBit_v2/ravenscar/BLE_beacon/.vscode/launch.json

@@ -0,0 +1,3 @@
+{
+    "cortex-debug.armToolchainPrefix": "arm-eabi"
+}

examples/MicroBit_v2/ravenscar/BLE_beacon/.vscode/settings.json

@@ -0,0 +1,66 @@
+{
+	"version": "2.0.0",
+	"tasks": [
+        {
+			"type": "shell",
+			"command": "pyocd",
+			"args": [
+				"load",
+                "-t",
+                "nrf52833",
+                "--format",
+                "elf",
+				"obj/main"
+			],
+			"group": {
+                "kind": "build",
+                "isDefault": true
+            },
+			"label": "Build & Flash",
+            "dependsOn":["Build"]
+		},
+		{
+			"type": "ada",
+			"command": "gprbuild",
+			"args": [
+				"${command:ada.gprProjectArgs}",
+				"src/main.adb",
+				"-cargs:ada",
+				"-gnatef",
+                //"-largs -Wl,-Map=map.txt" used in gnatstudio, needed here?
+			],
+			"problemMatcher": [
+				"$ada"
+			],
+			"group": "build",
+			"label": "Build"
+		},
+        {
+			"type": "shell",
+			"command": "pyocd",
+			"args": [
+				"load",
+                "-t",
+                "nrf52833",
+                "--format",
+                "elf",
+				"obj/main"
+			],
+            "group": "build",
+			"label": "Flash"
+		},
+        {
+			"type": "shell",
+			"command": "pyocd",
+			"args": [
+				"erase",
+                "--mass",
+                "-t",
+                "nrf52833"
+			],
+            "group": "build",
+			"label": "Erase"
+		}
+	]
+
+}

examples/MicroBit_v2/ravenscar/BLE_beacon/.vscode/tasks.json

@@ -1,24 +1,31 @@
-with "..\..\..\..\boards\MicroBit_v2\microbit_v2_full.gpr";
+with "..//..//..//..//boards//MicroBit_v2//microbit_v2_full.gpr";
 
 project BLE_Beacon is
 
-   for Runtime ("ada") use "ravenscar-full-nrf52833";
-   for Target use "arm-eabi";
-   for Main use ("main.adb");
-   for Languages use ("Ada");
-   for Source_Dirs use ("src");
+  for Source_Dirs use ("src");
    for Object_Dir use "obj";
-   for Create_Missing_Dirs use "True";
+   for Main use ("main.adb");
 
    package Compiler is
-      for Switches ("ada") use ("-g", "-O0");
+      for Switches ("ada") use ("-gnat2022", "-gnateDPROFILING=false", "-g");
    end Compiler;
 
    package Ide is
+      for Connection_Tool use "pyocd";
       for Program_Host use ":1234";
       for Communication_Protocol use "remote";
-      for Connection_Tool use "pyocd";
    end Ide;
 
+   for Target use "arm-eabi";
+   for Runtime ("ada") use "embedded-nrf52833";
+
+   package Builder is
+      for Switches ("ada") use ("-g");
+   end Builder;
+
+  package Linker is
+      for Switches ("ada") use ("-g", "-Wl,--print-memory-usage");
+   end Linker;
+
 end BLE_Beacon;
 

examples/MicroBit_v2/ravenscar/BLE_beacon/BLE_beacon.gpr

@@ -0,0 +1,9 @@
+{
+    "recommendations": [
+        "AdaCore.ada",
+        "EditorConfig.EditorConfig",
+        "marus25.cortex-debug",
+        "ms-vscode.cpptools",
+        "ms-vscode.vscode-serial-monitor"
+    ]
+}