The Coq mailing list

[Enrico Tassi <enrico.tassi AT inria.fr>]

On Wed, Jan 14, 2015 at 10:32:16AM +0000, Soegtrop, Michael wrote:
> In case it makes a difference: I use the Coq 8.4pl5 (compiled from
> sources using the same Ocaml).
> 
> The ssreflect INSTALL file mentions that "Coq version 8.4 compiled
> with CamlP5" is required. I am not sure I understand the dependency on
> CamlP5. I compiled Coq 8.4pl5 from sources ant it works fine (e.g.
> CompCert and VST builds run through fine). I also compiled and
> installed CamlP5 before building ssreflect, but I am not sure I
> understand what is meant by "Coq compiled with CamlP5". Should I
> compile Coq in some different non standard way in order to be able to
> compile ssreflect 1.5?

I can help you but first I need to know on which platform are you are working.
Is it win, osx, or liunx (which distro)?  Maybe there is an easy way top
get ssr 1.5 for your platform...

Best,
-- 
Enrico Tassi