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

fix(emacs/lean-tags): support windows

Browse source
This commit is contained in:
Soonho Kong 2014-09-19 09:41:27 -07:00
parent af4e18dd44
commit 3e4755db25
1 changed files with 14 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
src/emacs/lean-tags.el
View file

@ -17,12 +17,21 @@
(defun lean-generate-tags ()
"Run linja TAGS and let emacs use the generated TAGS file."
(interactive)
(let ((ltags-file-name (lean-get-executable "linja")))
(let* ((ltags-file-name (lean-get-executable "linja"))
ltags-command)
(setq ltags-command
(cond ((string= system-type "windows-nt")
(append '("python" nil "*lean-tags*" nil)
`(,ltags-file-name)
lean-flycheck-checker-options
'("tags")))
(t
(append `(,ltags-file-name nil "*lean-tags*" nil)
lean-flycheck-checker-options
'("tags")))))
(message "Generating TAGS...")
(apply 'call-process
(append `(,ltags-file-name nil "*lean-tags*" nil)
lean-flycheck-checker-options
'("TAGS")))
(apply 'call-process ltags-command)
(message "TAGS generated.")
(setq tags-table-list (lean-tags-table-list))))