The Coq mailing list

[Robbert Krebbers <mailinglists AT robbertkrebbers.nl>]

Hi Vincent,

thanks a lot for your answer, this works very well!

Robbert

On 10/06/2014 12:51 PM, Vincent Laporte wrote:
> 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.