coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] How to avoid coq_makefile to add -q

From: Beta Ziliani <beta AT mpi-sws.org>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] How to avoid coq_makefile to add -q
Date: Thu, 24 Apr 2014 13:56:44 +0200

Hi club,

The coq_makefile command adds a -q (that is, the "ignore the rcfile"
flag) to coqc. That is, when executing "make" it performs

coqc -q myfile.v

Is there a way to avoid the -q flag? I couldn't find it in the doc.

Thanks!
Beta

[Coq-Club] How to avoid coq_makefile to add -q, Beta Ziliani, 04/24/2014
- Re: [Coq-Club] How to avoid coq_makefile to add -q, Pierre Boutillier, 04/24/2014
  - Re: [Coq-Club] How to avoid coq_makefile to add -q, Beta Ziliani, 04/24/2014