emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Bump to ProofGeneral/PG@2a17093

Browse source 
From ProofGeneral/PG@89829c2

Also removes pg-init hacks, as they no longer seem necessary after
ProofGeneral/PG@7371521

Hopefully fixes #2565
This commit is contained in:
Henrik Lissner 2020-02-20 16:52:56 -05:00
parent 59cb9b4aba
commit 8a5ffc32f5
No known key found for this signature in database
GPG key ID: 5F6C0EA160557395
2 changed files with 2 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

11
modules/lang/coq/config.el
View file

@ -1,16 +1,7 @@
;;; lang/coq/config.el -*- lexical-binding: t; -*-
;;;###package proof-general
;; HACK `proof-general' ascertains its own library path at compile time in its
;; autoloads file using `byte-compile-current-file' (and stores it in
;; `pg-init--script-full-path'). This means that when
;; `doom-package-autoload-file' is created and byte-compiled,
;; `pg-init--script-full-path' will be wrong, causing file-missing errors as it
;; tries to load `proof-site'. We prevent this by defining these two variables
;; early, in our own autoloads file.
(setq pg-init--script-full-path (locate-library "proof-general")
pg-init--pg-root (file-name-directory pg-init--script-full-path)
proof-splash-enable nil)
(setq proof-splash-enable nil)
;;;###package coq