Skip to content

[email protected]: Use versioned binary name#21

Closed
PatTheMav wants to merge 1 commit intomainfrom
gersemi-fix
Closed

[email protected]: Use versioned binary name#21
PatTheMav wants to merge 1 commit intomainfrom
gersemi-fix

Conversation

@PatTheMav
Copy link
Copy Markdown
Member

Description

Allows versioned variant of gersemi to be installed in parallel to unversioned core version.

Motivation and Context

Prior variant would install the pinned version as a "keg", which means it exists on the system but the binary is not automatically symlinked into Homebrew's bin path and thus is not available in the default path.

How Has This Been Tested?

Formula tested locally to check correct creation of versioned symlink.

Types of changes

  • Tweak (non-breaking change to improve existing functionality)

Checklist:

  • My code has been run through clang-format.
  • I have read the contributing document.
  • My code is not on the master branch.
  • The code has been tested.
  • All commit messages are properly formatted and commits squashed where appropriate.
  • I have included updates to all appropriate documentation.

Allows versioned variant of gersemi to be installed in parallel to
unversioned core version.
@PatTheMav PatTheMav added the pr-pull Trigger automatic merge and release label Jan 8, 2026
@github-actions github-actions Bot deleted the gersemi-fix branch January 8, 2026 21:35
@github-actions github-actions Bot closed this in 6e74069 Jan 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-pull Trigger automatic merge and release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant