Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Finite Maps - Installing Coq-8.2

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Finite Maps - Installing Coq-8.2


chronological Thread 
  • From: Ashish Darbari <ashish_darbariuk AT yahoo.co.uk>
  • To: Jean-Marc Notin <notin AT lix.polytechnique.fr>
  • Cc: coq-club AT pauillac.inria.fr
  • Subject: Re: [Coq-Club] Finite Maps - Installing Coq-8.2
  • Date: Mon, 12 Jan 2009 14:48:36 +0000 (GMT)
  • Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.co.uk; h=X-YMail-OSG:Received:X-Mailer:References:Date:From:Reply-To:Subject:To:Cc:MIME-Version:Content-Type:Message-ID; b=Vr7s/GROgDs7+jixERBP2PrJuZWwc8qx1y7XWYShtE498DMWS20j1duxeHOJlVx/7JtM/9LsX32iO6//qXDQM3dyr9pnFaDLJSM1vs7gJXnYwMfpMozZzH/NFugwCJK+x6GM/Yn/Ebvir6I1237DZizYRyBYrPRyrds8mJOJ7TQ=;
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Hi Jean-Marc,

On a re-install of Camlp5 using your suggestion I did
manage to complete the Coq install. 

Thanks
Ashish

What I understand about your installation is that /usr/local/camlp5-5.10/ is the source directory for Camlp5,
not the installation directory. You should try to reinstall properly Camlp5, and re-configure Coq with the appropriate path:

In /usr/local/camlp5-5.10/, execute:
  ./configure -transitional -prefix usr/local/ocaml-3.10.2/ (it will install camlp5 in the the directories as OCaml)
  make world.opt
  make install

In usr/local/coq-8.2beta4, execute:
  ./configure -camldir /usr/local/ocaml-3.10.2/bin

(the configure script should find Camlp5 in the OCaml standard directory. If not try ./configure -camldir /usr/local/ocaml-3.10.2/bin -camlp5dir /usr/local/ocaml-3.10.2/lib/ocaml/camlp5/)

And then:
  make world

I hope this could help...

-- Jean-Marc Notin
CNRS - LIX



Archive powered by MhonArc 2.6.16.

Top of Page