coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] gramlib.cmxa problems

From: "Alan Dunn" <amdunn AT gmail.com>
To: "Ashish Darbari" <ashish AT darbari.org>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] gramlib.cmxa problems
Date: Wed, 8 Oct 2008 06:20:31 -0400
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=tmyVYXcm2BP28iGsvSaHi2bfOub+278V05g9pVhmJ8qeOSBgdi3Ymhlo8CcEHnGhMQ wT9iw5sA8rOAC4F3+ASseuRdexBuUqNewhR/DGr6RLg1F++btluqjNLPlrtrEHmiwZY+ faQSZI+lJo9+JblZ/3EX70pH2GYJDanEolHvM=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

I'm not sure to what degree RHEL might allow you to install Fedora
packages, but if the file is missing outright, you can try the
ocaml-camlp5-devel RPM from Fedora 9 - it has this file, and I've
never experienced any problems with Coq using Fedora (though I've
never used 8.2 if that's what you're trying...). Given what this file
seems to do as part of camlp5, it's somewhat surprising to me that
this isn't found... is it not there, or is there perhaps some sort of
path error?

- Alan

On Tue, Oct 7, 2008 at 1:57 PM, Ashish Darbari
<ashish_darbariuk AT yahoo.co.uk>
wrote:
> My Coq installation on a Red Hat Enterprise Linux Server 5
> is failing with the error that gramlib.cmxa is not found even though neither
> the ocaml (3.10.2) nor the camlp5 (tried transitional and strict both)
> installation
> complains about anything - they install without any errors.
>
> I type make world in the top level directory containing coq (latest version)
> and I
> get this error.
>
> Can anyone please help?
>
> Ashish
>
>
>

[Coq-Club] gramlib.cmxa problems, Ashish Darbari
- Re: [Coq-Club] gramlib.cmxa problems, Alan Dunn