idris: re-generate with cabal2nix

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