Won't build without --enable-gmp

GaloisInc / HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

BSD 3-Clause "New" or "Revised" License

1.05k stars 88 forks source link

Won't build without --enable-gmp #34

Closed liuw closed 10 years ago

liuw commented 10 years ago

This is a bug in the build system. If --enable-gmp is not set for ./configure, PLATFORM is empty, then autoconf.mk contains wrong URL.

This bug was introduced in da924bf47c. As the commit message is very terse I don't understand the rationale behind that patch so I don't really have a patch for it.

acw commented 10 years ago

This should be fixed in 3057b0499. Can you confirm?

acw commented 10 years ago

Looks like that did it. Re-open if this becomes a problem again.