michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(emacs/lean-settings): use linja for flycheck

Browse source
This commit is contained in:
Soonho Kong 2014-08-29 02:48:28 -07:00
parent 8d39ee7177
commit e966aa3145
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/emacs/lean-settings.el
View file

@ -48,12 +48,12 @@
(defcustom lean-eldoc-nay-retry-time 0.3
"When eldoc-function had nay, try again after this amount of time.")
(defcustom lean-flycheck-checker-name "lmake"
(defcustom lean-flycheck-checker-name "linja"
"lean-flychecker checker name"
:group 'lean
:type 'string)
(defcustom lean-flycheck-checker-options '("--jobs" "--keep-going" "--permissive" "--flycheck")
(defcustom lean-flycheck-checker-options '("--flycheck")
"lean-flychecker checker option"
:group 'lean)