idris: build with latest llvm-general(-pure)
This commit is contained in:
parent
85ecc3f176
commit
f7a9743574
@ -2430,9 +2430,7 @@ let result = let callPackage = x : y : modifyPrio (newScope result.finalReturn x
|
|||||||
|
|
||||||
darcs = callPackage ../applications/version-management/darcs {};
|
darcs = callPackage ../applications/version-management/darcs {};
|
||||||
|
|
||||||
idris_plain = callPackage ../development/compilers/idris {
|
idris_plain = callPackage ../development/compilers/idris {};
|
||||||
llvmGeneral = self.llvmGeneral_3_3_5;
|
|
||||||
};
|
|
||||||
|
|
||||||
idris = callPackage ../development/compilers/idris/wrapper.nix {};
|
idris = callPackage ../development/compilers/idris/wrapper.nix {};
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user