Apparently llvm-general is fixed now
commit6f21e10db876f46f7eba48a0abc7331f49b211ab
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 27 Jul 2013, 12:04 (13 years ago)
parent9ae048e
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.4.1 && <3.3.5
299299 else
300300 other-modules: Util.LLVMStubs