Skip to content

Document macOS development setup - #28

Merged
kaashif merged 1 commit into
masterfrom
docs/macos-setup
Aug 19, 2026
Merged

Document macOS development setup#28
kaashif merged 1 commit into
masterfrom
docs/macos-setup

Conversation

@kaashif

@kaashif kaashif commented Aug 19, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • document GAP installation through Homebrew on macOS
  • explain how to make a development checkout override the bundled package
  • add commands to verify the loaded package path and run documentation tests and the test suite
  • clarify that LaTeX is only needed to generate the PDF manual

Verification

  • GAP 4.15.1 on Apple Silicon macOS
  • GAPDoc, GRAPE, and IO load successfully
  • gap -q < makedoc.g succeeds
  • gap -q tst/testall.g reports 0 failures in 5 files

@kaashif kaashif left a comment

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks good

@kaashif
kaashif merged commit ed3826e into master Aug 19, 2026
4 checks passed
@kaashif
kaashif deleted the docs/macos-setup branch August 19, 2026 22:26
@codecov

codecov Bot commented Aug 19, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 54.39%. Comparing base (49bc63b) to head (1712809).
⚠️ Report is 2 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master      #28   +/-   ##
=======================================
  Coverage   54.39%   54.39%           
=======================================
  Files          25       25           
  Lines        1355     1355           
=======================================
  Hits          737      737           
  Misses        618      618           
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants