[Nix-dev] Environment variable $COQPATH not set

[Tomasz Czyż]

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/compiler will find the libraries.

2016-10-04 23:00 GMT+01:00 Tomasz Czyż <tomasz.czyz at gmail.com>:

> Anders,
> how did you install it?
>
>
> 2016-10-04 22:51 GMT+01:00 Anders Lundstedt <anders at anderslundstedt.se>:
>
>> 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 misunderstood something?
>> _______________________________________________
>> nix-dev mailing list
>> nix-dev at lists.science.uu.nl
>> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>>
>
>
>
> --
> Tomasz Czyż
>



-- 
Tomasz Czyż
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20161004/ecfd3d8f/attachment-0001.html>