The Coq mailing list

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

Dear Enrico,

ah, this explains it. I didn't understand how to tell the Coq make system 
that camlp5 is there, so I didn't try to just build it before. I guess adding 
your statement "install camlp5 *before* configuring coq.  It will detect it 
and use it instead of camlp4" to the ssreflect INSTALL file might help 
others. It was not clear to me what exactly to do with camlp5 from the 
ssreflect INSTALL file.

One more question: Should ssreflect 1.5 compile fine with Ocaml 4.X? Is Ocaml 
3.X or Ocaml 4.X the preferred version?

I considered using Opam, but since compiling everything from sources is quite 
easy (except for ssreflect), I decided against it.

Btw.: ssreflect ist not listed in the Opam package list at 
https://opam.ocaml.org/packages/ which is another reason why I decided 
against using Opam. I think I saw an ssreflect opam package on a site from, 
if I remember right, Thomas Braibant, but I was unsure how well maintained 
this is.

Best regards,

Michael

-----Original Message-----
From: 
coq-club-request AT inria.fr
 
[mailto:coq-club-request AT inria.fr]
 On Behalf Of Enrico Tassi
Sent: Wednesday, January 14, 2015 5:03 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

On Wed, Jan 14, 2015 at 03:46:59PM +0000, Soegtrop, Michael wrote:
> Dear Enrico,
> 
> I am on Ubuntu 12.04 LTS, but I don't have root rights, which makes 
> package installtion complicated. Compile everything from sources seems 
> to be easier. Also I prefer to know exactly what I have.

If you really want to do things by hand, then install camlp5 *before* 
configuring coq.  It will detect it and use it instead of camlp4.
Installing it afterwards is not an option, both coq and ssreflect must be 
compiled with it.

If your system happens to have opam installed or you manage to install it 
manually then I recommend you follow the instructions here:

  https://github.com/coq/repo-stable

There are not many packages available, but ssreflect 1.5 and compcert
2.4 are there.

Best,
--
Enrico Tassi