Re: [tlaplus] TLA+ on Mac questions:

[Alex Weisberger <alex.m.weisberger@xxxxxxxxx>]

Not sure what the issue is here, but I always download the toolbox from the Github release: https://github.com/tlaplus/tlaplus/releases/tag/v1.7.2. I run that on a Mac ok.

On Tue, Feb 22, 2022 at 6:52 PM <sglaser@xxxxxxxxxxx> wrote:

1. Home-brew seems to be broken. It complains about a SHA256 mismatch (see below)
2. Version confusion:
1. Home-brew wants to download 1.8.0
2. https://tla.msr-inria.inria.fr/tlatoolbox/ (alternate download site from TLA+ page) shows 1.7.1 as the latest.
1. No mention of 1.7.2 either
3. https://github.com/tlaplus/tlaplus (main download site) only has tlatools.jar, not the platform specific versions. It also doesn’t show any version numbers.
4. https://github.com/tlaplus/tlaplus/releases/tag/v1.8.0 shows a Mac version at the bottom but shows TBD in the checksums table.
1. The downloaded file has SHA256 81cd2276215ceda37ca629f30886c82bdce5987133d585d3fcadd47cd3df861e which matches the actual from home-brew.
2. Note that the checksum table on this page uses sha1 while home-brew uses sha256. No big deal unless you miss difference that and get confused.
3. This page shows the Clarke release (a.k.a. 1.8.0) as pre-release and 1.7.2 (Theano) as being the latest, but that tag doesn’t have platform specific releases.
3. None of the versions support Apple Silicon (M1/Arm). I’m thinking this is just a matter of bundling with the correct JVM right?

Home-brew output:

% brew install tla-plus-toolbox

==> Downloading https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/TLAToolbox-1.8.0-mac

==> Downloading from https://objects.githubusercontent.com/github-production-release-asset-2e65b

######################################################################## 100.0%

Error: SHA256 mismatch

Expected: 0353bd93f318b90608f1d1bc0c7bc6b43f4631476f22b90d30be793e156bdb03

  Actual: 81cd2276215ceda37ca629f30886c82bdce5987133d585d3fcadd47cd3df861e

    File: /Users/sglaser/Library/Caches/Homebrew/downloads/6a2e007976e09956fad76e5c32ac2af20327dd95deef5a83b62ef1d8c28bcdbd--TLAToolbox-1.8.0-macosx.cocoa.x86_64.zip

To retry an incomplete download, remove the file above.

Steve Glaser
sglaser@xxxxxxxxxxx

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/a6374f09-e635-488b-88b2-477b950e8976%40Spark.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAEPrOmK3yP-BK3ESWpxgbuQvyHd%3DDwuyzs%2BgnvP7xoLGhRhGSA%40mail.gmail.com.