wbhart/flint2 — pull request #4 by jpflori (2013-05-09 14:33:44+00:00)
Title: Build system changes

Bunch of changes to the build system.