diff --git a/pkgs/development/haskell-modules/hackage-packages.nix b/pkgs/development/haskell-modules/hackage-packages.nix index 2fb8e65450f..91649b56247 100644 --- a/pkgs/development/haskell-modules/hackage-packages.nix +++ b/pkgs/development/haskell-modules/hackage-packages.nix @@ -847,13 +847,22 @@ self: { ]; executableToolDepends = [ emacs ]; postInstall = '' - $out/bin/agda -c --no-main $(find $out/share -name Primitive.agda) + # Separate loops to avoid internal error + files=($out/share/*-ghc-*/Agda-*/lib/prim/Agda/{Primitive.agda,Builtin/*.agda}) + for f in "''${files[@]}" + do + $out/bin/agda $f + done + for f in "''${files[@]}" + do + $out/bin/agda -c --no-main $f + done $out/bin/agda-mode compile ''; homepage = "http://wiki.portal.chalmers.se/agda/"; description = "A dependently typed functional programming language and proof assistant"; license = "unknown"; - maintainers = with stdenv.lib.maintainers; [ abbradar ]; + maintainers = with stdenv.lib.maintainers; [ abbradar mudri ]; }) {inherit (pkgs) emacs;}; "Agda-executable" = callPackage