The Coq mailing list

[Florent Kirchner <florent.kirchner AT inria.fr>]

Hi Bob,

You should save the patch file "patch-coq-8.0pl1-ocaml-3.08.1" into the 
"coq-8.0pl1/" directory that is created by the coq source tarball. 

Then: "cd coq-8.0pl1/",
apply the patch: "patch -p0 < patch-coq-8.0pl1-ocaml-3.08.1",
and you're set ! Follow instructions in the INSTALL file to complete your
installation.

Florent.


On Tue, Jan 18, 2005 at 08:36:09AM -0800, Robert M. Solovay wrote:
> 
> There is a patch supplied on the Download page but I am not sure how to
> apply it. Could someone please tell me what command I should execute in
> what directory.
> 
> I am currently running Red Hat Linux version 8.0 on my box. {I plan to
> upgrade "real soon now".}
> 
> Thanks,
> 
>       --Bob Solovay
> 
> 
> 
> 
> --------------------------------------------------------
> Bug reports: http://coq.inria.fr/bin/coq-bugs
> Archives: http://pauillac.inria.fr/pipermail/coq-club
>           http://pauillac.inria.fr/bin/wilma/coq-club
> Info: http://pauillac.inria.fr/mailman/listinfo/coq-club
>

Attachment: pgpdN2CyKknjf.pgp
Description: PGP signature