10 Feb
2018
10 Feb
'18
6:33 a.m.
Hi Makarius,
I could build libgmp 6.1.2 for i386 on macOS Sierra by first setting the shell variable ABI to 32, then proceed as usual (configure, make, ..):
??? file build/intel-pc/lib/libgmp.10.dylib ??? build/intel-pc/lib/libgmp.10.dylib: Mach-O dynamically linked shared library i386
? Bernard.
On 09/02/2018 23:06, Makarius wrote:
I wonder if anybody has managed to build libgmp for x86-darwin (32bit) platform. That platform variant still provides better performance for big applications like Isabelle, because it requires only half the memory.
Makarius
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml