VSCode: Add tasks.json with default build command. (#69)

lancaster-university · Jul 13, 2023 · 2c887df · 2c887df
1 parent 5b3d334
commit 2c887df
Showing 1 changed file with 33 additions and 0 deletions.
diff --git a/.vscode/tasks.json b/.vscode/tasks.json
@@ -0,0 +1,33 @@
+{
+	"version": "2.0.0",
+	"presentation": {
+		"reveal": "always",
+		"panel": "dedicated"
+	},
+	"tasks": [
+		{
+			"type": "shell",
+			"label": "CODAL build",
+			"command": "python build.py",
+			"windows": {
+				"command": "py build.py"
+			},
+			"group": {
+				"kind": "build",
+				"isDefault": true
+			}
+		},
+		{
+			"type": "shell",
+			"label": "CODAL clean build",
+			"command": "python build.py --clean",
+			"windows": {
+				"command": "py build.py --clean"
+			},
+			"group": {
+				"kind": "build",
+				"isDefault": false
+			}
+		}
+	]
+}