The Coq mailing list

[t x <txrev319 AT gmail.com>]

Hi,

  (stopped using the obnoxious pseudonym math prover)

  My project setup looks something like this:

====================

  coq_makefile ... args ... > Makefile

  make

====================

  Now, although *.v.d, *.vo, and *.glob files are important to Coq; they just get in my way of auto-completion and make "ls" more difficult than necessary to read.

  Given Foo.v, instead of Foo.v.d, Foo.vo, and Foo.glob, I'd prefer:

  * optA: .Foo.v.d, .Foo.vo, .Foo.glob

  * optB: build/Foo.v.d, build/Foo.vo, build/Foo.glob

  Is there an easy way to do this in Coq?

Thanks!