Circular dependency

[FredPraca]

Hello,
I'm trying to update ports on FreeBSD but I run into a chicken-egg problem.
To build gtkada reference manual, I need gnatdoc which is part of GPS.
The problem is that GPS requires gtkada to be installed.
So, to build gtkada reference manual, I would need a kind of gtkada bootstrap library to build gps and then build gtkada reference manual.

Should not gnatdoc be a project on its own ?

[setton]

Yes this is unfortunate, and yes the plan is for gnatdoc to become its own project, when we have switched it to use libadalang as the engine for cross-references, rather than the GPS engine...

[FredPraca]

Thanks for your quick answer Nicolas.
So for the moment, I will just disable the build for the reference manual.

Do we keep this issue open until gnatdoc appears on its own ?

[setton]

This is a reasonable workaround for now, and yes I propose to keep the issue open until we have resolved it.