issue on windows 10

Open msprotz opened this issue 9 years ago • 3 comments

apparently the installer will not self-escalate to admin privileges on windows 10

Mar 18 '16 17:03 msprotz

or, more precisely: it won't launch the cygwin setup it just downloaded

Mar 18 '16 18:03 msprotz

Also ran into this problem. What is the easiest workaround? Manually install cygwin and the required packages, which are those? See the If you already have Cygwin64 installed section on https://protz.github.io/ocaml-installer/.

May 02 '16 14:05 markulf

Yes, and also see https://github.com/FStarLang/FStar/blob/master/contrib/CoreCrypto/INSTALL.md for extra packages and more detailed instructions. If you have a patch I'll gladly take it, but I think we're both short on time :)

May 02 '16 15:05 msprotz