Change:
Describe the bug The new version of Agda is working fine on other systems, but not NixOS. I've reported a bit more about what is known at To Reproduce Steps to reproduce the behavior: Agda 2.6.1 any file (e.g, ) Expected behavior Agda checks the file quickly and exits. Additional context Issue in the Agda repository: agda/agda Metadata Maintainer information:
I believe that this is fixed by rework of our Agda setup ! (Which is included in the most recent nixos-unstable.) Can you confirm? :-) $ echo module Main where && time agda Checking Main (). real 0m0.132s user 0m0.104s sys 0m0.028s Looks reasonable!
I haven't had chance to test the new stuff, but this issue probably should be closed anyway, as it's being worked on upstream (). I'm doing fine now using the workaround of adding option .

Discussion:
}; testScript = '' <del> assert ( "${pkgs.agdaPackages.lib.interfaceFile "Everything.agda"}" == "Everything.agdai" ), "wrong interface file for Everything.agda" assert ( "${pkgs.agdaPackages.lib.interfaceFile "tmp/Everything.agda.md"}" == "tmp/Everything.agdai" ), "wrong interface file for tmp/Everything.agda.md" </del> # Minimal script that typechecks machine.succeed("touch TestEmpty.agda") machine.succeed("agda TestEmpty.agda")

mkdir -p $out/bin makeWrapper ${Agda}/bin/agda $out/bin/agda  --add-flags "--with-compiler=${ghc}/bin/ghc"  <del> --add-flags "--library-file=${library-file}"  --add-flags "--local-interfaces" </del> <ins> --add-flags "--library-file=${library-file}" </ins> ln -s ${Agda}/bin/agda-mode $out/bin/agda-mode <del> ''; # Local interfaces has been added for now: See https://github.com/agda/agda/issues/4526 </del> <ins> ''; </ins> withPackages = arg: if builtins.isAttrs arg then withPackages' arg else withPackages' { pkgs = arg; };

buildPhase = if buildPhase != null then buildPhase else '' runHook preBuild agda ${includePathArgs} ${everythingFile} <ins> rm ${everythingFile} ${lib.interfaceFile Agda.version everythingFile} </ins> runHook postBuild ''; installPhase = if installPhase != null then installPhase else '' runHook preInstall mkdir -p $out <del> find -not ( -path ${everythingFile} -or -path ${lib.interfaceFile everythingFile} ) -and ( ${concatMapStringsSep " -or " (p: "-name '*.${p}'") (extensions ++ extraExtensions)} ) -exec cp -p --parents -t "$out" {} + </del> <ins> find ( ${concatMapStringsSep " -or " (p: "-name '*.${p}'") (extensions ++ extraExtensions)} ) -exec cp -p --parents -t "$out" {} + </ins> runHook postInstall '';

{ /* Returns the Agda interface file to a given Agda file. * <ins> * The resulting path may not be normalized. * </ins> * Examples: <del> * interfaceFile "Everything.agda" == "Everything.agdai" * interfaceFile "src/Everything.lagda.tex" == "src/Everything.agdai" </del> <ins> * interfaceFile pkgs.agda.version "./Everything.agda" == "_build/2.6.4.3/agda/./Everything.agdai" * interfaceFile pkgs.agda.version "src/Everything.lagda.tex" == "_build/2.6.4.3/agda/src/Everything.agdai" </ins> */ <del> interfaceFile = agdaFile: lib.head (builtins.match ''(.*.)l?agda(.(md|org|rst|tex|typ))?'' agdaFile) + "agdai"; </del> <ins> interfaceFile = agdaVersion: agdaFile: "_build/" + agdaVersion + "/agda/" + lib.head (builtins.match ''(.*.)l?agda(.(md|org|rst|tex|typ))?'' agdaFile) + "agdai"; </ins> /* Takes an arbitrary derivation and says whether it is an agda library package *  that is not marked as broken.