Merge branch 'topic/fix_release' into 'master'

Add documentation about getting symbolic backtrace.

Closes #1135

See merge request eng/ide/ada_language_server!1219

Author: reznikmm

.github/workflows/build-binaries.sh

@@ -79,7 +79,7 @@ make -C subprojects/templates-parser setup prefix=$prefix \
  ENABLE_SHARED=no \
  ${DEBUG:+BUILD=debug} build-static install-static
 
-make LIBRARY_TYPE=static all check
+make LIBRARY_TYPE=static VERSION=$TAG all check
 
 function fix_rpath ()
 {

.github/workflows/pack-binaries.sh

@@ -19,7 +19,7 @@ function make_change_log()
 
 chmod -R -v +x als-*-$DEBUG
 for X in Linux macOS Windows ; do mv -v -f als-$X-$DEBUG/* integration/vscode/ada/; done
-rm -f -v integration/vscode/ada/{linux,darwin,win32}/*.debug
+rm -f -v integration/vscode/ada/{linux,darwin,win32}/*.{debug,dSYM}
 pushd integration/vscode/ada
 sed -i -e "/version/s/[0-9][0-9.]*/$TAG/" package.json
 [ -z "$DEBUG" ] || sed -i -e '/^    "name"/s/ada/ada-debug/' \

Makefile

@@ -1,6 +1,8 @@
 # Server executable file:
 ROOTDIR=$(shell pwd)
 
+# ALS version
+VERSION ?=
 # Location of home dir for tests
 export ALS_HOME=$(ROOTDIR)/testsuite
 
@@ -74,10 +76,10 @@ all: coverage-instrument
 	$(GPRBUILD) -P gnat/tester.gpr -p $(BUILD_FLAGS)
 	$(GPRBUILD) -d -ws -c -u -P gnat/lsp_server.gpr -p $(BUILD_FLAGS) s-memory.adb
 	$(GPRBUILD) -P gnat/lsp_server.gpr -p $(COVERAGE_BUILD_FLAGS) \
-		-XVERSION=$(TRAVIS_TAG)
+		-XVERSION=$(VERSION)
 	$(GPRBUILD) -P gnat/codec_test.gpr -p $(COVERAGE_BUILD_FLAGS)
 	$(GPRBUILD) -P gnat/lsp_client.gpr -p $(COVERAGE_BUILD_FLAGS) \
-		-XVERSION=$(TRAVIS_TAG)
+		-XVERSION=$(VERSION)
 	mkdir -p integration/vscode/ada/$(PLATFORM)
 	cp -f $(ALS)$(EXE) integration/vscode/ada/$(PLATFORM)
 
@@ -92,7 +94,7 @@ ifneq ($(COVERAGE),)
 	# Remove artifacts from previous instrumentations, so that stale units that
 	# are not overriden by new ones don't get in our way.
 	rm -rf .obj/*/gnatcov-instr
-	$(COVERAGE_INSTR) -XVERSION=$(TRAVIS_TAG) \
+	$(COVERAGE_INSTR) -XVERSION=$(VERSION) \
 		-Pgnat/lsp_server.gpr --projects lsp_server --projects lsp
 	$(COVERAGE_INSTR) -Pgnat/tester.gpr --projects lsp
 	$(COVERAGE_INSTR) -Pgnat/codec_test.gpr --projects lsp

doc/HACKING.md

@@ -36,6 +36,22 @@ about memory usage, allowing to track down which parts of the program consumes
 the most memory.
 This is very useful to resolve unexpected memory consumption issues.
 
+## Getting symbolic backtrace
+
+To get a symbolic backtrace you need the debug information files. For the
+release you can download them from
+[GitHub Release](https://github.com/AdaCore/ada_language_server/releases) 
+Assets. Assets contain an archive per platform with the ALS
+executable and debug information files (`.debug` file on Linux/Windows and
+`.dSYM` directory for Mac OS X). Extract the debug information to the directory
+containing ALS (usually this is
+`$HOME/.vscode/extensions/adacore.ada-*/{darwin,linux,win32}`)
+and run
+
+    addr2line ada_language_server <hex backtrace>
+
+On Mac OX X use [atos](https://www.unix.com/man-page/osx/1/atos/) instead.
+
 ### Writing tests
 
 To write a functional test for Ada Language Server:
@@ -116,16 +132,16 @@ Release notes
 ```
 
 Then push it to GitHub with `git push 22.0.3` or `git push --tags`.
-The travis CI will publish the extension on the marketplace.
+The GitHub CI will publish the extension on the marketplace and the
+[Open VSX Registry](https://open-vsx.org). It also makes GitHub Release and
+put archives with ALS executables and debug information files.
 
 ## Source directories
 
 The repository contains the following folders:
 
 * `doc/` - documentation of the project and LSP extensions
 * `gnat/` - GNAT project files
-* `integration/appveyor/` - Appveyor CI (Windows) integration scripts
-* `integration/travis/` - Travis CI (Linux and Mac OS) integration scripts
 * `integration/vscode/ada/` - VS Code extension sources
 * `scripts/` - some support scripts
 * `ada_language_server/source/ada/` - LSP implementation for Ada language