Revert "UC15-036 Add gpr-unit-provider dependency"

This reverts commit 5f888a0.

Author: reznikmm

.github/workflows/build-binaries.sh

@@ -13,7 +13,6 @@ fi
 export GPR_PROJECT_PATH=$prefix/share/gpr:\
 $PWD/subprojects/VSS/gnat:\
 $PWD/subprojects/gnatdoc/gnat:\
-$PWD/subprojects/gpr-unit-provider:\
 $PWD/subprojects/libadalang-tools/src:\
 $PWD/subprojects/spawn/gnat:\
 $PWD/subprojects/stubs

.github/workflows/build-binaries.yml

@@ -86,11 +86,6 @@ jobs:
         with:
           repository: AdaCore/gnatdoc
           path: subprojects/gnatdoc
-      - name: Get gpr-unit-provider
-        uses: actions/checkout@v2
-        with:
-          repository: AdaCore/gpr-unit-provider
-          path: subprojects/gpr-unit-provider
       - uses: actions/cache@v2
         with:
           path: ./cached_gnat

Makefile

@@ -25,7 +25,6 @@ LIBRARY_TYPE?=relocatable
 
 # Build mode (dev or prod)
 BUILD_MODE=dev
-GPR_UNIT_PROVIDER_BUILD=debug
 
 # Whether to enable coverage (empty for no, any other value for yes)
 COVERAGE=
@@ -51,8 +50,7 @@ else
    EXE=
 endif
 
-LIBRARY_FLAGS=-XGPR_UNIT_PROVIDER_BUILD=$(GPR_UNIT_PROVIDER_BUILD) \
-              -XBUILD_MODE=$(BUILD_MODE)	\
+LIBRARY_FLAGS=-XBUILD_MODE=$(BUILD_MODE)	\
               -XOS=$(OS)			\
               -XLIBRARY_TYPE=$(LIBRARY_TYPE)	\
               -XXMLADA_BUILD=$(LIBRARY_TYPE)	\

README.md

@@ -77,7 +77,6 @@ To build the language server you need:
 * The [VSS](https://github.com/AdaCore/VSS) library
 * The [gnatdoc](https://github.com/AdaCore/gnatdoc) library
 * The [gpr](https://github.com/AdaCore/gpr) library
-* The [gpr-unit-provider](https://github.com/AdaCore/gpr-unit-provider) library
 * The a process [spawn](https://github.com/AdaCore/spawn) library
 
 Project files of the libraries must be available via the `GPR_PROJECT_PATH`

gnat/lsp_server.gpr

@@ -16,7 +16,6 @@
 ------------------------------------------------------------------------------
 
 with "gpr2.gpr";
-with "gpr_unit_provider.gpr";
 with "libadalang";
 with "lal_tools.gpr";
 with "ada_libfswatch.gpr";