search

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

Add support for proper GMP detection in the HaLVM autoconf file #76

Closed acw closed 7 years ago

acw commented 8 years ago

I'm honestly not 100% sure what this means, but I'm cleaning out an old notes file and saw this. Might have already been done.

erikd commented 8 years ago

I would say that https://github.com/GaloisInc/HaLVM/blob/master/configure.ac#L149 is at least part way to answering this.

dysinger commented 8 years ago

what would be the test to close this ticket? example: it works on the following:

they all have varying versions of gmp

acw commented 8 years ago

If that works, then we're probably good.

Actually, has this been tested when one has one of the dynamic and static libraries installed, but not both?