Merge branch 'topic/lkt-build' into 'edge'

Adapt to langkit build CLI change

See merge request eng/ide/ada_language_server!1976

Author: eliericha

.gitlab-ci.yml

@@ -69,10 +69,10 @@ include:
       cpus: 4
       disk: 80
       windows: true
-    rules:
-      # integration-testsuite cannot work with edge builds
-      - if: $CI_PIPELINE_SOURCE == 'merge_request_event' && $CI_TARGET_BRANCH_NAME == 'edge'
-        when: never
+      rules:
+        # integration-testsuite cannot work with edge builds
+        - if: $CI_PIPELINE_SOURCE == 'merge_request_event' && $CI_TARGET_BRANCH_NAME == 'edge'
+          when: never
 
   # Optional testing of GNAT Studio
   - component: $CI_SERVER_FQDN/eng/gitlab-templates/test@~latest

scripts/build_als.sh

@@ -172,7 +172,7 @@ function build_langkit_raw() {
 
       # Export the environment needed to use langkit into a file for later
       # usage
-      python manage.py setenv >"$LANGKIT_SETENV"
+      python manage.py printenv >"$LANGKIT_SETENV"
 
       if [[ $NODE_ARCH_PLATFORM == "x64/win32" ]]; then
          # Fix setenv.sh to be bash script for MSYS2 by replacing