2024-12-31 07:07:11 +01:00

106 lines
2.8 KiB
JSON

{
// See https://go.microsoft.com/fwlink/?LinkId=733558
// for the documentation about the tasks.json format
"version": "2.0.0",
"tasks": [
{
"label": "[server] autoreconf",
"type": "shell",
"command": "autoreconf -i",
"group": {
"kind": "build",
"isDefault": false
}
},
{
"label": "[server] configure",
"type": "shell",
"command": "./configure",
"group": {
"kind": "build",
"isDefault": false
}
},
{
"label": "[server] make",
"type": "shell",
"command": "make",
"group": {
"kind": "build",
"isDefault": true
}
},
{
"label": "[server] scan-build",
"type": "shell",
"command": "make clean && scan-build --status-bugs -disable-checker deadcode.DeadStores --exclude src/parsers make",
"group": {
"kind": "build",
"isDefault": false
}
},
{
"label": "[server] clean",
"type": "shell",
"command": "make clean",
"group": {
"kind": "build",
"isDefault": false
}
},
{
"label": "[web] install",
"type": "npm",
"script": "install",
"options": {
"cwd": "${workspaceFolder}/web-src"
},
"group": {
"kind": "build",
"isDefault": true
}
},
{
"label": "[web] build",
"type": "npm",
"script": "build",
"options": {
"cwd": "${workspaceFolder}/web-src"
},
"group": {
"kind": "build",
"isDefault": true
}
},
{
"label": "[web] serve",
"type": "npm",
"script": "serve",
"options": {
"cwd": "${workspaceFolder}/web-src"
},
"group": {
"kind": "build",
"isDefault": true
}
},
{
"label": "[docs] serve",
"type": "shell",
"command": "mkdocs serve",
"group": {
"kind": "build",
"isDefault": false
}
},
{
"label": "[docs] build",
"type": "shell",
"command": "mkdocs build",
"group": {
"kind": "build",
"isDefault": true
}
}
]
}