doomemacs/modules/lang/agda/packages.el

;; -*- no-byte-compile: t; -*-
;;; lang/agda/packages.el

(unless (featurep! +local)
  (package! agda-input
    :recipe (:host github :repo "agda/agda"
             :files ("src/data/emacs-mode/agda-input.el")
             :nonrecursive t))

  (package! agda2-mode
    :recipe (:host github :repo "agda/agda"
             :files ("src/data/emacs-mode/*.el"
                     (:exclude "agda-input.el"))
             :nonrecursive t)))
Use straight for agda We can fetch the mode directly from straight. There's no need to rely on having this .el file installed for us. Now agda's el files can be edited directly like all other emacs packages. Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com> 2019-08-29 20:07:41 +07:00			`;; -- no-byte-compile: t; --`
			`;;; lang/agda/packages.el`

lang/agda: add +local flag & :nonrecursive to recipes Relevant to #2203 2019-12-17 14:25:05 -05:00			`(unless (featurep! +local)`
			`(package! agda-input`
			`:recipe (:host github :repo "agda/agda"`
			`:files ("src/data/emacs-mode/agda-input.el")`
			`:nonrecursive t))`
Use straight for agda We can fetch the mode directly from straight. There's no need to rely on having this .el file installed for us. Now agda's el files can be edited directly like all other emacs packages. Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com> 2019-08-29 20:07:41 +07:00
lang/agda: add +local flag & :nonrecursive to recipes Relevant to #2203 2019-12-17 14:25:05 -05:00			`(package! agda2-mode`
			`:recipe (:host github :repo "agda/agda"`
			`:files ("src/data/emacs-mode/*.el"`
			`(:exclude "agda-input.el"))`
			`:nonrecursive t)))`