edwinb/Idris-dev — pull request #432 by Ralith (2013-08-01 04:23:33+00:00)
Title: Take CFLAGS from environment in Makefiles

This makes it easier for people to tweak the C build when necessary.