The Coq mailing list

[Wilayat Khan <wilayatk AT gmail.com>]

Hello

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.

Thanks,

Wilayat