idris: fix dependency on older 'parsers'

2014-06-19 13:38:54 +02:00
parent 46d6fc0c32
commit 0a8455800c
1 changed files with 4 additions and 0 deletions
@@ -2721,6 +2721,10 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
  darcs = callPackage ../applications/version-management/darcs {};

  idris_plain = callPackage ../development/compilers/idris {
+    parsers = self.parsers_0_10_3;
+    trifecta = self.trifecta.override {
+      parsers = self.parsers_0_10_3;
+    };
    llvmGeneral = self.llvmGeneral_3_3_8_2;
    llvmGeneralPure = self.llvmGeneralPure_3_3_8_2;
  };