Skip to content

Make xgap.sh find GAP again - #45

Merged
fingolfin merged 1 commit into
masterfrom
mh/xgap-sh-gap-path
Sep 20, 2026
Merged

fingolfin merged 1 commit into
masterfrom
mh/xgap-sh-gap-path

Conversation

@fingolfin

Copy link
Copy Markdown
Member

xgap.sh started $GAP_DIR/bin/<arch>/gap, a compatibility symlink which GAP 4.13 removed (gap-system/gap commit 04941719f). With a current GAP, XGAP opens its window but never starts GAP, and reports no error.

Default to $GAP_DIR/gap instead, which every supported GAP version (>= 4.11) provides. An explicit GAP_PRG or -G is still taken relative to $GAP_DIR/bin.

Tested under Xvfb with GAP 4.17dev: before the change a script passed to xgap.sh never ran, afterwards it does.

Assisted-by: Claude Code (Fable 5.1)

xgap.sh started `bin/<arch>/gap` in the GAP root directory, a
compatibility symlink which GAP 4.13 removed. XGAP then opened its
window but never started GAP. Default to the `gap` executable in the
GAP root directory, which every supported GAP version provides.

Assisted-by: Claude Code (Fable 5.1)
@fingolfin
fingolfin merged commit 411d789 into master Sep 20, 2026
4 checks passed
@fingolfin
fingolfin deleted the mh/xgap-sh-gap-path branch September 20, 2026 14:52
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.

1 participant