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) | |
| download | nixpkgs-cdac06c9bbd6f1f71b9afac48ec67fe91226ea6d.tar nixpkgs-cdac06c9bbd6f1f71b9afac48ec67fe91226ea6d.tar.gz nixpkgs-cdac06c9bbd6f1f71b9afac48ec67fe91226ea6d.tar.bz2 nixpkgs-cdac06c9bbd6f1f71b9afac48ec67fe91226ea6d.tar.lz nixpkgs-cdac06c9bbd6f1f71b9afac48ec67fe91226ea6d.tar.xz nixpkgs-cdac06c9bbd6f1f71b9afac48ec67fe91226ea6d.tar.zst nixpkgs-cdac06c9bbd6f1f71b9afac48ec67fe91226ea6d.zip | |
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 74bdf0b2135..8e654444dd6 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 ]; |