diff options
author | Guilherme Silva <guilhermehas@hotmail.com> | 2021-07-24 02:46:44 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-24 06:46:44 +0100 |
commit | cdac06c9bbd6f1f71b9afac48ec67fe91226ea6d (patch) | |
tree | 85c4b59922da59481f77b6f8b25a1356a4c7287f /pkgs/development/libraries/agda | |
parent | 1464836d28f6158e2253543a65bbde23c4148f8e (diff) |
Agda cubical 2.6.2 fix (#131280)
Co-authored-by: Ben Siraphob <bensiraphob@gmail.com>
Diffstat (limited to 'pkgs/development/libraries/agda')
-rw-r--r-- | pkgs/development/libraries/agda/cubical/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/libraries/agda/cubical/default.nix b/pkgs/development/libraries/agda/cubical/default.nix index 74bdf0b2135c7..8e654444dd6ac 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 ]; |