wbhart/flint2 — pull request #72 by hasufell (2014-05-18 16:54:31+00:00)
Title: A few build system improvements

fixes #66