[Nix-dev] Environment variable $COQPATH not set

[Tomasz Czyż]

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ż
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20161004/df154b63/attachment.html>