From 324eb3831323a7f52bcfc4155eec002be0417670 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 12 Jul 2014 04:43:31 -0500
Subject: [PATCH] haskell-agda-stdlib: properly reference ghc and runhaskell

---
 pkgs/development/compilers/agda/stdlib-0.8.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/compilers/agda/stdlib-0.8.nix b/pkgs/development/compilers/agda/stdlib-0.8.nix
index 9a78744ca29..913ae5cd90f 100644
--- a/pkgs/development/compilers/agda/stdlib-0.8.nix
+++ b/pkgs/development/compilers/agda/stdlib-0.8.nix
@@ -16,8 +16,8 @@ cabal.mkDerivation (self: rec {
   postInstall = ''
       mkdir -p $out/share
       cd ..
-      runhaskell GenerateEverything
-      agda -i . -i src Everything.agda
+      ${self.ghc.ghc}/bin/runhaskell GenerateEverything
+      ${Agda}/bin/agda -i . -i src Everything.agda
       cp -pR src $out/share/agda
   '';