coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Compile failure on Mac OS X

From: Edsko de Vries <edskodevries AT gmail.com>
To: Arnaud Spiwack <Arnaud.Spiwack AT lix.polytechnique.fr>
Cc: coq-club <coq-club AT pauillac.inria.fr>
Subject: Re: [Coq-Club] Compile failure on Mac OS X
Date: Mon, 13 Jul 2009 10:04:22 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

It might be that you haven't compiled camlp5 in --transitional mode.

No, did -- I didn't pass any options to configure either way, which I think means that it defaults to transitional; configure told me:

=== transitional mode ===

at the end.

Thanks,

Edsko

[Coq-Club] Compile failure on Mac OS X, Edsko de Vries
- Re: [Coq-Club] Compile failure on Mac OS X, Yves Bertot
  - Re: [Coq-Club] Compile failure on Mac OS X, Edsko de Vries
- Re: [Coq-Club] Compile failure on Mac OS X, Arnaud Spiwack
  - Re: [Coq-Club] Compile failure on Mac OS X, Edsko de Vries
- Message not available
  - Message not available
    - Message not available
      - Message not available
        
        Message not available
        
        Re: [Coq-Club] Compile failure on Mac OS X, Edsko de Vries