coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Erkki Luuk <erkkil AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Command line flags for warnings
Date: Sun, 5 Nov 2017 00:27:13 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=erkkil AT gmail.com; spf=Pass smtp.mailfrom=erkkil AT gmail.com; spf=None smtp.helo=postmaster AT mail-io0-f173.google.com
Ironport-phdr: 9a23:yJNWkh8wBoSH6f9uRHKM819IXTAuvvDOBiVQ1KB+1uocTK2v8tzYMVDF4r011RmSAtWdtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS46tL2HV93a19HsZHgj1HQtzPOX8XIDI3Oqt0OXn1ofQYAQAoCegYvsmIQ+1rgTVnsYTiIpmbK02z02a8TNzZ+1KyDYwdhqolBHm65Lo8Q==

Where do I find the command line flags for warning names and categories? The manual just says:

-w (all|none|w1,…,wn)

Configure the display of warnings. This option expects all, none or a comma-separated list of warning names or categories (see Section 6.9.3).

Erkki

[Coq-Club] Command line flags for warnings, Erkki Luuk, 11/04/2017
- Re: [Coq-Club] Command line flags for warnings, Théo Zimmermann, 11/05/2017
  - Re: [Coq-Club] Command line flags for warnings, Erkki Luuk, 11/07/2017
  - Re: [Coq-Club] Command line flags for warnings, Christian Doczkal, 11/08/2017
    - Re: [Coq-Club] Command line flags for warnings, Théo Zimmermann, 11/09/2017