The Coq mailing list

["Soegtrop, Michael" <michael.soegtrop AT intel.com>]

Dear Enrico, Bernhard,

thanks for the hints! I retried it with Ocaml 4.01.0. I can confirm that 
ssreflect 1.5 builds fine with Ocaml 4.01.0, when CamlP5 is installed before 
doing the Coq build configure.

Best regards,

Michael

-----Original Message-----
From: 
coq-club-request AT inria.fr
 
[mailto:coq-club-request AT inria.fr]
 On Behalf Of Bernhard Schommer
Sent: Wednesday, January 14, 2015 7:57 PM
To: 
coq-club AT inria.fr
Subject: Re: [Coq-Club] Errors compiling ssreflect 1.5 using Ocaml 4.01.0 - 
Question on ssreflect INSTALL file

Dear Michael,

just a small remark, the current repo version of compcert needs an ocaml 
version >= 4.00.

Cheers,
Bernhard Schommer

Am 14.01.2015 um 17:30 schrieb Enrico Tassi:
> On Wed, Jan 14, 2015 at 04:24:18PM +0000, Soegtrop, Michael wrote:
>> One more question: Should ssreflect 1.5 compile fine with Ocaml 4.X?
>> Is Ocaml 3.X or Ocaml 4.X the preferred version?
> It compiles fine with 4.0.1, didn't test with 4.0.2.
> 3.12 is fine too.
>
>> Btw.: ssreflect ist not listed in the Opam package list at 
>> https://opam.ocaml.org/packages/ which is another reason why I 
>> decided
> The link I gave you is a repository of coq specific packages.
> Opam can fetch from multiple repositories.
>
> Ciao
>