unknown project file: "gnatcoll" while installing libadalang-tools

[blieberger]

I have successfully installed libadalang using install-lal-and-deps.sh without changes.
I have then added install/bin to $PATH.
When I try to install libadalang-tools I get:
$ make
which gprbuild
/home/cc/install/bin//gprbuild
which gcc
/home/cc/install/bin//gcc
gprbuild -v -k
-XLIBRARY_TYPE=static
-XXMLADA_BUILD=static
-XBUILD_MODE=dev
-XLALTOOLS_SET=all
-P src/build.gpr -p -j0

==============Messages for file: /home/cc/install/share/gpr/libadalang.gpr
12. with "gnatcoll";
|
>>> unknown project file: "gnatcoll"
>>> imported by "/home/cc/install/share/gpr/libadalang.gpr"
>>> imported by "/home/cc/libadalang-tools-master/src/lal_tools.gpr"
>>> imported by "/home/cc/libadalang-tools-master/src/build.gpr"

==============Messages for file: /home/cc/install/share/gpr/langkit_support.gpr
10. with "gnatcoll";
|
>>> unknown project file: "gnatcoll"
>>> imported by "/home/cc/install/share/gpr/langkit_support.gpr"
>>> imported by "/home/cc/install/share/gpr/libadalang.gpr"
>>> imported by "/home/cc/libadalang-tools-master/src/lal_tools.gpr"
>>> imported by "/home/cc/libadalang-tools-master/src/build.gpr"

==============Messages for file: /home/cc/install/share/gpr/gnatcoll_iconv.gpr
9. with "gnatcoll";
|
>>> unknown project file: "gnatcoll"
>>> imported by "/home/cc/install/share/gpr/gnatcoll_iconv.gpr"
>>> imported by "/home/cc/install/share/gpr/langkit_support.gpr"
>>> imported by "/home/cc/install/share/gpr/libadalang.gpr"
>>> imported by "/home/cc/libadalang-tools-master/src/lal_tools.gpr"
>>> imported by "/home/cc/libadalang-tools-master/src/build.gpr"

==============Messages for file: /home/cc/install/share/gpr/gnatcoll_gmp.gpr
9. with "gnatcoll";
|
>>> unknown project file: "gnatcoll"
>>> imported by "/home/cc/install/share/gpr/gnatcoll_gmp.gpr"
>>> imported by "/home/cc/install/share/gpr/libadalang.gpr"
>>> imported by "/home/cc/libadalang-tools-master/src/lal_tools.gpr"
>>> imported by "/home/cc/libadalang-tools-master/src/build.gpr"
gprbuild: "src/build.gpr" processing failed
Makefile:11: recipe for target 'all' failed
make: *** [all] Error 4

There are several files
/home/cc/adalib/share/gpr/gnatcoll.gpr
/home/cc/build_tools/gnatcoll-core/gnatcoll.gpr
/home/cc/install/libexec/spark/share/gpr/gnatcoll.gpr
but none of these is found.
What can I do to fix this?

[Fabien-Chouteau]

Sorry this was closed by mistake.