setup-ocaml builds a nonfunctioning version of Coq on Windows sometime after v3.2.16

[JasonGross]

Fiat Crypto's Windows build has stopped working recently. Downgrading to v3.2.16 fixes the problem (though it seems like even that version does not have a functional version of install -d in cygwin?).

cf mit-plv/fiat-crypto#2078 , mit-plv/fiat-crypto#1394 (comment)

The Coq error message is

Coq < Coq < 
Coq < Toplevel input, characters 25-35:
> Local Set Printing Width 2147483647.
>                          ^^^^^^^^^^
Error: This number is too large.

[smorimoto]

CC: @dra27

[dra27]

Please Could you try 3.3.0 (hunch that it works) and 3.3.1 (hunch that it doesn't)? Possibly #975, although if it is then I expect the fix is elsewhere, rather than in setup-ocaml.

[JasonGross]

Please Could you try 3.3.0 (hunch that it works) and 3.3.1 (hunch that it doesn't)? Possibly #975, although if it is then I expect the fix is elsewhere, rather than in setup-ocaml.

Trying 3.3.0 here (log), and 3.3.1 here (log)

[JasonGross]

Please Could you try 3.3.0 (hunch that it works) and 3.3.1 (hunch that it doesn't)?

Neither of these work

[JasonGross]

This seems to have been fixed at some point, as v3 works now