pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda2-mode/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

{ trivialBuild
, haskellPackages
}:
let
  Agda = haskellPackages.Agda.bin;
in
trivialBuild {
  pname = "agda-mode";
  version = Agda.version;

  dontUnpack = true;

  # already byte-compiled by Agda builder
  buildPhase = ''
    agda=`${Agda}/bin/agda-mode locate`
    cp `dirname $agda`/*.el* .
  '';

  meta = {
    inherit (Agda.meta) homepage license;
    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.
    '';
  };
}