Commit 03b5d601058c8d1a2121ff1f6e874a84a4a96a51 Parent f988ab6d41855de43c157633852f0fe3c0770c6d Author John MacFarlane <jgm@berkeley.edu> Date Thu, 14 Jul 2016 21:58:11 -0700 Merge pull request #137 from foonathan/master CMake fixes