Agda cubical 2.6.2 fix (#131280)

Co-authored-by: Ben Siraphob <bensiraphob@gmail.com>
2021-07-24 06:46:44 +01:00
parent 1464836d28
commit cdac06c9bb
1 changed files with 2 additions and 0 deletions
@@ -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 ];