The Coq mailing list

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

On 11/09/2012 11:06 AM, Wilayat Khan wrote:
> I have a Coq project with a number of files (say x1.v, x2.v, ... xn.v) 
> including a Makefile stored in folder 
> "C:\Users\WK\Desktop\Personal\coq-project" and have installed Coq 8.3 
> at "C:\Coq" on my Windows 7 machine.
>
> The Coq programs (files) are dependent on each other. How can I 
> execute a single program (say x1.v) in Coq? I want to open a file in 
> Coqide and compile line by line to understand it, but it gives errors 
> as there are many imported files in each, with no one in (.vo) format. 
> I think there is some use of commands coqc, coqtop, make or any 
> combination of these but I dont know the exact format of commands, 
> paths, arguments, and order. Please let me give complete commands with 
> full paths keep in mind the above paths.

On this subject, I recommend Section 16.4 of CPDT:
    http://adam.chlipala.net/cpdt/