diff --git a/nix/text-editor.nix b/nix/text-editor.nix index 2abcfaff7..6b360cac1 100644 --- a/nix/text-editor.nix +++ b/nix/text-editor.nix @@ -7,7 +7,7 @@ let ${my-emacs}/bin/emacs -q -l ${init-file} $@ ''; in rec { - idris2-mode = emacsPackages.melpaBuild { + idris2-mode = emacsPackages.trivialBuild { pname = "idris2-mode"; src = idris-emacs-src; packageRequires = with pkgs.emacsPackages.melpaPackages; [ prop-menu ];