[emacs] add flycheck's missing deps (pkg-info & epl) & configure it

diff --git a/.gitmodules b/.gitmodules
index d267480..a288425 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -34,6 +34,9 @@
 [submodule "epkg"]
        path = lib/epkg
        url = git@github.com:emacscollective/epkg.git
 [submodule "epkg"]
        path = lib/epkg
        url = git@github.com:emacscollective/epkg.git

+[submodule "epl"]
+       path = lib/epl
+       url = git@github.com:cask/epl.git

 [submodule "exec-path-from-shell"]
        path = lib/exec-path-from-shell
        url = git@github.com:purcell/exec-path-from-shell.git
 [submodule "exec-path-from-shell"]
        path = lib/exec-path-from-shell
        url = git@github.com:purcell/exec-path-from-shell.git


@@ -84,6 +87,9 @@
 [submodule "packed"]
        path = lib/packed
        url = git@github.com:emacscollective/packed.git
 [submodule "packed"]
        path = lib/packed
        url = git@github.com:emacscollective/packed.git

+[submodule "pkg-info"]
+       path = lib/pkg-info
+       url = git@github.com:lunaryorn/pkg-info.el.git

 [submodule "popup"]
        path = lib/popup
        url = git@github.com:auto-complete/popup-el.git
 [submodule "popup"]
        path = lib/popup
        url = git@github.com:auto-complete/popup-el.git

diff --git a/init.org b/init.org
index 7127c0e..cf0a96c 100644 (file)
--- a/init.org
+++ b/init.org
@@ -931,6 +931,17 @@ TODO: break this giant source block down into individual org sections.
   (setq undo-tree-mode-lighter ""))
 #+end_src
 
   (setq undo-tree-mode-lighter ""))
 #+end_src
 

+* Syntax and spell checking
+#+begin_src emacs-lisp
+(use-package flycheck
+  :hook (prog-mode . flycheck-mode)
+  :config
+  ;; Use the load-path from running Emacs when checking elisp files
+  (setq flycheck-emacs-lisp-load-path 'inherit)
+
+  ;; Only flycheck when I actually save the buffer
+  (setq flycheck-check-syntax-automatically '(mode-enabled save)))
+#+end_src

 * Programming modes
 
 ** [[https://github.com/leanprover/lean-mode][Lean]]
 * Programming modes
 
 ** [[https://github.com/leanprover/lean-mode][Lean]]

diff --git a/lib/epl b/lib/epl
new file mode 160000 (submodule)
index 0000000..78ab7a8
--- /dev/null
+++ b/lib/epl
@@ -0,0 +1 @@
+Subproject commit 78ab7a85c08222cd15582a298a364774e3282ce6

diff --git a/lib/pkg-info b/lib/pkg-info
new file mode 160000 (submodule)
index 0000000..76ba741
--- /dev/null
+++ b/lib/pkg-info
@@ -0,0 +1 @@
+Subproject commit 76ba7415480687d05a4353b27fea2ae02b8d9d61