haskell-agda-stdlib: properly reference ghc and runhaskell

2014-07-12 04:43:31 -05:00 · 2014-07-12 04:43:31 -05:00 · 324eb38313
commit 324eb38313
parent 07b24b31e4
1 changed files with 2 additions and 2 deletions
--- 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
  '';