diff options
| author | Rudi Grinberg | 2020-12-01 16:06:45 -0800 |
|---|---|---|
| committer | Rudi Grinberg | 2020-12-01 16:06:45 -0800 |
| commit | e830fc41df452afd8139914c022945c44a6cea35 (patch) | |
| tree | e6eb2dc22b7873bb4f20b2c2a6b8a0c919ed8769 /proof-general.el | |
| parent | 0fdb1ae633baeb9afb07bbd8632bece5976f95f2 (diff) | |
Fix byte compilation
load-file-name is not set to pg's source when compiling from doom-emacs
https://github.com/hlissner/doom-emacs/issues/2788
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
Diffstat (limited to 'proof-general.el')
| -rw-r--r-- | proof-general.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/proof-general.el b/proof-general.el index d0955088..5b4b6a56 100644 --- a/proof-general.el +++ b/proof-general.el @@ -56,8 +56,9 @@ ;;;###autoload (eval-and-compile (defvar pg-init--script-full-path - (or (and load-in-progress load-file-name) - (bound-and-true-p byte-compile-current-file) + (or (bound-and-true-p byte-compile-current-file) + (and load-in-progress load-file-name) + (buffer-file-name))) (defvar pg-init--pg-root (file-name-directory pg-init--script-full-path))) |