Make build Error

Interfaces
1

I try installing cmdstan as described in https://mc-stan.org/docs/2_24/cmdstan-guide/cmdstan-installation.html#git-clone.section But after “make build” it says": “Could not find files for the given pattern(s). curl -L https://github.com/stan-dev/stanc3/releases/download/nightly/windows-stanc -o bin/stanc.exe --retry 5 --retry-delay 10”

C:\Users\Anton\Documents\starborn\external\cmdstan_new>make build
INFO: Could not find files for the given pattern(s).
curl -L https://github.com/stan-dev/stanc3/releases/download/nightly/windows-stanc -o bin/stanc.exe --retry 5 --retry-delay 10
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
curl: (35) schannel: next InitializeSecurityContext failed: Unknown error (0x80092012) - The revocation function was unable to check revocation for the certificate.
make: *** [make/stanc:70: bin/stanc.exe] Error 35

Operating System: Windows 10
Interface Version:
Compiler/Toolkit:

2

Looks like an error in curl.

When you build cmdstan, it downloads the latest compiler binary from Github and puts it in the bin folder.

It looks like an error returned by curl – maybe it is having trouble communicating with Github?

Either way, if the make build keeps failing you could try running the command manually in the cmdstan folder:

curl -L https://github.com/stan-dev/stanc3/releases/download/nightly/windows-stanc -o bin/stanc.exe --retry 5 --retry-delay 10

You could also download the file manually (https://github.com/stan-dev/stanc3/releases/download/nightly/windows-stanc), rename it stanc.exe, and put it in the bin folder. Make should detect it and not need to download it in the makefile.

3

@rok_cesnovar or @serban-nicusor - is there any chance that Windows 10 needs more in the curl command to download the stanc nightly build? google search on above error message gets some hits w/r/t downloads from GitHub returning similar error message.

the curl command comes from CmdStan’s makefile:

curl -L https://github.com/stan-dev/stanc3/releases/download/nightly/windows-stanc -o bin/stanc.exe --retry 5 --retry-delay 10
1 Like
4

This may be caused because of some user configuration when installing git on windows.
Run the following in your terminal to switch to the OpenSSL library and enable ssl verification on:
git config --global http.sslBackend openssl
git config --global http.sslVerify true

2 Likes
5

If you have a recent enough version of Windows 10 (late 2018 or on) it comes with curl preinstalled, no need for the git one.

If its picking up the Git curl then its probably what @serban-nicusor wrote.

Run

Get-Command curl | Select-Object -ExpandProperty Definition

to see which one is used.

2 Likes
6

It seems that dowloading file manually have helped. make build comleted succesfully. Thank you!