From d7df8b41a3f5b5ede3b95932f3617392176ef22f Mon Sep 17 00:00:00 2001 From: Mihaly Barasz <klao@nilcons.com> Date: Thu, 27 Feb 2014 15:05:29 +0100 Subject: [PATCH] Byte-compile Agda's elisp files --- pkgs/development/libraries/haskell/Agda/default.nix | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/pkgs/development/libraries/haskell/Agda/default.nix b/pkgs/development/libraries/haskell/Agda/default.nix index 749802f95b25..5a1f00a995ce 100644 --- a/pkgs/development/libraries/haskell/Agda/default.nix +++ b/pkgs/development/libraries/haskell/Agda/default.nix @@ -1,4 +1,4 @@ -{ cabal, alex, binary, deepseq, filepath, geniplate, happy +{ cabal, alex, binary, deepseq, emacs, filepath, geniplate, happy , hashable, hashtables, haskeline, haskellSrcExts, mtl, parallel , QuickCheck, text, time, unorderedContainers, xhtml, zlib }: @@ -14,8 +14,11 @@ cabal.mkDerivation (self: { haskellSrcExts mtl parallel QuickCheck text time unorderedContainers xhtml zlib ]; - buildTools = [ alex happy ]; + buildTools = [ alex emacs happy ]; jailbreak = true; + postInstall = '' + $out/bin/agda-mode compile + ''; meta = { homepage = "http://wiki.portal.chalmers.se/agda/"; description = "A dependently typed functional programming language and proof assistant";