The optional flags which make Idris hard to build now default to 'off'. This seems to be the saner way around. Assuming we *want* users :).
-
-
@edwinbrady Yes, I'm up to date from github. idris-0.9.9.3 "fails in configure step" with an "ExitFailure 127" and not much more information -
@shakleton42 May be best to ask the mailing list with a full log. I can't guess from that unfortunately!
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.