Proper build instructions

[nkaretnikov]

Hi,

I know you're not an author of this package, but have you tried building it? If so, what versions of autoconf/automake work? With something recent autoreconf fails, and something 2009-ish breaks configure.

Thanks!

[Ericson2314]

I am afraid I haven't touched it at all I am afraid---just backing it up here in case the original repo ever goes down. If you want to work on this, I'd first take a look at https://github.com/GaloisInc/HaLVM; It appears from the git history that an early version of that was used as a starter for this. At this point in time though, such a massive rebase might be tantamount to a full-blown rewrite.

[nkaretnikov]

Thanks for the quick reply! Regarding HaLVM: could you point me to the relevant hashes? I can't seem to find anything.

[Ericson2314]

The first two commit messages mention HalVM. It's a bug dump of a patched GHC which hopefully corresponds with some commit in https://github.com/GaloisInc/halvm-ghc