GaloisInc/HaLVM — pull request #33 by liuw (2014-08-31 01:12:31+00:00)
Title: Misc fixes

Fix some problems as I tried out HaLVM.

To be honest the fixes to build system is only bandaid for minor problems. If anyone is planning to overhaul it that would be great. :-)