From 3901d21c80f16ddf789fbdad5748eee99b1799f5 Mon Sep 17 00:00:00 2001 From: Shea Levy Date: Sun, 26 Jan 2014 13:54:11 -0500 Subject: [PATCH] Idris: Build with llvm backend and libffi support Signed-off-by: Shea Levy --- pkgs/development/compilers/idris/default.nix | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index 4609dd0b4422..c143e2cdcb21 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -2,7 +2,7 @@ , deepseq, filepath, gmp, happy, haskeline, languageJava, mtl , network, parsers, split, text, time, transformers, trifecta , unorderedContainers, utf8String, vector, vectorBinaryInstances -, xml +, xml, llvmGeneral, libffi }: cabal.mkDerivation (self: { @@ -15,10 +15,11 @@ cabal.mkDerivation (self: { ansiTerminal ansiWlPprint binary Cabal deepseq filepath haskeline languageJava mtl network parsers split text time transformers trifecta unorderedContainers utf8String vector - vectorBinaryInstances xml + vectorBinaryInstances xml llvmGeneral ]; buildTools = [ happy ]; - extraLibraries = [ boehmgc gmp ]; + extraLibraries = [ boehmgc gmp libffi ]; + configureFlags = [ "-f" "llvm" "-f" "gmp" "-f" "ffi" ]; meta = { homepage = "http://www.idris-lang.org/"; description = "Functional Programming Language with Dependent Types";