The Coq mailing list

[Adam Chlipala <adamc AT csail.mit.edu>]

On 11/12/2012 09:12 AM, Wilayat Khan wrote:

Hello

   I have a Coq project with a number of .v files and its corresponding Makefile. But I dont know how can I create .vo file for every other file using this Makefile. Some one suggested me,  I used the following command: (myproject contains files x1.v, ...xn.v, and Makefile)

 C:\myproject> C:\Coq\bin\make 

 It creates .v.d files for every file with 0KB size (I was expecting .vo or .glob files), and with errors at command prompt. According to the author of the project, Makefile and other files are correct and he has used Coq 8.3. I am using the same version. Assuming this, I think there is some problem with the way I am creating .vo files. I would appreciated, if some one help me and tell me command with complete path. Am sorry if this is not the right forum for posting such message, please suggest me one.

You seem to have received a strange suggestion.  'make' is a standard UNIX utility you should install.  It is very unlikely that you received it as part of the Coq distribution.