The Coq mailing list

[Wilayat Khan <wilayatk AT gmail.com>]

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.

Wialyat

On Fri, Nov 9, 2012 at 5:06 PM, Wilayat Khan <wilayatk AT gmail.com> wrote:

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