Agda: prebuild all of the new builtin modules

This commit is contained in:
laMudri 2016-05-21 16:02:15 +01:00
parent d541e0dc1c
commit 68e1419cb8

View File

@ -847,13 +847,22 @@ self: {
];
executableToolDepends = [ emacs ];
postInstall = ''
$out/bin/agda -c --no-main $(find $out/share -name Primitive.agda)
# Separate loops to avoid internal error
files=($out/share/*-ghc-*/Agda-*/lib/prim/Agda/{Primitive.agda,Builtin/*.agda})
for f in "''${files[@]}"
do
$out/bin/agda $f
done
for f in "''${files[@]}"
do
$out/bin/agda -c --no-main $f
done
$out/bin/agda-mode compile
'';
homepage = "http://wiki.portal.chalmers.se/agda/";
description = "A dependently typed functional programming language and proof assistant";
license = "unknown";
maintainers = with stdenv.lib.maintainers; [ abbradar ];
maintainers = with stdenv.lib.maintainers; [ abbradar mudri ];
}) {inherit (pkgs) emacs;};
"Agda-executable" = callPackage