search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
188 stars 49 forks source link

Add path length check on root path on Windows (for serapi). #358

Open MSoegtropIMC opened 1 year ago

MSoegtropIMC commented 1 year ago

Serapi compilation produces rather long paths, which can conflict with the 256 char limit on Windows. Implement a check that the cygwin root install path and user folder path are not too long.

MSoegtropIMC commented 4 months ago

Triage note: it currently works with the reduced and more reproducible path lengths. This is still nice to have but low prio.