The Coq mailing list

[Vincent Laporte <vincent.laporte AT gmail.com>]

Hello,

You may install libraries wherever is convenient for you. Then make sure
to set the $COQPATH environment variable accordingly.

For instance, if you install ssreflect using:

    make install COQLIB=/your/path/

then if you add `/your/path/user-contrib` to the $COQPATH environment
variable, coqtop / coqc / coqide will find ssreflect:

    export COQPATH=/your/path/user-contrib:$COQPATH

Regards,
--
Vincent.