W601-014 Avoid TRAVIS_TAG usage.

We don't use Travis CI any more, so ALS version isn't set.
In GitHub CI script let's use a tag instead.

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 ()
 {

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