From 18b896de209c484ed120d743819ae719edcdf263 Mon Sep 17 00:00:00 2001
From: Alejandro R Mosteo <alejandro@mosteo.com>
Date: Thu, 13 May 2021 17:45:54 +0200
Subject: [PATCH] Initial tasks.json file for VSCode (#734)

---
 .vscode/tasks.json | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 .vscode/tasks.json

diff --git a/.vscode/tasks.json b/.vscode/tasks.json
new file mode 100644
index 00000000..e42e33fd
--- /dev/null
+++ b/.vscode/tasks.json
@@ -0,0 +1,25 @@
+{
+	"version": "2.0.0",
+	"tasks": [
+		{
+			"type": "shell",
+			"command": "gprbuild -j0 -p -P alr_env.gpr",
+			"problemMatcher": [
+				"$ada"
+			],
+			"label": "Alire: Build alr",
+			"group": {
+				"kind": "build",
+				"isDefault": true
+			}
+		},
+		{
+			"type": "shell",
+			"command": "gprclean -r -P alr_env.gpr",
+			"problemMatcher": [
+				"$ada"
+			],
+			"label": "Alire: Clean all projects",
+		}
+	]
+}
\ No newline at end of file
-- 
2.39.5