We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 499f02a + 60627a5 commit 7407fd0Copy full SHA for 7407fd0
Makefile
@@ -107,6 +107,10 @@ all: coverage-instrument
107
ifeq ($(ALIRE),True)
108
alr build -- -XVERSION=$(VERSION) -XBUILD_DATE=$(BUILD_DATE) $(GPRBUILD_FLAGS)
109
else
110
+ # We have our own s-memory.adb which overwrites the default System.Memory implementation
111
+ # For unclear reasons, this file is not recompiled when the version of GNAT was changed
112
+ # and we get link errors. As a workaround, we force its recompilation explicitly here.
113
+ $(GPRBUILD) -d -ws -c -u -P gnat/lsp_server.gpr -p $(BUILD_FLAGS) s-memory.adb
114
$(GPRBUILD) -P gnat/lsp_server.gpr -p $(COVERAGE_BUILD_FLAGS) \
115
-XVERSION=$(VERSION) -XBUILD_DATE=$(BUILD_DATE) $(GPRBUILD_CARGS)
116
endif
0 commit comments