Going to leave the llvm-general constraint until it's obviously fixed
commit844837cb74a027ff95d86d98d018b9325e5a73f6
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 27 Jul 2013, 12:21 (13 years ago)
parent64cf6d2
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.5
298+ build-depends: llvm-general>=3.3.4.1 && <3.3.4.5
299299 else
300300 other-modules: Util.LLVMStubs