coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
- Re: [Coq-Club] How to avoid coq_makefile to add -q, sorin stratulat, 06/06/2014
- Re: [Coq-Club] How to avoid coq_makefile to add -q, Beta Ziliani, 06/06/2014
Archive powered by MHonArc 2.6.18.