Change llvm-general dependency (latest version breaks build)
commit9ae048e90990e766b541c5710c8860762a2d5b00
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 27 Jul 2013, 01:09 (13 years ago)
parent2e8904d
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