From 6633a2defd3d81b9e99a0fc81a09161586c23435 Mon Sep 17 00:00:00 2001
From: Sergio Martins <smartins@kde.org>
Date: Wed, 24 Feb 2021 23:02:10 +0000
Subject: [PATCH] vscode: Add a workspace file

---
 code.dev.code-workspace | 43 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 code.dev.code-workspace

diff --git a/code.dev.code-workspace b/code.dev.code-workspace
new file mode 100644
index 00000000..934210c5
--- /dev/null
+++ b/code.dev.code-workspace
@@ -0,0 +1,43 @@
+{
+  "folders": [
+    {
+      "path": "."
+    }
+  ],
+  "settings": {
+    "C_Cpp.default.compileCommands": "${workspaceFolder}/build-dev/compile_commands.json",
+    "C_Cpp.default.cStandard": "c17",
+    "files.trimTrailingWhitespace": true,
+    "editor.formatOnType": true
+  },
+  "tasks": {
+    "version": "2.0.0",
+    "tasks": [
+      {
+        "type": "shell",
+        "label": "cmake",
+        "command": "cmake",
+        "args": [
+          "--preset=dev"
+        ],
+        "options": {
+          "cwd": "${workspaceFolder}/"
+        },
+        "group": "build"
+      },
+      {
+        "type": "shell",
+        "label": "make",
+        "command": "cmake",
+        "args": [
+          "--build",
+          "${workspaceFolder}/build-dev"
+        ],
+        "options": {
+          "cwd": "${workspaceFolder}/"
+        },
+        "group": "build"
+      }
+    ]
+  }
+}