Update post-process hook for Agda.
commita0763667c8a422eaa8d07006ef363f277ad22bb7
authorPeter Simons <simons@cryp.to>
dateThu 31 Jul 2014, 15:45 (12 years ago)
parentb839443
src/Cabal2Nix/PostProcess.hs+1−1
@@ -269,7 +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"
272+ , " $out/bin/agda -c --no-main $(find $out/share -name Primitive.agda)"
273273 , " $out/bin/agda-mode compile"
274274 , "'';"
275275 ]