Skip to content

Commit 5f888a0

Browse files
committed
UC15-036 Add gpr-unit-provider dependency
1 parent 9b709e3 commit 5f888a0

File tree

5 files changed

+11
-1
lines changed

5 files changed

+11
-1
lines changed

.github/workflows/build-binaries.sh

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@ fi
1313
export GPR_PROJECT_PATH=$prefix/share/gpr:\
1414
$PWD/subprojects/VSS/gnat:\
1515
$PWD/subprojects/gnatdoc/gnat:\
16+
$PWD/subprojects/gpr-unit-provider:\
1617
$PWD/subprojects/libadalang-tools/src:\
1718
$PWD/subprojects/spawn/gnat:\
1819
$PWD/subprojects/stubs

.github/workflows/build-binaries.yml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -86,6 +86,11 @@ jobs:
8686
with:
8787
repository: AdaCore/gnatdoc
8888
path: subprojects/gnatdoc
89+
- name: Get gpr-unit-provider
90+
uses: actions/checkout@v2
91+
with:
92+
repository: AdaCore/gpr-unit-provider
93+
path: subprojects/gpr-unit-provider
8994
- uses: actions/cache@v2
9095
with:
9196
path: ./cached_gnat

Makefile

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,7 @@ LIBRARY_TYPE?=relocatable
2525

2626
# Build mode (dev or prod)
2727
BUILD_MODE=dev
28+
GPR_UNIT_PROVIDER_BUILD=debug
2829

2930
# Whether to enable coverage (empty for no, any other value for yes)
3031
COVERAGE=
@@ -50,7 +51,8 @@ else
5051
EXE=
5152
endif
5253

53-
LIBRARY_FLAGS=-XBUILD_MODE=$(BUILD_MODE) \
54+
LIBRARY_FLAGS=-XGPR_UNIT_PROVIDER_BUILD=$(GPR_UNIT_PROVIDER_BUILD) \
55+
-XBUILD_MODE=$(BUILD_MODE) \
5456
-XOS=$(OS) \
5557
-XLIBRARY_TYPE=$(LIBRARY_TYPE) \
5658
-XXMLADA_BUILD=$(LIBRARY_TYPE) \

README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -77,6 +77,7 @@ To build the language server you need:
7777
* The [VSS](https://github.com/AdaCore/VSS) library
7878
* The [gnatdoc](https://github.com/AdaCore/gnatdoc) library
7979
* The [gpr](https://github.com/AdaCore/gpr) library
80+
* The [gpr-unit-provider](https://github.com/AdaCore/gpr-unit-provider) library
8081
* The a process [spawn](https://github.com/AdaCore/spawn) library
8182

8283
Project files of the libraries must be available via the `GPR_PROJECT_PATH`

gnat/lsp_server.gpr

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,7 @@
1616
------------------------------------------------------------------------------
1717

1818
with "gpr2.gpr";
19+
with "gpr_unit_provider.gpr";
1920
with "libadalang";
2021
with "lal_tools.gpr";
2122
with "ada_libfswatch.gpr";

0 commit comments

Comments
 (0)