fatal error: julia_gcext.h: No such file or directory in julia nightly

[lgoettgens]

I suspect this is due to JuliaLang/julia#54238.

[fingolfin]

Indeed sigh

[lgoettgens]

I'm already working on a trivial fix in GAP.

[fingolfin]

I actually would prefer to have this reverted in Julia... but it won't hurt to pursue this on both fronts.

But I am concerned about the removal PUBLIC_HEADERS += $(addprefix $(SRCDIR)/,julia_gcext.h) as I think that header may be missing in the downloadable Julia releases (but I did not check that)

[lgoettgens]

There is indeed already a PR to revert it in julia: JuliaLang/julia#54864

So I would wait for the julia people to do something with this PR before putting any work into this. In the meantime, we just need to ignore the nightly CI jobs.

[ThomasBreuer]

As far as I understand, the revert is due to some failures inside Julia.
Thus I expect that sooner or later they will move the files as proposed.

[lgoettgens]

Resolved via JuliaLang/julia#54864. The failures should go away with the next nightly version