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

haskell-Agda: update to version 2.4.2

Browse Source 
I had to disable the Haddock phase because of lots of errors:

  http://hydra.cryp.to/build/181564/nixlog/1/raw
This commit is contained in:
Peter Simons 2014-08-31 13:22:23 +02:00
parent 2f6b3ed7ef
commit 6ea21ad737
1 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
pkgs/development/compilers/agda/default.nix
View File

@ -1,15 +1,16 @@
# This file was auto-generated by cabal2nix. Please do NOT edit manually! # This file was auto-generated by cabal2nix. Please do NOT edit manually!
{ cabal, alex, binary, boxes, dataHash, deepseq, emacs, equivalence { cabal, alex, binary, boxes, cpphs, dataHash, deepseq, emacs
, filepath, geniplate, happy, hashable, hashtables, haskeline , equivalence, filepath, geniplate, happy, hashable, hashtables
, haskellSrcExts, mtl, parallel, QuickCheck, STMonadTrans, strict , haskeline, haskellSrcExts, mtl, parallel, QuickCheck
, text, time, transformers, unorderedContainers, xhtml, zlib , STMonadTrans, strict, text, time, transformers
, unorderedContainers, xhtml, zlib
}: }:
cabal.mkDerivation (self: { cabal.mkDerivation (self: {
pname = "Agda"; pname = "Agda";
version = "2.4.0.2"; version = "2.4.2";
sha256 = "13c4ipscnlnbv94k93yajrp32mwzikqa8rhc95h8pmqzhjgwyh8b"; sha256 = "0pgwx79y02a08xn5f6lghw7fsc6wilab5q2gdm9r51yi9gm32aw5";
isLibrary = true; isLibrary = true;
isExecutable = true; isExecutable = true;
buildDepends = [ buildDepends = [
@ -18,7 +19,8 @@ cabal.mkDerivation (self: {
QuickCheck STMonadTrans strict text time transformers QuickCheck STMonadTrans strict text time transformers
unorderedContainers xhtml zlib unorderedContainers xhtml zlib
]; ];
buildTools = [ alex emacs happy ]; buildTools = [ alex cpphs emacs happy ];
noHaddock = true;
postInstall = '' postInstall = ''
$out/bin/agda -c --no-main $(find $out/share -name Primitive.agda) $out/bin/agda -c --no-main $(find $out/share -name Primitive.agda)
$out/bin/agda-mode compile $out/bin/agda-mode compile