coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Chris Dams <chris.dams.nl AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Can useless warnings be switched off?
Date: Thu, 18 Aug 2016 15:31:11 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=chris.dams.nl AT gmail.com; spf=Pass smtp.mailfrom=chris.dams.nl AT gmail.com; spf=None smtp.helo=postmaster AT mail-io0-f180.google.com
Ironport-phdr: 9a23:LPBmIB/csy/zmP9uRHKM819IXTAuvvDOBiVQ1KB91ewcTK2v8tzYMVDF4r011RmSDNydsa4P1bGe8/i5HzdRudDZ6DFKWacPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvjotuJP04W33L9Oeo0d0Tu612J94E/ushLEu4J0BzHo39FKax95FhDAhatpSv6/dq655V58i5d6LoL/s9EVrjmLexjFeQLRGduD2dg78ry8BLHUAHHsnAbSyAdlgdCKwnD9hDzGJnr5HjUrO14jQKaJ8ztBZw9XC/qu6xrUh7zzisOMiV/9mX/hcl5jaYdqxWk8U8si7XIaZ2YYaItNpjWeskXEDJM

Dear All,

It indeed turns out that the usage of camlp4 instead of camlp5 was the problem. I now installed camlp5 van removed a reference to camlp4 from the PKGBUILD file and afer rebuilding coq the warnings are gone.

Many Thanks,

Chris

Re: [Coq-Club] Can useless warnings be switched off?, (continued)
- 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