coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coqdoc - not a bytecode executable file

From: Stéphane Glondu <steph AT glondu.net>
To: Xavier Leroy <Xavier.Leroy AT inria.fr>
Cc: "Richard W.M. Jones" <rjones AT redhat.com>, coq-club AT pauillac.inria.fr, amdunn AT gmail.com
Subject: Re: [Coq-Club] Coqdoc - not a bytecode executable file
Date: Fri, 05 Sep 2008 08:14:09 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Openpgp: id=FCE03DAA

Xavier Leroy wrote:
> As a case in point, the Makefile for Coq 8.1 sets -custom while
> compiling coqdoc, while I'm pretty sure it would work without.
> (I didn't check 8.2, though.)

The issue is being worked on at the moment. Hopefully, 8.2 won't use
-custom anymore.

Cheers,

--
Stéphane Glondu

Re: [Coq-Club] Coqdoc - not a bytecode executable file, Stephane Glondu
- Re: [Coq-Club] Coqdoc - not a bytecode executable file, Richard W.M. Jones
  - Re: [Coq-Club] Coqdoc - not a bytecode executable file, Alan Dunn
    - Re: [Coq-Club] Coqdoc - not a bytecode executable file, Richard W.M. Jones
  - Re: [Coq-Club] Coqdoc - not a bytecode executable file, Xavier Leroy
    - Re: [Coq-Club] Coqdoc - not a bytecode executable file, Stéphane Glondu