If you install this on Windows it puts a binary in C:\Users\Tim\AppData\Local\opam\default\bin called lem, but it should be lem.exe. That means it isn't found if you try to run it from a console, though it does seem to work inside other opam commands (I guess it runs everything in cygwin or whatever).
I think this comes from here. I'm kind of surprised you have to do this step manually. Is this something that Dune would solve?
If you install this on Windows it puts a binary in
C:\Users\Tim\AppData\Local\opam\default\bincalledlem, but it should belem.exe. That means it isn't found if you try to run it from a console, though it does seem to work inside other opam commands (I guess it runs everything in cygwin or whatever).I think this comes from here. I'm kind of surprised you have to do this step manually. Is this something that Dune would solve?