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: Wed, 3 Aug 2016 11:58:33 +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:irkfBBaFy72trxCXwcRGqUL/LSx+4OfEezUN459isYplN5qZpc6/bnLW6fgltlLVR4KTs6sC0LuO9f+xEjVbu96oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JXvkb/jsMSIOU1hv3mUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqLjOq88ULZwDTI8Mmlz6te4mwPESF61738SGkcLlBUAVwrY6h7SW4/w9zDlrax6wibMbp6+dqw9RTn3t/QjcxTvkipSbzM=

Hi,

> I also wonder if how I can check which of camlp4 or camlp5 is used in my
> Coq binary.. But if you installed Coq via opam or from tarball, it is
> highly likely that your Coq uses camlp5. It is the default option.
>
> Note that you can `opam install coq.8.5.2~camlp4` to obtain the
> camlp4-based version of Coq.

I see... I compiled Coq myself though. Both versions of camlp were
present during "./configure" time.

Well, I just uninstalled camlp4, so the next time I re-compile I know
what it is using. ;)

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