@@ -9,6 +9,7 @@ postProcess :: Derivation -> Derivation
99postProcess deriv@(MkDerivation {..})
1010 | pname == "aeson" && version > Version [0,7] []
1111 = deriv { buildDepends = "blazeBuilder":buildDepends }
12+ | pname == "Agda" = deriv { buildTools = "emacs":buildTools, phaseOverrides = agdaPostInstall }
1213 | pname == "alex" && version < Version [3,1] []
1314 = deriv { buildTools = "perl":buildTools }
1415 | pname == "alex" && version >= Version [3,1] []
@@ -245,3 +246,10 @@ cabal2nixDoCheckHook = "doCheck = self.stdenv.lib.versionOlder \"7.6\" self.ghc.
245246
246247eitherNoHaddock :: String
247248eitherNoHaddock = "noHaddock = self.stdenv.lib.versionOlder self.ghc.version \"7.6\";"
249+
250+agdaPostInstall :: String
251+agdaPostInstall = unlines
252+ [ "postInstall = ''"
253+ , " $out/bin/agda-mode compile"
254+ , "'';"
255+ ]