The Coq mailing list

[Julien Thierry <thierry AT adacore.com>]

Dear Coq-Club,

I want to create a Makefile to compile vernac files generated by Why3.
In order to compile with the Why3-Coq library I'm calling coqc with the
option "-R /pathtowhy3install/lib/why3/coq Why3".
My problem is that, in section 15.3 of the RefMan:
"If your files depend on an external library, never use -R ... to include
it in the path,
the make clean command would erase it! Take advantage of the COQPATH
variable (see 14.4)
instead if necessary."
But the COQPATH variable seems to be only a list of directories and does
not allow to
include paths recursively nor associate paths to logical paths.
Is there a way to tell coq_makefile to map physical paths to logical paths
without
loosing my libraries when using make clean?

Regards,

-- 
Julien Thierry