The Coq mailing list

[CJ Bell <siegebell AT gmail.com>]

This does not appear to be related to Windows' default path name limit of 260 characters. Here are some tips about overcoming *command line* length limits:

http://www.cyberciti.biz/faq/argument-list-too-long-error-solution/

I think the limit is affected by how much space your environment variables are taking, so you might need to clean them up. Also, the limit is higher for Cygwin if it is calling Cygwin binaries, but only 32,000 when calling Win32 binaries.

Try running: echo $(( $(getconf ARG_MAX) - $(env | wc -c) ))

-cj