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.

Sign up for GitHub

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

Jump to bottom

Document prerequisites.sh for packages #4987

Open
fingolfin opened this issue Aug 15, 2022 · 0 comments
Open

Document prerequisites.sh for packages #4987

fingolfin opened this issue Aug 15, 2022 · 0 comments
Labels
kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: documentation Issues and PRs related to documentation topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
Milestone
GAP 4.14.0

Comments

@fingolfin
Copy link
Member

The package documentation (in doc/ref/gappkg.xml) should mention prerequisites.sh and document how we use it (namely BuildPackage.sh invokes it when present, and thus it is also used for typical CI tests here and in the PackageDistribution).

I assume it would be documented close to where configure is documented.
@fingolfin fingolfin added kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: documentation Issues and PRs related to documentation topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker) labels Aug 15, 2022
@fingolfin fingolfin added this to the GAP 4.13.0 milestone Dec 15, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: documentation Issues and PRs related to documentation topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
Projects
None yet
Milestone
GAP 4.14.0
Development

No branches or pull requests
1 participant
@fingolfin