Thanks for the help guys, now I have a working solution using
nix-shell. However I wonder why using nix-shell is necessary for Coq
(coqtop, coqc etc.) to have access to installed libraries?
On Wed, Oct 5, 2016 at 12:00 AM, Tomasz Czyż wrote:
> how did you install it?
I tried both with nix-env -
I don't think COQPATH will be set in your environment. What I understand
from it is: when you install interpreter, interpeter gets packages from
this variable and this variable will be set (it does not mean that it's
your local variable). On this level I assume it only means that your
interpreter/c
Anders,
how did you install it?
2016-10-04 22:51 GMT+01:00 Anders Lundstedt :
> I have installed the packages coq and coqPackages.mathcomp. As I
> understand the documentation at
>
> https://nixos.org/nixpkgs/manual/#sec-language-coq
>
> the $COQPATH variable should then be set to include the ma
I have installed the packages coq and coqPackages.mathcomp. As I
understand the documentation at
https://nixos.org/nixpkgs/manual/#sec-language-coq
the $COQPATH variable should then be set to include the mathcomp
libraries. However the $COQPATH variable is not set. Is this a bug or
have I misunde