On 11. 6. 25 06:21, Nathan Hartman wrote:
On Tue, Jun 10, 2025 at 8:00 PM Branko Čibej <[email protected]> wrote:The CMake build is broken with regard to include directories, that's a given, and it's easy to fix. Perhaps not in such a cmake-purist way that some people around here appear to advocate, so let me just drop this reminder here: a build tool is a *tool*, meant to make life easier for our users and *us*. The point is not to try to get some sort of literary award for purism.Yes, after my earlier reply I saw the GHA notification about the build breaking on the revision that added back the #include in question. So that's obviously something to be fixed.
Just to clarify here: that build failed for an entirely unrelated reason, the dependencies failed to install; so, a github hiccup.
The fact is that _none_ of the GitHub workfows create an environment that would this bug in the CMake build – because they all put dependencies in the same prefix.
-- Brane
