apalache icon indicating copy to clipboard operation
apalache copied to clipboard
verified publisher icon apalache-mc

[FEATURE] Package for homebrew

Open shonfeder opened this issue 5 years ago • 1 comments

Towards #159.

Add the brew formula to our https://github.com/informalsystems/homebrew-pkgs

shonfeder avatar Jan 06 '21 14:01 shonfeder

Igor suggested looking at jpackage: https://github.com/informalsystems/apalache/pull/1700#pullrequestreview-958831981

shonfeder avatar May 02 '22 12:05 shonfeder

I think we've stepped away from the idea of maintaining OS-specific packages. If we want to, Coursier may be a good, OS-agnostic, Scala-specific option.

thpani avatar Oct 19 '23 11:10 thpani