idris: re-generate with cabal2nix

This commit is contained in:
Peter Simons 2014-01-27 11:49:20 +01:00
parent a2d8fccdfe
commit 666cfebff1

View file

@ -1,8 +1,8 @@
{ cabal, ansiTerminal, ansiWlPprint, binary, boehmgc, Cabal
, deepseq, filepath, gmp, happy, haskeline, languageJava, mtl
, network, parsers, split, text, time, transformers, trifecta
, unorderedContainers, utf8String, vector, vectorBinaryInstances
, xml, llvmGeneral, libffi
, deepseq, filepath, gmp, happy, haskeline, languageJava, libffi
, llvmGeneral, llvmGeneralPure, mtl, network, parsers, split, text
, time, transformers, trifecta, unorderedContainers, utf8String
, vector, vectorBinaryInstances, xml
}:
cabal.mkDerivation (self: {
@ -13,13 +13,13 @@ cabal.mkDerivation (self: {
isExecutable = true;
buildDepends = [
ansiTerminal ansiWlPprint binary Cabal deepseq filepath haskeline
languageJava mtl network parsers split text time transformers
trifecta unorderedContainers utf8String vector
vectorBinaryInstances xml llvmGeneral
languageJava libffi llvmGeneral llvmGeneralPure mtl network parsers
split text time transformers trifecta unorderedContainers
utf8String vector vectorBinaryInstances xml
];
buildTools = [ happy ];
extraLibraries = [ boehmgc gmp libffi ];
configureFlags = [ "-f" "llvm" "-f" "gmp" "-f" "ffi" ];
extraLibraries = [ boehmgc gmp ];
configureFlags = "-fllvm -fgmp -fffi";
meta = {
homepage = "http://www.idris-lang.org/";
description = "Functional Programming Language with Dependent Types";