Merge branch 'topic/lsif-ada' into 'master'

Run lsif-ada in GitLab CI

See merge request eng/ide/ada_language_server!2076

Author: eliericha

.gitlab-ci.yml

@@ -247,3 +247,43 @@ vscode-extension:windows:
 integration-testsuite:windows:
   variables:
     MOCHA_TIMEOUT: "30000"
+
+lsif-ada:
+  rules:
+    # It is not useful to generate LSIF data on merge requests since GitLab
+    # does not provide navigation there. We only need it on the main branch.
+    - if: $CI_COMMIT_REF_NAME == $CI_DEFAULT_BRANCH
+  needs: []
+  allow_failure: true
+  services:
+    - image:pe-base
+    - mem:4
+  script:
+    - generic_anod_ci
+    - . /tmp/ci_env.sh
+
+    # Install lsif-ada
+    - anod install lsif-ada --latest
+    - eval $(anod printenv lsif-ada)
+
+    # Set up the build env for als
+    - anod build als --deps-only
+    - eval $(anod printenv --build-env als)
+
+    # Add gnatdoc and spawn which are not set up by the above since they are
+    # used in source form in Anod
+    - |
+      for dep in gnatdoc spawn; do
+        git -C subprojects clone [email protected]:eng/ide/$dep.git
+        GPR_PROJECT_PATH=$PWD/subprojects/$dep/gnat:$GPR_PROJECT_PATH
+      done
+    - export GPR_PROJECT_PATH
+    # Run lsif-ada!
+    - lsif-ada gnat/lsp_server.gpr >lsif.lsif
+
+  artifacts:
+    reports:
+      lsif: lsif.lsif
+    # Also archive as a plain file for debugging purposes
+    paths:
+      - lsif.lsif

gnat/lsp_server.gpr

@@ -18,6 +18,18 @@ with "lsp_common";
 
 project LSP_Server is
 
+   package LSIF is
+      for Excluded_Project_Files use
+        ("gpr2.gpr",
+         "libadalang.gpr",
+         "lal_tools.gpr",
+         "lal_refactor.gpr",
+         "ada_libfswatch.gpr",
+         "libgnatdoc.gpr",
+         "spawn.gpr",
+         "gnatformat.gpr");
+   end LSIF;
+
    VERSION := external ("VERSION", "latest");
 
    BUILD_DATE := external ("BUILD_DATE", "unknown");