GaloisInc/HaLVM — pull request #7 by mwotton (2012-12-29 20:52:11+00:00)
Title: add autoreconf line

Not sure if you intended to leave ./configure out of the repo, but if so, might be useful to let the casual reader know that you need to run 'autoreconf' to get it.