coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ashish Darbari <ashish_darbariuk AT yahoo.co.uk>
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club] gramlib.cmxa problems
- Date: Tue, 7 Oct 2008 17:57:40 +0000 (GMT)
- Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.co.uk; h=X-YMail-OSG:Received:X-Mailer:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type:Message-ID; b=OLYYrbtoNjLcu6rz00H1PnA1v5q/RbD4HOBAWGW3Qao3+rxz2qBTD79BZMHsyRMMZhY+87UAjmJz7g/nNIPEwctPYh1dhgn9RSflfw5JyUWrr3z5mnli42k7PHUDA2BCn5+PH5772censTv7zQFjU3saXqPRI8nCTfWaVwrWOHA=;
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
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
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
Archive powered by MhonArc 2.6.16.