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

idris: re-generate with cabal2nix

Browse Source
This commit is contained in:
Peter Simons 2014-07-31 12:11:42 +02:00
parent 7387244094
commit c9dc75d315
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/compilers/idris/default.nix
View File

@ -15,7 +15,6 @@ cabal.mkDerivation (self: {
sha256 = "11x4f0hvd51m9rlf9r0i5xsjmc73kjsayny4xyv0wgb88v9v737b"; sha256 = "11x4f0hvd51m9rlf9r0i5xsjmc73kjsayny4xyv0wgb88v9v737b";
isLibrary = true; isLibrary = true;
isExecutable = true; isExecutable = true;
jailbreak = true;
buildDepends = [ buildDepends = [
annotatedWlPprint ansiTerminal ansiWlPprint base64Bytestring binary annotatedWlPprint ansiTerminal ansiWlPprint base64Bytestring binary
blazeHtml blazeMarkup Cabal cheapskate deepseq filepath fingertree blazeHtml blazeMarkup Cabal cheapskate deepseq filepath fingertree
@ -27,6 +26,7 @@ cabal.mkDerivation (self: {
buildTools = [ happy ]; buildTools = [ happy ];
extraLibraries = [ boehmgc gmp ]; extraLibraries = [ boehmgc gmp ];
configureFlags = "-fllvm -fgmp -fffi"; configureFlags = "-fllvm -fgmp -fffi";
jailbreak = true;
meta = { meta = {
homepage = "http://www.idris-lang.org/"; homepage = "http://www.idris-lang.org/";
description = "Functional Programming Language with Dependent Types"; description = "Functional Programming Language with Dependent Types";