@@ -269,6 +269,7 @@ transformersNoHaddock = httpNoHaddock
269agdaPostInstall :: String
269agdaPostInstall :: String
270agdaPostInstall = unlines
270agdaPostInstall = unlines
271 [ "postInstall = ''"
271 [ "postInstall = ''"
272+ , " $out/bin/agda -c --no-main $out/share/Agda-*/lib/prim/Agda/Primitive.agda"
272 , " $out/bin/agda-mode compile"
273 , " $out/bin/agda-mode compile"