Skip to content

Conversation

aarroyoc
Copy link
Contributor

@aarroyoc aarroyoc commented Oct 6, 2025

macOS ARM is missing, if someone could compile it, we can update the link then macOS ARM version thanks to @thierrymarianne

@thierrymarianne
Copy link
Contributor

thierrymarianne commented Oct 7, 2025

Hello 👋🏼,

Running the following commands may help in fetching the builds via homebrew as scryer-prolog formula was recently updated.

brew fetch --arch=arm --os=sonoma scryer-prolog
brew fetch --arch=arm --os=sequoia scryer-prolog
brew fetch --arch=arm --os=tahoe scryer-prolog
brew fetch --arch=intel --os=sonoma scryer-prolog

The builds below have been fetched by running these commands (assuming homebrew formula correctly builds scryer-prolog):

When building the binary by running cargo install --path . from sequoia / arm,
i've noticed a minor difference when executing ~/.cargo/bin/scryer-prolog --version.
The execution output is v0.10.0 instead of cargo:0.10.0 when executing /opt/homebrew/bin/scryer-prolog --version,
therefore I wonder if there would be other checks required.

@aarroyoc aarroyoc force-pushed the update-releases-0100 branch from e3f5401 to 2b85a30 Compare October 7, 2025 20:16
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