1
0
Fork 0

fix(emacs): use direct github dependencies

Signed-off-by: Lucas Sta Maria <lucas@priime.dev>
This commit is contained in:
Lucas Sta Maria 2024-01-05 14:36:39 -05:00
parent 5891efe9a0
commit 97f1e5dbec
No known key found for this signature in database
GPG key ID: F07FB16A826E3B47

View file

@ -98,6 +98,10 @@
(straight-use-package 'lsp-haskell)
(straight-use-package 'company-coq)
(straight-use-package 'proof-general)
(straight-use-package '(llvm-mode :type git :host github
:repo "nverno/llvm-mode"))
(straight-use-package '(pollen-mode :type git :host github
:repo "basus/pollen-mode"))
(straight-use-package 'tuareg)
(straight-use-package 'utop)
@ -110,7 +114,6 @@
;; ====== Custom =============================
(add-to-list 'load-path "~/.emacs.d/include")
(add-to-list 'load-path (expand-file-name "lisp/" user-emacs-directory))
(require 'llvm-mode)
(load-library "general")
(load-library "misc")