Merge pull request #328015 from linj-fork/pr/melpaBuild-agda2-mode

{ trivialBuild

, haskellPackages

}:

{ melpaBuild, haskellPackages }:

let

  Agda = haskellPackages.Agda.bin;

  Agda = haskellPackages.Agda;

in

trivialBuild {

  pname = "agda-mode";

  version = Agda.version;

melpaBuild {

  pname = "agda2-mode";

  inherit (Agda) src version;

  dontUnpack = true;

  # already byte-compiled by Agda builder

  buildPhase = ''

    agda=`${Agda}/bin/agda-mode locate`

    cp `dirname $agda`/*.el* .

  '';

  files = ''("src/data/emacs-mode/*.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.

    '';

  };

}