On 11. 6. 25 06:21, Nathan Hartman wrote:
On Tue, Jun 10, 2025 at 8:00 PM Branko Čibej <br...@apache.org> 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

Reply via email to