diff options
author | Jan Malakhovski <oxij@oxij.org> | 2014-01-21 00:22:32 +0000 |
---|---|---|
committer | Jan Malakhovski <oxij@oxij.org> | 2015-03-03 16:02:15 +0000 |
commit | e3f6e475b7c2a443b3baadbe58f0f2bcf33a0e74 (patch) | |
tree | 628bcd1e118ad4230cf088caec2e6ee62068bd7a /pkgs/top-level | |
parent | e4a4e109ba49f3868f63a61e514c4846a1cd0b9a (diff) | |
download | nixlib-e3f6e475b7c2a443b3baadbe58f0f2bcf33a0e74.tar nixlib-e3f6e475b7c2a443b3baadbe58f0f2bcf33a0e74.tar.gz nixlib-e3f6e475b7c2a443b3baadbe58f0f2bcf33a0e74.tar.bz2 nixlib-e3f6e475b7c2a443b3baadbe58f0f2bcf33a0e74.tar.lz nixlib-e3f6e475b7c2a443b3baadbe58f0f2bcf33a0e74.tar.xz nixlib-e3f6e475b7c2a443b3baadbe58f0f2bcf33a0e74.tar.zst nixlib-e3f6e475b7c2a443b3baadbe58f0f2bcf33a0e74.zip |
add agda emacs package wrapper
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 | ||||
-rw-r--r-- | pkgs/top-level/emacs-packages.nix | 23 |
2 files changed, 24 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 78c9b3195c66..deb0d0483c4e 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -10188,7 +10188,7 @@ let }; external = { - inherit (haskellngPackages) ghc-mod structured-haskell-mode; + inherit (haskellngPackages) ghc-mod structured-haskell-mode Agda; }; }; diff --git a/pkgs/top-level/emacs-packages.nix b/pkgs/top-level/emacs-packages.nix index 9f7c9675cb0f..04e1dac68576 100644 --- a/pkgs/top-level/emacs-packages.nix +++ b/pkgs/top-level/emacs-packages.nix @@ -70,6 +70,29 @@ let self = _self // overrides; meta = { licence = gpl3Plus; }; }; + agda2-mode = with external; trivialBuild { + pname = "agda-mode"; + version = Agda.version; + + phases = [ "buildPhase" "installPhase" ]; + + # already byte-compiled by Agda builder + buildPhase = '' + agda=`${Agda}/bin/agda-mode locate` + cp `dirname $agda`/*.el* . + ''; + + meta = { + description = "Agda2-mode for Emacs extracted from Agda package"; + longDescription = '' + Wrapper packages that liberates init.el from `agda-mode locate` magic. + Simply add this to user profile or systemPackages and do `(require 'agda2)` in init.el. + ''; + homepage = Agda.meta.homepage; + license = Agda.meta.license; + }; + }; + async = melpaBuild rec { pname = "async"; version = "1.2"; |