coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: RE: [Coq-Club] Can useless warnings be switched off?
Date: Wed, 3 Aug 2016 10:01:24 +0000
Accept-language: de-DE, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga09.intel.com
Ironport-phdr: 9a23:Dqh5eBBmPyzm5f6d1RxtUyQJP3N1i/DPJgcQr6AfoPdwSP79oMbcNUDSrc9gkEXOFd2CrakV06yJ4uu5AjZIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWD14LohqvroMebSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mooRLVry/dKAlR5RZCi4nOiY7/oej4RLEVE6E4mYWemQQiBtBRQbfukLURJD052HBsedyxDOdJYm+aLE/WT2v6+0jHBrpgycOOjp/62bahdBqi7pzoRS9qhg5yInRNtLGfMFid7/QKItJDVFKWdxcAnRM

Dear Ralf,

the output of configure will tell you which camlp will be used during the
build. So if you can reproduce your build environment, you can rerun
configure.

Best regards,

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[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