PostInstall hook for compiling agda primitives
commitffb3b52c790f7f49103197d28c49c9a0ee2b9ae8
authorMathijs Kwik <mathijs@bluescreen303.nl>
dateThu 12 Jun 2014, 19:22 (12 years ago)
parentd707d90
src/Cabal2Nix/PostProcess.hs+1
@@ -269,6 +269,7 @@ transformersNoHaddock = httpNoHaddock
269269agdaPostInstall :: String
270270agdaPostInstall = unlines
271271 [ "postInstall = ''"
272+ , " $out/bin/agda -c --no-main $out/share/Agda-*/lib/prim/Agda/Primitive.agda"
272273 , " $out/bin/agda-mode compile"
273274 , "'';"
274275 ]