The Coq mailing list

[Beta Ziliani <beta AT mpi-sws.org>]

That did it, thanks!

On Fri, Jun 6, 2014 at 9:18 AM, sorin stratulat 
<sorinica AT gmail.com>
 wrote:
> 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