emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
doomemacs/modules/lang/agda/packages.el

17 lines
541 B
EmacsLisp
Raw Normal View History

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
refactor: deprecate featurep! for modulep! featurep! will be renamed modulep! in the future, so it's been deprecated. They have identical interfaces, and can be replaced without issue. featurep! was never quite the right name for this macro. It implied that it had some connection to featurep, which it doesn't (only that it was similar in purpose; still, Doom modules are not features). To undo such implications and be consistent with its namespace (and since we're heading into a storm of breaking changes with the v3 release anyway), now was the best opportunity to begin the transition.
2022-08-12 20:29:19 +02:00
(unless (modulep! +local)
lang/agda: add +local flag & :nonrecursive to recipes Relevant to #2203
2019-12-17 14:25:05 -05:00
(package! agda-input
:recipe (:host github :repo "agda/agda"
:files ("src/data/emacs-mode/agda-input.el")
PIN ALL THE PACKAGES
2020-01-14 22:32:11 -05:00
:nonrecursive t)
bump: :lang Andersbakken/rtags@ee1ab7b9a6c8 -> Andersbakken/rtags@05117a9a293a FStarLang/fstar-mode.el@ab0697b9474f -> FStarLang/fstar-mode.el@7d353de89248 Fanael/edit-indirect@f80f63822ffa -> Fanael/edit-indirect@82a28d8a8527 ProofGeneral/PG@8416875696cb -> ProofGeneral/PG@a38857a6a099 Sarcasm/irony-mode@870d1576fb27 -> Sarcasm/irony-mode@40e0ce19eb85 aaronjensen/flycheck-credo@e88f11ead538 -> aaronjensen/flycheck-credo@e285bd042a53 agda/agda@bb7603d19781 -> agda/agda@fbf9d159c3c8 amake/flutter.el@edd3f5eb3f46 -> amake/flutter.el@004c91e070a9 ananthakumaran/exunit.el@e0a8c2b81f3d -> ananthakumaran/exunit.el@e008c89e01e5 ananthakumaran/tide@29475d9eee26 -> ananthakumaran/tide@b38dfc3f8fb7 arthurnn/minitest-emacs@ddd152c990a5 -> arthurnn/minitest-emacs@5999c45c0472 babashka/neil@40993873bb4e -> babashka/neil@a1db63d420b8 beancount/beancount-mode@0f1e33067e50 -> beancount/beancount-mode@546163fd2ccc borkdude/flycheck-clj-kondo@ff7bed231575 -> borkdude/flycheck-clj-kondo@9089ade9e01b cdominik/cdlatex@ac024ce29318 -> cdominik/cdlatex@33770dec7313 clojure-emacs/cider@120fd885d37c -> clojure-emacs/cider@aa26d62ac599 clojure-emacs/clj-refactor.el@0a2a6cbc2e29 -> clojure-emacs/clj-refactor.el@fa3efe18e715 clojure-emacs/clojure-mode@25d713a67d8e -> clojure-emacs/clojure-mode@222fdafa2add clojure-emacs/parseclj@74ff7d63fed9 -> clojure-emacs/parseclj@6af22372e0fe clojure-emacs/parseedn@c8f07926a688 -> clojure-emacs/parseedn@3407e4530a36 crystal-lang-tools/emacs-crystal-mode@9bfb9f0f566e -> crystal-lang-tools/emacs-crystal-mode@ea89b108fa42 davazp/graphql-mode@1437b790060f -> davazp/graphql-mode@49a391b5290e dgutov/robe@912ae2ba1f46 -> dgutov/robe@4ecd868da9ad dominikh/go-mode.el@166dfb1e0902 -> dominikh/go-mode.el@8dce1e3ba1cd elixir-editors/emacs-elixir@7641373f0563 -> elixir-editors/emacs-elixir@00d6580a040a emacs-geiser/geiser@49d12a14482c -> emacs-geiser/geiser@bb77719c2583 emacs-geiser/guile@ee33af6b4ef8 -> emacs-geiser/guile@6e0811c75d13 emacs-lsp/emacs-ccls@dd33da8ed74e -> emacs-lsp/emacs-ccls@9b4a47e0418d emacs-lsp/lsp-dart@3db9f93c8305 -> emacs-lsp/lsp-dart@e7ee6afc2e16 emacs-lsp/lsp-java@449673da7221 -> emacs-lsp/lsp-java@c962a3b3ac2b emacs-php/composer.el@5af1707fefbd -> emacs-php/composer.el@91945f1bdb65 emacs-php/php-mode@fb11df8268b7 -> emacs-php/php-mode@a0bcafbe3049 emacs-php/phpactor.el@9440005814c4 -> emacs-php/phpactor.el@8733fef84b45 emacs-php/psysh.el@796b26a5cd75 -> emacs-php/psysh.el@c7dde979d9fd emacs-straight/adaptive-wrap@0d5b4a07de76 -> emacs-straight/adaptive-wrap@70005d2012ab emacs-straight/auctex@3929d5408b1e -> emacs-straight/auctex@86b2397abdc2 emacs-straight/csv-mode@d190a479b4f3 -> emacs-straight/csv-mode@81c1a9febd2a emacs-straight/rainbow-mode@8e96388fb4d6 -> emacs-straight/rainbow-mode@70ed10d410ef emacs-straight/sml-mode@5426ff473824 -> emacs-straight/sml-mode@e5354371f361 emacsmirror/cmake-mode@f9c7a21254a8 -> emacsmirror/cmake-mode@b08b5d904530 emacsorphanage/dart-mode@9c846769abd3 -> emacsorphanage/dart-mode@dffc0209a19f erlang/otp@be7109f43bee -> erlang/otp@0ca7e064f5a9 factor/factor@76ac65649d61 -> factor/factor@23fcfc70753a flycheck/flycheck-cask@4b2ede6362de -> flycheck/flycheck-cask@0eeec5197e9d fxbois/web-mode@57856ba64b93 -> fxbois/web-mode@82847071ce93 gcv/julia-snail@18b891b45690 -> gcv/julia-snail@d36653bb9380 gdkrmr/lsp-julia@c584f79c7fee -> gdkrmr/lsp-julia@c869b2f6c05a godotengine/emacs-gdscript-mode@d392e8aa7e7c -> godotengine/emacs-gdscript-mode@8a28276daaa2 greghendershott/racket-mode@947d9806ee27 -> greghendershott/racket-mode@d3ab936af109 haskell/haskell-mode@79eaf444a721 -> haskell/haskell-mode@43b4036bf02b hhvm/hack-mode@26f06ffe8257 -> hhvm/hack-mode@278e4cc4032b hvesalai/emacs-scala-mode@5d7cf21c37e3 -> hvesalai/emacs-scala-mode@4c6d636b86e3 idris-hackers/idris-mode@c96f45d1b8fa -> idris-hackers/idris-mode@37c6b8199031 immerrr/lua-mode@7eb8eaa420c2 -> immerrr/lua-mode@d074e4134b1b iyefrat/evil-tex@3e0a26b91a1a -> iyefrat/evil-tex@2a3177c818f1 jrblevin/markdown-mode@b1a862f0165b -> jrblevin/markdown-mode@e096bb97a91f json-emacs/json-mode@eedb4560034f -> json-emacs/json-mode@bfd1557aaa20 jwiegley/emacs-async@71cc50f27ffc -> jwiegley/emacs-async@d040f72cb0be ledger/ledger-mode@4b32f701736b -> ledger/ledger-mode@11e748d4838d ljos/jq-mode@071c1c29bac3 -> ljos/jq-mode@37028e120041 nex3/haml-mode@fe83c65c1f00 -> nex3/haml-mode@a64d58df8f09 nlamirault/phpunit.el@4a36906344c0 -> nlamirault/phpunit.el@650a50898de1 nonsequitur/inf-ruby@03475ac1cca4 -> nonsequitur/inf-ruby@dac615c7fdbb ocaml-ppx/ocamlformat@7db948a8946e -> ocaml-ppx/ocamlformat@b8b09566904c ocaml/dune@360b00027166 -> ocaml/dune@64d19876ad6d pashky/restclient.el@0ba72816f92f -> pashky/restclient.el@e2a2b13482d7 psibi/dhall-mode@c77f1c1e75b6 -> psibi/dhall-mode@87ab69fe765d purescript-emacs/emacs-psci@9bb6a3253254 -> purescript-emacs/emacs-psci@ef31045295f2 purescript-emacs/psc-ide-emacs@ce97d719458e -> purescript-emacs/psc-ide-emacs@4e614df553fb s-kostyaev/go-gen-test@f84f4177af7f -> s-kostyaev/go-gen-test@af00a9abbaba seagle0128/grip-mode@5809fb62f6dd -> seagle0128/grip-mode@e145adb22593 senny/rbenv.el@2ea1a5bdc126 -> senny/rbenv.el@588b817d5107 technomancy/fennel-mode@8f721285e123 -> technomancy/fennel-mode@5965c8fc693a tpapp/julia-repl@9503ef711073 -> tpapp/julia-repl@4947319bc948 weijiangan/flycheck-golangci-lint@8e446c683110 -> weijiangan/flycheck-golangci-lint@9def093e416e wwwjfy/emacs-fish@6869efbc05cd -> wwwjfy/emacs-fish@2526b1803b58 yoshiki/yaml-mode@3fcb36d6039b -> yoshiki/yaml-mode@5b58248ab255 Close: #7648
2024-02-05 16:36:41 -05:00
:pin "fbf9d159c3c874b8328ccdc78a0d57d57a310234")
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"))
PIN ALL THE PACKAGES
2020-01-14 22:32:11 -05:00
:nonrecursive t)
bump: :lang Andersbakken/rtags@ee1ab7b9a6c8 -> Andersbakken/rtags@05117a9a293a FStarLang/fstar-mode.el@ab0697b9474f -> FStarLang/fstar-mode.el@7d353de89248 Fanael/edit-indirect@f80f63822ffa -> Fanael/edit-indirect@82a28d8a8527 ProofGeneral/PG@8416875696cb -> ProofGeneral/PG@a38857a6a099 Sarcasm/irony-mode@870d1576fb27 -> Sarcasm/irony-mode@40e0ce19eb85 aaronjensen/flycheck-credo@e88f11ead538 -> aaronjensen/flycheck-credo@e285bd042a53 agda/agda@bb7603d19781 -> agda/agda@fbf9d159c3c8 amake/flutter.el@edd3f5eb3f46 -> amake/flutter.el@004c91e070a9 ananthakumaran/exunit.el@e0a8c2b81f3d -> ananthakumaran/exunit.el@e008c89e01e5 ananthakumaran/tide@29475d9eee26 -> ananthakumaran/tide@b38dfc3f8fb7 arthurnn/minitest-emacs@ddd152c990a5 -> arthurnn/minitest-emacs@5999c45c0472 babashka/neil@40993873bb4e -> babashka/neil@a1db63d420b8 beancount/beancount-mode@0f1e33067e50 -> beancount/beancount-mode@546163fd2ccc borkdude/flycheck-clj-kondo@ff7bed231575 -> borkdude/flycheck-clj-kondo@9089ade9e01b cdominik/cdlatex@ac024ce29318 -> cdominik/cdlatex@33770dec7313 clojure-emacs/cider@120fd885d37c -> clojure-emacs/cider@aa26d62ac599 clojure-emacs/clj-refactor.el@0a2a6cbc2e29 -> clojure-emacs/clj-refactor.el@fa3efe18e715 clojure-emacs/clojure-mode@25d713a67d8e -> clojure-emacs/clojure-mode@222fdafa2add clojure-emacs/parseclj@74ff7d63fed9 -> clojure-emacs/parseclj@6af22372e0fe clojure-emacs/parseedn@c8f07926a688 -> clojure-emacs/parseedn@3407e4530a36 crystal-lang-tools/emacs-crystal-mode@9bfb9f0f566e -> crystal-lang-tools/emacs-crystal-mode@ea89b108fa42 davazp/graphql-mode@1437b790060f -> davazp/graphql-mode@49a391b5290e dgutov/robe@912ae2ba1f46 -> dgutov/robe@4ecd868da9ad dominikh/go-mode.el@166dfb1e0902 -> dominikh/go-mode.el@8dce1e3ba1cd elixir-editors/emacs-elixir@7641373f0563 -> elixir-editors/emacs-elixir@00d6580a040a emacs-geiser/geiser@49d12a14482c -> emacs-geiser/geiser@bb77719c2583 emacs-geiser/guile@ee33af6b4ef8 -> emacs-geiser/guile@6e0811c75d13 emacs-lsp/emacs-ccls@dd33da8ed74e -> emacs-lsp/emacs-ccls@9b4a47e0418d emacs-lsp/lsp-dart@3db9f93c8305 -> emacs-lsp/lsp-dart@e7ee6afc2e16 emacs-lsp/lsp-java@449673da7221 -> emacs-lsp/lsp-java@c962a3b3ac2b emacs-php/composer.el@5af1707fefbd -> emacs-php/composer.el@91945f1bdb65 emacs-php/php-mode@fb11df8268b7 -> emacs-php/php-mode@a0bcafbe3049 emacs-php/phpactor.el@9440005814c4 -> emacs-php/phpactor.el@8733fef84b45 emacs-php/psysh.el@796b26a5cd75 -> emacs-php/psysh.el@c7dde979d9fd emacs-straight/adaptive-wrap@0d5b4a07de76 -> emacs-straight/adaptive-wrap@70005d2012ab emacs-straight/auctex@3929d5408b1e -> emacs-straight/auctex@86b2397abdc2 emacs-straight/csv-mode@d190a479b4f3 -> emacs-straight/csv-mode@81c1a9febd2a emacs-straight/rainbow-mode@8e96388fb4d6 -> emacs-straight/rainbow-mode@70ed10d410ef emacs-straight/sml-mode@5426ff473824 -> emacs-straight/sml-mode@e5354371f361 emacsmirror/cmake-mode@f9c7a21254a8 -> emacsmirror/cmake-mode@b08b5d904530 emacsorphanage/dart-mode@9c846769abd3 -> emacsorphanage/dart-mode@dffc0209a19f erlang/otp@be7109f43bee -> erlang/otp@0ca7e064f5a9 factor/factor@76ac65649d61 -> factor/factor@23fcfc70753a flycheck/flycheck-cask@4b2ede6362de -> flycheck/flycheck-cask@0eeec5197e9d fxbois/web-mode@57856ba64b93 -> fxbois/web-mode@82847071ce93 gcv/julia-snail@18b891b45690 -> gcv/julia-snail@d36653bb9380 gdkrmr/lsp-julia@c584f79c7fee -> gdkrmr/lsp-julia@c869b2f6c05a godotengine/emacs-gdscript-mode@d392e8aa7e7c -> godotengine/emacs-gdscript-mode@8a28276daaa2 greghendershott/racket-mode@947d9806ee27 -> greghendershott/racket-mode@d3ab936af109 haskell/haskell-mode@79eaf444a721 -> haskell/haskell-mode@43b4036bf02b hhvm/hack-mode@26f06ffe8257 -> hhvm/hack-mode@278e4cc4032b hvesalai/emacs-scala-mode@5d7cf21c37e3 -> hvesalai/emacs-scala-mode@4c6d636b86e3 idris-hackers/idris-mode@c96f45d1b8fa -> idris-hackers/idris-mode@37c6b8199031 immerrr/lua-mode@7eb8eaa420c2 -> immerrr/lua-mode@d074e4134b1b iyefrat/evil-tex@3e0a26b91a1a -> iyefrat/evil-tex@2a3177c818f1 jrblevin/markdown-mode@b1a862f0165b -> jrblevin/markdown-mode@e096bb97a91f json-emacs/json-mode@eedb4560034f -> json-emacs/json-mode@bfd1557aaa20 jwiegley/emacs-async@71cc50f27ffc -> jwiegley/emacs-async@d040f72cb0be ledger/ledger-mode@4b32f701736b -> ledger/ledger-mode@11e748d4838d ljos/jq-mode@071c1c29bac3 -> ljos/jq-mode@37028e120041 nex3/haml-mode@fe83c65c1f00 -> nex3/haml-mode@a64d58df8f09 nlamirault/phpunit.el@4a36906344c0 -> nlamirault/phpunit.el@650a50898de1 nonsequitur/inf-ruby@03475ac1cca4 -> nonsequitur/inf-ruby@dac615c7fdbb ocaml-ppx/ocamlformat@7db948a8946e -> ocaml-ppx/ocamlformat@b8b09566904c ocaml/dune@360b00027166 -> ocaml/dune@64d19876ad6d pashky/restclient.el@0ba72816f92f -> pashky/restclient.el@e2a2b13482d7 psibi/dhall-mode@c77f1c1e75b6 -> psibi/dhall-mode@87ab69fe765d purescript-emacs/emacs-psci@9bb6a3253254 -> purescript-emacs/emacs-psci@ef31045295f2 purescript-emacs/psc-ide-emacs@ce97d719458e -> purescript-emacs/psc-ide-emacs@4e614df553fb s-kostyaev/go-gen-test@f84f4177af7f -> s-kostyaev/go-gen-test@af00a9abbaba seagle0128/grip-mode@5809fb62f6dd -> seagle0128/grip-mode@e145adb22593 senny/rbenv.el@2ea1a5bdc126 -> senny/rbenv.el@588b817d5107 technomancy/fennel-mode@8f721285e123 -> technomancy/fennel-mode@5965c8fc693a tpapp/julia-repl@9503ef711073 -> tpapp/julia-repl@4947319bc948 weijiangan/flycheck-golangci-lint@8e446c683110 -> weijiangan/flycheck-golangci-lint@9def093e416e wwwjfy/emacs-fish@6869efbc05cd -> wwwjfy/emacs-fish@2526b1803b58 yoshiki/yaml-mode@3fcb36d6039b -> yoshiki/yaml-mode@5b58248ab255 Close: #7648
2024-02-05 16:36:41 -05:00
:pin "fbf9d159c3c874b8328ccdc78a0d57d57a310234"))
Reference in a new issue Copy permalink