I tried jailbreaking, but this didn't work as llvm-general is an optional (but enabled by default) dependency. Manual patching revealed idris gets confused over the llvm-general/llvm-general-pure split.