public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #15595 from laMudri/agda-stdlib

Browse Source 
Agda: 2.4.2.3 -> 2.5.1
This commit is contained in:
Joachim Fasting
2016-05-23 08:23:55 +02:00
parent 7817d0901d 6343cf8ae7
commit ce4f6c215f
7 changed files with 25 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/haskell-modules/hackage-packages.nix
+11 -2
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