The Coq mailing list

[Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>]

The idea of Tom Prince has been implemented and

make userinstall

should do the work. Complain on coq.inria.fr/bugs/ if it does not :-)
Pierre B.
PS : OK I realize that I checked in trunk. I’m pretty sure it is older than 
8.4 but I’m sorry if it isn’t ...

Le 6 oct. 2014 à 18:20, Robbert Krebbers 
<mailinglists AT robbertkrebbers.nl>
 a écrit :

> Hello,
> 
> I am trying to compile a Coq project that relies on ssreflect and mathcomp. 
> While doing this, I wonder if one does not want to
> 
>  make install
> 
> due to the lack of superuser rights (or because one wants to keep Coq 
> contribs in a place that is user writable), what is the appropriate place 
> to put user contributions?
> 
> On the mailinglist, I can only find a discussion on "04/24/2011 04:18 PM" 
> where Tom Prince proposes to use "$HOME/.local/lib/coq" for this. What is 
> the current status?
> 
> Robbert