TakeV/spacemacs
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

agda: fix executable name

Browse source
This commit is contained in:
Eivind Fonn 2016-05-30 14:59:42 +02:00
parent 881b1f1e7f
commit 2477a3bf89
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
layers/+lang/agda/packages.el
View file

@ -13,14 +13,14 @@
'((agda :location local)))
(defun agda/init-agda ()
(unless (executable-find "agda-mode")
(unless (executable-find "agda")
(spacemacs-buffer/warning
(concat "Agda not detected, be sure that Agda binaries are "
"available in your PATH or check the installation "
"instructions in the README file.")))
(use-package agda2-mode
:if (executable-find "agda-mode")
:if (executable-find "agda")
:defer t
:init (load-file (let ((coding-system-for-read 'utf-8))
(shell-command-to-string "agda-mode locate")))