Circular dependency
Opened this issue · 3 comments
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 ?
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...
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 ?
This is a reasonable workaround for now, and yes I propose to keep the issue open until we have resolved it.