The Coq mailing list

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

On 11/07/2013 05:55 PM, Marcus Ramos wrote:

I am not making my way through with coqdep and coq_makefile.

...

Is there any tutorial with examples on how to use these tools correctly?

Yes.  See the "Build Processes" section of the "Proving in the Large" chapter of CPDT <http://adam.chlipala.net/cpdt/>.