git.iko.soy/Idris-dev
on master help sign in
Bump llvm-general
commit3dcdaa70f9bfc5df030f5a04449ff877f95bb4f1 authorBenjamin Saunders <besaunde@sfu.ca> dateSat 27 Jul 2013, 16:09 (13 years ago) parent1bc4ed3
1 file changed+1−1
compare with master
unifiedsplit
idris.cabal+1−1
idris.cabal+1−1
@@ -295,6 +295,6 @@ Executable idris
295295 if flag(LLVM)
296296 other-modules: IRTS.CodegenLLVM
297297 cpp-options: -DIDRIS_LLVM
298− build-depends: llvm-general>=3.3.4.1 && <3.3.4.5
298+ build-depends: llvm-general==3.3.5.*
299299 else
300300 other-modules: Util.LLVMStubs