The Coq mailing list

[Arthur Azevedo de Amorim <arthur.aa AT gmail.com>]

Hi Marcus,

Can you send some of the error messages you are getting?

2015-03-18 17:49 GMT-04:00 Marcus Ramos 
<marcus.ramos AT univasf.edu.br>:
> Hi,
>
> I run coq_makefile ("coq_makefile *.v -R . > __makefile.coq") to generate
> the makefile for my set of .v files, however when I run make ("make -f
> __makefile.coq") I get lots of error messages and the files are not
> compiled. It seems that coqdep is not working properly. Are there any known
> issues for coq_makefile or coqdep in Windows?
>
> Thanks in advance,
> Marcus.



-- 
Arthur Azevedo de Amorim