git.iko.soy/Idris-dev
on master help sign in
Going to leave the llvm-general constraint until it's obviously fixed
844837cEdwin Brady
idris.cabal+1−1
compare with master
unifiedsplit
@@ -295,6 +295,6 @@ Executable idris
295 if flag(LLVM)
295 if flag(LLVM)
296 other-modules: IRTS.CodegenLLVM
296 other-modules: IRTS.CodegenLLVM
297 cpp-options: -DIDRIS_LLVM
297 cpp-options: -DIDRIS_LLVM
298− build-depends: llvm-general>=3.3.4.1 && <3.3.5
298+ build-depends: llvm-general>=3.3.4.1 && <3.3.4.5
299 else
299 else
300 other-modules: Util.LLVMStubs
300 other-modules: Util.LLVMStubs