From c483a7f7bd7e4ce3e53fc92db58de824fdc196d5 Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Wed, 18 Dec 2019 10:12:41 -0500 Subject: [PATCH] lang/agda: load agda2 if +local #2203 --- modules/lang/agda/config.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/modules/lang/agda/config.el b/modules/lang/agda/config.el index 876279f1d..d54bddc3b 100644 --- a/modules/lang/agda/config.el +++ b/modules/lang/agda/config.el @@ -3,7 +3,9 @@ (when (and (featurep! +local) (executable-find "agda-mode")) (add-load-path! - (file-name-directory (shell-command-to-string "agda-mode locate")))) + (file-name-directory (shell-command-to-string "agda-mode locate"))) + (unless (require 'agda2 nil t) + (message "Failed to find the `agda2' package"))) (map! :after agda2-mode