search

AdaCore / libadalang-tools

Libadalang-based tools
GNU General Public License v3.0
16 stars 13 forks source link

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

Open blieberger opened 4 years ago

blieberger commented 4 years ago

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

  1. 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

  1. 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

  1. 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

  1. 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 commented 1 year ago

Sorry this was closed by mistake.