Red Hat Bugzilla – Bug 972343
emacs-proofgeneral misses proof-site.elc and lets emacs stop loading
Last modified: 2013-09-03 18:24:02 EDT
Description of problem:
Package emacs-proofgeneral installs file
which ist loaded when emacs is started.
This file requires "proof-site" which loads
This file requires "proof-autoloads" which is not installed by package "emacs-proofgeneral".
Package "emacs-proofgeneral-el" contains file "proof-autoloads.el", but package "emacs-proofgeneral" does not contain "proof-autoloads.elc".
Version-Release number of selected component (if applicable):
Steps to Reproduce:
1. Install Package "emacs-proofgeneral", but not "emacs-proofgeneral-el".
2. Start emacs.
In emacs in the *Messages* buffer you see the messages:
Loading /usr/share/emacs/site-lisp/site-start.d/pg-init.el (source)...
byte-code: Cannot open load file: proof-autoloads
No error message.
I think the solution is to byte-compiled file
Then this file should be contained in and installed by package "emacs-proofgeneral".
emacs-common-proofgeneral-4.2-1.fc19 has been submitted as an update for Fedora 19.
* should fix your issue,
* was pushed to the Fedora 19 testing repository,
* should be available at your local mirror within two days.
Update it with:
# su -c 'yum update --enablerepo=updates-testing emacs-common-proofgeneral-4.2-1.fc19'
as soon as you are able to.
Please go to the following url:
then log in and leave karma (feedback).
emacs-common-proofgeneral-4.2-1.fc19 has been pushed to the Fedora 19 stable repository. If problems still persist, please make note of it in this bug report.