@@ -221,7 +221,7 @@ agdaPostInstall = unlines
221agda25PostInstall :: String
221agda25PostInstall :: String
222agda25PostInstall = unlines
222agda25PostInstall = unlines
223 [ "postInstall = ''"
223 [ "postInstall = ''"
224− , " files=($out/share/*-ghc-*/Agda-*/lib/prim/Agda/{Primitive.agda,Builtin/*.agda})"
224+ , " files=(\"$out/share/\"*\"-ghc-\"*\"/Agda-\"*\"/lib/prim/Agda/\"{Primitive.agda,Builtin\"/\"*.agda})"
225 -- Separate loops to avoid internal error
225 -- Separate loops to avoid internal error
226 , " for f in \"''${files[@]}\" ; do"
226 , " for f in \"''${files[@]}\" ; do"
227 , " $out/bin/agda $f"
227 , " $out/bin/agda $f"