idris-lang/Idris-dev — pull request #1072 by puffnfresh (2014-04-16 21:01:21+00:00)
Title: Add -D_GNU_SOURCE flag to RTS CFLAGS

This should fix Ubuntu 10.04 and allow Try Idris to be upgraded.

Unsure of portability but still compiles on Mac OS X 10.9 Mavericks.

This fixes #1059!