From cdac06c9bbd6f1f71b9afac48ec67fe91226ea6d Mon Sep 17 00:00:00 2001
From: Guilherme Silva <guilhermehas@hotmail.com>
Date: Sat, 24 Jul 2021 02:46:44 -0300
Subject: [PATCH] Agda cubical 2.6.2 fix (#131280)

Co-authored-by: Ben Siraphob <bensiraphob@gmail.com>
---
 pkgs/development/libraries/agda/cubical/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/development/libraries/agda/cubical/default.nix b/pkgs/development/libraries/agda/cubical/default.nix
index 74bdf0b2135c..8e654444dd6a 100644
--- a/pkgs/development/libraries/agda/cubical/default.nix
+++ b/pkgs/development/libraries/agda/cubical/default.nix
@@ -13,6 +13,8 @@ mkDerivation rec {
 
   LC_ALL = "en_US.UTF-8";
 
+  preConfigure = ''export AGDA_EXEC=agda'';
+
   # The cubical library has several `Everything.agda` files, which are
   # compiled through the make file they provide.
   nativeBuildInputs = [ ghc glibcLocales ];