diff options
Diffstat (limited to 'pkgs/development/compilers/idris/default.nix')
| -rw-r--r-- | pkgs/development/compilers/idris/default.nix | 32 |
1 files changed, 20 insertions, 12 deletions
diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index 30ef18a1ef9..f0b07f9d0fa 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -1,24 +1,32 @@ -{ cabal, ansiTerminal, ansiWlPprint, binary, boehmgc, Cabal -, filepath, gmp, happy, haskeline, languageJava, libffi -, llvmGeneral, llvmGeneralPure, mtl, parsec, parsers, split, text -, time, transformers, trifecta, unorderedContainers, utf8String -, vector, vectorBinaryInstances +# This file was auto-generated by cabal2nix. Please do NOT edit manually! + +{ cabal, annotatedWlPprint, ansiTerminal, ansiWlPprint +, base64Bytestring, binary, blazeHtml, blazeMarkup, boehmgc, Cabal +, cheapskate, deepseq, filepath, fingertree, gmp, happy, haskeline +, languageJava, lens, libffi, llvmGeneral, llvmGeneralPure, mtl +, network, optparseApplicative, parsers, split, text, time +, transformers, trifecta, unorderedContainers, utf8String, vector +, vectorBinaryInstances, xml, zlib }: cabal.mkDerivation (self: { pname = "idris"; - version = "0.9.9.3"; - sha256 = "1l19xx0xbcwlnnh2w0rmri7wwixffzfrafpbji64nwyx1awz4iab"; - isLibrary = false; + version = "0.9.14.1"; + sha256 = "11x4f0hvd51m9rlf9r0i5xsjmc73kjsayny4xyv0wgb88v9v737b"; + isLibrary = true; isExecutable = true; buildDepends = [ - ansiTerminal ansiWlPprint binary Cabal filepath haskeline - languageJava libffi llvmGeneral llvmGeneralPure mtl parsec parsers - split text time transformers trifecta unorderedContainers - utf8String vector vectorBinaryInstances + annotatedWlPprint ansiTerminal ansiWlPprint base64Bytestring binary + blazeHtml blazeMarkup Cabal cheapskate deepseq filepath fingertree + haskeline languageJava lens libffi llvmGeneral llvmGeneralPure mtl + network optparseApplicative parsers split text time transformers + trifecta unorderedContainers utf8String vector + vectorBinaryInstances xml zlib ]; buildTools = [ happy ]; extraLibraries = [ boehmgc gmp ]; + configureFlags = "-fllvm -fgmp -fffi"; + jailbreak = true; meta = { homepage = "http://www.idris-lang.org/"; description = "Functional Programming Language with Dependent Types"; |