From 69065e1d927b1437a9994dd35ca1e82d9175ddfa Mon Sep 17 00:00:00 2001 From: Maxim Reznik Date: Tue, 18 Jun 2024 12:11:32 +0300 Subject: [PATCH] Pass `-cargs:ada -gnatef` to `alr build` Fixes #1370 --- integration/vscode/ada/src/taskProviders.ts | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/integration/vscode/ada/src/taskProviders.ts b/integration/vscode/ada/src/taskProviders.ts index 3f28d2f21..2d015d310 100644 --- a/integration/vscode/ada/src/taskProviders.ts +++ b/integration/vscode/ada/src/taskProviders.ts @@ -1049,9 +1049,8 @@ function updateToAlire(taskDef: SimpleTaskDef): SimpleTaskDef { * Replace the entire command with `alr build`. Ignore project and * scenario args because they are managed by ALIRE. * - * TODO what about -cargs:ada -gnatef ? */ - args.splice(0, args.length, 'build'); + args.splice(0, args.length, 'build', '--', '-cargs:ada', '-gnatef'); } else if (taskDef == TASK_CLEAN_PROJECT.taskDef) { /** * Replace the entire command with `alr clean`. Ignore project and