The Coq mailing list

[Jean-Marc Notin <notin AT lix.polytechnique.fr>]

Ashish Darbari a écrit :
> Hi Yves,
>
> Thank you for your response.
>
> The output of the commands you requested:
>
> Prayag:/usr/local/coq-8.2beta4 root# ls $(ocamlc -where)/camlp5/stdpp.*
> /usr/local/ocaml-3.10.2/lib/camlp5/stdpp.cmi    
> /usr/local/ocaml-3.10.2/lib/camlp5/stdpp.mli

> For my installation here is what I do:
>
> Prayag:/usr/local/coq-8.2beta4 root# ./configure -camldir 
> /usr/local/ocaml-3.10.2/bin -camlp5dir /usr/local/camlp5-5.10/main

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

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature