2018-02-10 00:32:00 -05:00
|
|
|
;; -*- no-byte-compile: t; -*-
|
|
|
|
;;; tools/pdf/packages.el
|
2018-02-06 01:07:36 +01:00
|
|
|
|
2020-08-21 20:07:26 -04:00
|
|
|
(package! pdf-tools
|
2021-05-24 01:36:42 -04:00
|
|
|
: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)))))))))
|
2021-05-22 22:43:56 -04:00
|
|
|
:pin "d262cf9e19d57c6567e06e51d109150c20753839")
|
2020-11-27 15:52:31 -05:00
|
|
|
|
2021-02-25 13:47:12 -05:00
|
|
|
(package! saveplace-pdf-view :pin "54ed966b842501c3c092dbf57b372e37b033c578")
|