Is there an easy way to get a tagged version of stanc3 from CmdStan?

Interfaces CmdStan
1

I’m looking at v2.24.1 and seeing that the stanc3 compiler it downloads is the nightly version. Is there a way to have it get a tagged version?

I’m running (from a clean CmdStan directory):

make bin/stanc

on Mac (should also be the same in Linux).

1 Like
2

You can do:

STANC3_TEST_BIN_URL=https://jenkins.mc-stan.org/job/stanc3-test-binaries/97/artifact

where the number ‘97’ is one of the blue numbers from: https://jenkins.mc-stan.org/job/stanc3-test-binaries/.

3

Stanc3 releases are now tagged along with the rest of a Stan release - see https://github.com/stan-dev/stanc3/releases
https://github.com/stan-dev/stanc3/releases/tag/v2.24.1

the CmdStan makefile is a dev-oriented thing, so it assumes you want the latest.
the CmdStan release tarball comes with the appropriate binaries for that release.

1 Like
4

I created an issue #93 and opened a PR #94 to allow for downloading a specific version.

While I understand that the makefile is a dev-oriented thing, it still makes sense to be able to control which version of stanc3 is downloaded.

This particular fix is unintrusive… if you just type make bin/stanc, it’ll do exactly what it did before… download the nightly version. The PR gives an option to download a specific version.

1 Like
5

Thanks @syclik!

This is really useful. While there are ways of specifiying specific binaries with URLs and develop always downloads the fresh binary like mentioned above by Ben and Mitzi, one thing that was always a bit cumbersome was checking out a specific releaes version in your cloned Cmdstan.

You either had to specify the URL to the 2.23 release binary or had to build stanc3 locally. So this is really nice.

1 Like