From e830fc41df452afd8139914c022945c44a6cea35 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Tue, 1 Dec 2020 16:06:45 -0800 Subject: 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 --- proof-general.el | 5 +++-- 1 file 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))) -- cgit v1.2.3