On 10/02/18 07:33, Bernard Berthomieu wrote: > > 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, ..):
Great, that was the key hint. I have now managed to build libgmp for x86-darwin as follows: env ABI=32 ./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)" --libdir=/usr/local/lib32 For the Poly/ML build I merely include -L/usr/local/lib32 in LDFLAGS; the header files are implicitly taken from /usr/local/include (i.e. from the default installation location of libgmp for x86_64-darwin). See also the full story in http://isabelle.in.tum.de/repos/isabelle/file/4fb9cbe10f3e/Admin/polyml/README#l26 Makarius _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml