Any plans to make scryer-prolog installable via brew on Macs?

[craigpastro]

👋 Scryer-Prolog looks really interesting! Thanks for the hard work.

I was just wondering if there are any plans to make it installable via brew for Macs? There is certainly no problem installing it using Rust (I assume as I haven't tried it yet 😬 , but I haven't had any problems yet), but brew would make it quite a bit easier.

If that is on your roadmap, I would be happy to try to help, but I have never made a brew formula before. Happy to learn though.

Thanks!

[mthom]

Thanks :) No one has made a brews formula for Scryer yet AFAIK. If you want to try making one, feel free! I'll mention it in the README when it's ready.

[craigpastro]

Cool 🙌 I'll see what I can do... but no guarantees 🙂

[emummel20]

As a nixos user just wanted to extend my appreciation that there's a nix package and perhaps fyi to anyone looking, you can install nix on macos and manage scryer from that.

[craigpastro]

I followed this blog post and it was quite simple to get scryer-prolog installable by brew. You can try it out:

brew tap craigpastro/tap
brew install scryer-prolog

So, you need to create a release with an apple darwin binary, and then a repo to store the brew formula. You can see those at

• https://github.com/craigpastro/scryer-prolog
• https://github.com/craigpastro/homebrew-tap

I just created a release of the current HEAD.

If you did want to have scryer-prolog installable by brew, probably it is best to create a script to do all this work and run it each time you make a new release.

Cheerio!

[mthom]

Awesome, thanks @craigpastro ! I wonder if there's a way to do this from Linux? I don't own a Mac but I will investigate.

[NyanHelsing]

i don't know if that works on arm; its trying to build x86_64?

[craigpastro]

👋 @ExProbitasFiducia. I was trying it out on x86_64, so it won't work on arm. It was mostly just a PoC to see if it could work. I used a fork of scryer-prolog to do it. I think to have an "official" release that is brew installable, the maintainers will have to maintain the homebrew tap and create the release artifacts on each release. It is obviously extra work and I don't know if they are willing to take that on at this point.

Just to be clear for anyone finding this issue: please don't depend on my tap to brew install scryer-prolog.

[chriskdon]

👋 Hey @mthom, I hope you don't mind; I opened a PR to add Scryer Prolog to Homebrew: Homebrew/homebrew-core#205845.

You may want to take a quick look at the PR to double-check that the description fits your liking.

[triska]

Wow, it's now merged! Thank you so much @chriskdon, and congratulations!

[triska]

[chriskdon]

🎉 Thanks @triska! Glad I was able to help.