coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Can useless warnings be switched off?

From: Ralf Jung <jung AT mpi-sws.org>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Can useless warnings be switched off?
Date: Thu, 4 Aug 2016 11:34:56 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jung AT mpi-sws.org; spf=Pass smtp.mailfrom=jung AT mpi-sws.org; spf=None smtp.helo=postmaster AT hera.mpi-klsb.mpg.de
Ironport-phdr: 9a23:JbxEahG5h3M1FaLrcgkTmp1GYnF86YWxBRYc798ds5kLTJ75pc+wAkXT6L1XgUPTWs2DsrQf2rKQ4/qrATBIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWD14Lnjavqp9X6WEZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0/MlZFK7+Yq4QTLpCDT1gPXpmytfssEz5RA+BrlkBVGpexhhVBQft6Qn7G4zuqW39rOUri3rSBtH/Ub1hAWfq1KxsUhK90Co=

Hi Frédéric,

> The output of coq -config should output all the relevant information.

> $ coqc -config
> LOCAL=0
> COQLIB=/home/r/bin/coq-8.5/lib/coq/
> DOCDIR=/home/r/bin/coq-8.5//share/doc/coq/
> OCAMLDEP=/usr/bin/ocamldep
> OCAMLC=/usr/bin/ocamlc
> OCAMLOPT=/usr/bin/ocamlopt
> OCAMLDOC=/usr/bin/ocamldoc
> CAMLBIN=/usr/bin/
> CAMLLIB=/usr/lib/ocaml/
> CAMLP4=camlp5
> CAMLP4O=/usr/bin/camlp5o
> CAMLP4BIN=/usr/bin/
> CAMLP4LIB=/usr/lib/ocaml/camlp5
> CAMLP4OPTIONS=-loc loc
> HASNATDYNLINK=true

So it looks like my version of CAMLP4 is camlp5o... eh?
I guess the names of those environment variables predate camlp5. Anyway,
thanks for the pointer, this is a useful switch to know about!

Kind regards,
Ralf

[Coq-Club] Can useless warnings be switched off?, Chris Dams, 08/01/2016
- Re: [Coq-Club] Can useless warnings be switched off?, Jason Gross, 08/01/2016
  - Re: [Coq-Club] Can useless warnings be switched off?, Chris Dams, 08/02/2016
    - Re: [Coq-Club] Can useless warnings be switched off?, Pierre-Marie Pédrot, 08/03/2016
      - Re: [Coq-Club] Can useless warnings be switched off?, Ralf Jung, 08/03/2016
        
        Re: [Coq-Club] Can useless warnings be switched off?, Jeehoon Kang, 08/03/2016
        
        Re: [Coq-Club] Can useless warnings be switched off?, Ralf Jung, 08/03/2016
        
        RE: [Coq-Club] Can useless warnings be switched off?, Soegtrop, Michael, 08/03/2016
        
        Re: [Coq-Club] Can useless warnings be switched off?, Matej Kosik, 08/03/2016
        
        Re: [Coq-Club] Can useless warnings be switched off?, Frédéric Besson, 08/03/2016
        
        Re: [Coq-Club] Can useless warnings be switched off?, Ralf Jung, 08/04/2016
        Re: [Coq-Club] Can useless warnings be switched off?, Chris Dams, 08/18/2016