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";