The Coq mailing list

[Tom Prince <tom.prince AT ualberta.net>]

Coq allows developments to be installed and made automatically
available. Traditionally, the only place it would look is in 
<coqlib>/user-contrib. You could also pass a -R to add more directories
to this list.

However, if coq is installed system-wide, then user-contrib isn't user
writable. I recently added a COQPATH environment variable to tell coq to
search additional directories. I think it would be useful to pick a
standard location for user installed developments, that coq searches
automatically, and that coq_makefile can be taught to install to.

Python has this, an uses $HOME/.local/lib/python$VERSION/site-packages
I would suggest $HOME/.local/lib/coq for this. I am curious if people 
think this is a good idea, and if so, what their opinions on location
are.

  Tom