The Coq mailing list

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

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