The Coq mailing list

[Marcus Ramos <marcus.ramos AT univasf.edu.br>]

Thanks a lot for the hint, CJ. It now works, however I had to use:

/cygdrive/c/"Program Files (x86)"/Coq/bin/

as the value for the COQBIN enviornment variable in Windows 7. Now make (in Cygwin) can find all Coq files in the Windows file system, and thus execute make properly.

Best Regards,

Marcus.

2015-03-19 19:15 GMT+00:00 CJ Bell <siegebell+coq AT gmail.com>:

> or 2)
> $ export COQBIN=/cygdrive/c/Program\ Files\ \(x86\)/Coq/bin

Oops! I think COQBIN expects a trailing slash, so the above should be:

$ export COQBIN=/cygdrive/c/Program\ Files\ \(x86\)/Coq/bin/

 -cj