{ 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.
    '';
  };
}