@edwinbrady My version still won't build but yes, that does appear to be the more sensible way to do things. :-)
-
-
-
@shakleton42 Do you have the latest from git? What goes wrong if so?
- 3 more replies
New conversation -
-
-
@psnively@puffnfresh It amuses me that those two tweets came within 2 seconds of each other.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@extempore2 This is one of many reasons I'm scared of upgrading software.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady *Wanting* users? You've changed Edwin.#whitespace -
This Tweet is unavailable.
- 1 more reply
New conversation -
-
-
@edwinbrady avoid compilation at all costs.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@extempore2@edwinbrady I know. I may have walked some idris folks through a work around to llvm c++ lib version issues this week.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@extempore2@edwinbrady I do have some ideas to make llvm general build sanely on all the OS X versions.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady that's welcome news. I've not yet been able to get it to install under Mac OS X. Looking forward to trying again. -
@edwinbrady Actually, now that I found https://github.com/idris-lang/Idris-dev/wiki/Idris-on-OS-X-using-Homebrew …, I was able to get it to install. Idris REPL, here I come!
End of conversation
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.