[Nix-dev] proofgeneral cannot find proof-site.el

[Karn Kallio]

> 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