[gnome-boxes/flatpak-use-vala-lang-server-sdk] flatpak: Use the Vala language server extension

[Felipe Borges <felipeborges src gnome org>]

commit 8c40283c4d070e80ee855b7074f66b546c15559a
Author: Felipe Borges <felipeborges gnome org>
Date:   Tue Oct 11 16:32:19 2022 +0200

    flatpak: Use the Vala language server extension
    
    So users developing using GNOME Builder can get completion and
    diagnostics for the Vala code.

 build-aux/flatpak/org.gnome.BoxesDevel.json | 7 +++++++
 1 file changed, 7 insertions(+)
---
diff --git a/build-aux/flatpak/org.gnome.BoxesDevel.json b/build-aux/flatpak/org.gnome.BoxesDevel.json
index 98997c9e..977005e3 100644
--- a/build-aux/flatpak/org.gnome.BoxesDevel.json
+++ b/build-aux/flatpak/org.gnome.BoxesDevel.json
@@ -3,6 +3,9 @@
     "runtime": "org.gnome.Platform",
     "runtime-version": "master",
     "sdk": "org.gnome.Sdk",
+    "sdk-extensions" : [
+        "org.freedesktop.Sdk.Extension.vala"
+    ],
     "command": "gnome-boxes",
     "tags": ["devel", "development", "nightly"],
     "finish-args": [
@@ -24,6 +27,10 @@
         "--env=DCONF_USER_CONFIG_DIR=.config/dconf",
         "--add-policy=Tracker3.dbus:org.freedesktop.Tracker3.Miner.Files=tracker:Software"
     ],
+    "build-options" : {
+        "append-path" : "/usr/lib/sdk/vala/bin",
+        "prepend-ld-library-path" : "/usr/lib/sdk/vala/lib"
+    },
     "modules": [
         {
             "name" : "intltool",