> Hi Karn Kallio, (or whomever took over the maintenance of proofgeneral) > > I just installed ProofGeneral-4.1 and when I issue the command > 'proofgeneral' with no arguments it fails during startup with the error: > "Cannot open load file: > /nix/store/vbxavv9hma2f8ayrxwqj0x28kaqr8dbh-ProofGeneral-4.1/generic/proof-s > ite.el". > > I would expect it to try to load from > /var/run/current-system/sw/share/emacs/site-lisp/ProofGeneral/generic/proof- > site.el or from > /nix/store/vbxavv9hma2f8ayrxwqj0x28kaqr8dbh-ProofGeneral-4.1/share/emacs/sit > e-lisp/ProofGeneral/generic/proof-site.el > > Looking at the ProofGeneral/default.nix and sed substitution rules I > cannot figure out what is going wrong, could you please shed some light > on this? > > Thanks, > Maarten Faddegon
Hello Maarten, I do not know why proofgeneral is not looking in the correct directories. I have another build with a different hash that does not show the error you have (hydra link: http://hydra.nixos.org/build/3283892). My expressions have diverged from the nixpkgs ones and since the migration to GitHub hosted version control I am not a maintainer. A possibility: does your .emacs configuration file have a modification for Proof General? I have this: ;; Load Proof General (load "ProofGeneral/generic/proof-site") One thing I notice from the hydra build log (http://hydra.nixos.org/job/nixpkgs/trunk/emacs24Packages.proofgeneral) is that your hash (http://hydra.nixos.org/build/3243828) is not the most recent ... maybe it could be that the lastest build fixes the problem? Another thought is that it possibly has to do with emacs version; I am using 24.2.1 Saludos, Karn _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
