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