diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2019-01-13 22:00:28 +0100 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2019-01-13 22:01:12 +0100 |
commit | a7d51cef7ca10d651e21e89e9e8a84fcec823888 (patch) | |
tree | 87f5653abd95d6094cf7d40dc265d16f565b519f /generic | |
parent | 2706e51cd3b1fdb136ca42050d383b8a3a07eab6 (diff) |
Fix ProofGeneral/PG#413 further
The previous code raised some bytecomp errors when loading a ~/.emacs
containing a bootstrapped use-package proof-general config., such as:
```
(require 'package)
(let* ((no-ssl (and (memq system-type '(windows-nt ms-dos))
(not (gnutls-available-p))))
(proto (if no-ssl "http" "https")))
(add-to-list 'package-archives
(cons "melpa" (concat proto "://melpa.org/packages/")) t))
(package-initialize)
;; Bootstrap use-package
(unless (package-installed-p 'use-package)
(package-refresh-contents)
(package-install 'use-package))
(eval-when-compile
(require 'use-package))
(use-package proof-general
:ensure t
:mode ("\\.v\\'" . coq-mode))
```
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions