File tree Expand file tree Collapse file tree 5 files changed +11
-1
lines changed
Expand file tree Collapse file tree 5 files changed +11
-1
lines changed Original file line number Diff line number Diff line change 1313export 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
Original file line number Diff line number Diff line change 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
Original file line number Diff line number Diff line change @@ -25,6 +25,7 @@ LIBRARY_TYPE?=relocatable
2525
2626# Build mode (dev or prod)
2727BUILD_MODE =dev
28+ GPR_UNIT_PROVIDER_BUILD =debug
2829
2930# Whether to enable coverage (empty for no, any other value for yes)
3031COVERAGE =
5051 EXE =
5152endif
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 ) \
Original file line number Diff line number Diff 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
8283Project files of the libraries must be available via the ` GPR_PROJECT_PATH `
Original file line number Diff line number Diff line change 1616------------------------------------------------------------------------------
1717
1818with "gpr2.gpr";
19+ with "gpr_unit_provider.gpr";
1920with "libadalang";
2021with "lal_tools.gpr";
2122with "ada_libfswatch.gpr";
You can’t perform that action at this time.
0 commit comments