Jonathan Protzenko
Jonathan Protzenko
At this stage we're waiting on proper OPAM support for Windows, which should hopefully happen early next year, so yeah, still not working, sadly.
Yes, we are aware of this repository. Until recently, Andreas hadn't released his patches to OPAM, so I didn't want to redistribute an arbitrary binary. Now he has released his...
Hmm... is it packaged in cygwin or cygwinports? It would make my life easier (rather than having to package and distribute it myself).
hmm I'm confused can you give more information, i.e. the command you were running
but are you not in a cygwin shell?
which tar command is that? can you do `which tar`? also: ``` protz@Joprotze-Z420:~/Code/mitls-fstar (master) $ opam install opamfind [ERROR] No package named opamfind foun ```
I don't think the combination of opam + msys2 is supported...
I'm not sure what cmder is but you're expected to kick-start opam via a cygwin prompt, right?
Cygwin is a hard requirement, and the opam as distributed is known to work only when launched from a cygwin terminal.
You should try to fix your environment variable to have forward slashes `/`