mirrors/doomemacs
1
Fork 0
mirror of https://github.com/doomemacs/doomemacs.git synced 2025-12-15 14:51:01 -08:00
Code Issues Projects Releases Wiki Activity

fix(coq): file-missing generic/proof-site error

Browse source 
To work around shenanigans in proof-general's autoloads. Should be
reverted once ProofGeneral/PG#771 is resolved.

Fix: #8169
Ref: ProofGeneral/PG#771
This commit is contained in:
Henrik Lissner 2024-11-19 04:40:42 -05:00
parent 9423f6bf95
commit 7533707e00
No known key found for this signature in database
GPG key ID: B60957CA074D39A3
2 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -2,6 +2,10 @@
;;;###package proof-general
(setq proof-splash-enable nil)
;; REVIEW: Remove when ProofGeneral/PG#771 is fixed. Also see #8169.
(require 'proof-site
(expand-file-name "generic/proof-site"
(file-name-directory (locate-library "proof-general"))))
;;;###package coq

5
modules/lang/coq/packages.el
View file

@ -1,5 +1,8 @@
;; -*- no-byte-compile: t; -*-
;;; lang/coq/packages.el
(package! proof-general :pin "3a99da275523c8f844fdfa3dd073295eece939f3")
(package! proof-general
:pin "3a99da275523c8f844fdfa3dd073295eece939f3"
;; REVIEW: Remove when ProofGeneral/PG#771 is fixed. Also see #8169.
:recipe (:build (:not autoloads)))
(package! company-coq :pin "5affe7a96a25df9101f9e44bac8a828d8292c2fa")