AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK
GNU General Public License v3.0
226 stars 54 forks source link

UC15-036 Replace GNATCOLL.Projects with libgpr #1089

Closed fipgil closed 7 months ago

fipgil commented 1 year ago

UC15-036 Let ada_language_server use GPR2 instead of GNATCOLL.Projects.

reznikmm commented 1 year ago

if this works in master I would suggest to push it into master (not edge). Philippe is checking this now.

fipgil commented 1 year ago

This patch is not compiling on master because in requires let Safe_Renamer handle GNATCOLL & GPR2 project libadalang-tools patch. This patch is not available in stable-libadalang-tools used currently by als At run time it requires reload capability of modified gpr. This is not currently available in stable-gpr2.