diff options
-rw-r--r-- | pkgs/development/compilers/idris/default.nix | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index c143e2cdcb2..10aa5ba4e07 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -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"; |