Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

More 'make install' progress #4812

Merged
merged 2 commits into from
Mar 4, 2022

Conversation

fingolfin
Copy link
Member

@fingolfin fingolfin commented Mar 3, 2022

This mostly supersedes PR #4492.

  • first commit contains trivial cleanup
  • second commit overhauls sysinfo.gap generation, and improve the install-gaproot target.

I think I have a working strategy now for all the previously difficult parts, namely...

  • adjusting sysinfo.gap (implemented in this PR, although it may require further tweaking, which will be revealed once systematic tests are added)
  • installing gac (see PR Rewrite gac to not use libtool #4746; I'll update and complete that once this PR here is merged, as some of the things done here are needed there)
  • dealing with config.h (basically already done on master: config.h is only included by source files now, not headers, so it does not need to be installed
  • a working directory layout that should hopefully be adequate for most Linux distros (but we'll see about that) while still allowing packages to be tested.

That said, this is still most untested, so a major missing step is to add CI tests for make install and its parts

@fingolfin fingolfin added release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: build system labels Mar 3, 2022
Also split part of it into a separate install-sysinfo target, and refactor how
sysinfo.gap is generated. Use this to substantially reduce what is put into
the GAP_CPPFLAGS in sysinfo.gap.
@fingolfin fingolfin merged commit e1bbdf5 into gap-system:master Mar 4, 2022
@fingolfin fingolfin deleted the mh/install-more-partial branch March 4, 2022 09:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: build system
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants