Merge pull request #66 from bluescreen303/agda
PostInstall hook for compiling agda primitives
commitc84d0fb882213c3adcf112c8d6376c812aa8dbe2
authorPeter Simons <simons@cryp.to>
dateWed 18 Jun 2014, 10:06 (12 years ago)
parentd707d90ffb3b52
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 ]