Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] How to avoid coq_makefile to add -q

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: sorin stratulat <sorinica AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] How to avoid coq_makefile to add -q
  • Date: Fri, 6 Jun 2014 09:18:06 +0200

Hi,

A simple solution is to redefine the variable COQFLAGS? in the
arguments of coq_makefile, without including "-q". For example

coq_makefile COQFLAGS? = '$(OPT) $(COQLIBS) $(OTHERFLAGS) $(COQ_XML)' myfile.v

Best,

Sorin

2014-04-24 13:56 GMT+02:00 Beta Ziliani
<beta AT mpi-sws.org>:
> 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



Archive powered by MHonArc 2.6.18.

Top of Page