Max Horn

This needs a decision how to proceed regarding the orderings. Perhaps @wdecker will be in this week, so we can have a chat about it? Or Zoom/Phone/whatever?

We just discussed this in triage and it seems there is still interest in having this in here. @Lax202 would you be interested in finishing this up? Or would you...

@Lax202 thanks for the reply and totally understandable. We'll take it over then :-)

First off: thank you for your contribution, it would of course be great if someone finally worked a bit on improving "native" (well, MinGW based) Windows support. That said, I...

@dimpase all GAP headers are already in a subdirectory `PREFIX/gap/` when installed, as is common for libraries. If you are suggesting to put all headers into a subdirectory in the...

@dimpase err you are apparently ignorant of what GAP currently does despite me explicitly stating it: we *already* install headers in a separate dir and our `make install` alwaya did...

So... please don't hate me for asking this, considering how much effort you have put into this PR by now, but, just thinking about this again now, remind me: why...

I am honestly on the fence. Complications in the build system also are a form of technical debt. I think the idea of adding the `extra` subdir and letting packages...

(Oh, I just realize that "the PR is not too bad" might sound a bit insulting -- if so, I sincerely apologize, that's not what I intended -- the work...

So @ChrisJefferson kinda convinced me, but then I also had another think, and realized we might be able to simplify a few things again... So I tweaked this PR a...