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

tools/pdf: build epdfinfo when pdf-tools is built

Browse source 
This fixes a number of UX issues with pdf-tools trying to eagerly build
epdfinfo at the least appropriate times, e.g. when org-mode processes
org-pdf-tools links.

Mentioned in #5086
This commit is contained in:
Henrik Lissner 2021-05-24 01:36:42 -04:00
parent 6321b3a249
commit eb9b7b0bbc
2 changed files with 14 additions and 34 deletions
Download patch file Download diff file Expand all files Collapse all files

15
modules/tools/pdf/packages.el
View file

@ -2,7 +2,20 @@
;;; tools/pdf/packages.el
(package! pdf-tools
:recipe (:host github :repo "vedang/pdf-tools") ; active fork
:recipe (:host github
:repo "vedang/pdf-tools"
:post-build
(let ((warning-minimum-log-level :error))
(require 'pdf-tools)
(unless (file-exists-p pdf-info-epdfinfo-program)
(require 'pdf-occur)
(print-group!
(print! (start "Building epdfinfo for pdf-tools"))
(with-current-buffer (pdf-tools-install 'no-query)
(while compilation-in-progress
(sleep-for 1))
(when (> compilation-num-errors-found 0)
(print! (warn "Failed to build epdfinfo because: %s" (buffer-string)))))))))
:pin "d262cf9e19d57c6567e06e51d109150c20753839")
(package! saveplace-pdf-view :pin "54ed966b842501c3c092dbf57b372e37b033c578")