It does indeed. I just tried again with the 5.7.1 release. Larry
On 12 Feb 2018, at 17:01, Bernard Berthomieu <Bernard.Berthomieu at laas.fr> wrote:
Does the polyml version built on your MacBook run on your other mac ?
Bernard.
On 12/02/2018 12:45, Lawrence Paulson wrote:
I'm not able to build poly/ML on my Mac, with or without libgmp, for about a year. The funny thing is, it builds fine on my similarly-configured MacBook Pro at home. I've given up trying to figure out why. Upgrading to High Sierra or downloading more recent versions of the sources hasn't changed this. Something in the setup must be very fragile.
ld: symbol(s) not found for architecture x86_64 clang: error: linker command failed with exit code 1 (use -v to see invocation) make[1]: *** [polyimport] Error 1 make: *** [install-recursive] Error 1
I use Homebrew, not macports.
Larry
On 10 Feb 2018, at 07:12, Matthew Fernandez <matthew.fernandez at gmail.com <mailto:matthew.fernandez at gmail.com>> wrote:
Makarius, were you saying that building Poly/ML with libgmp *at all* has been a challenge? Or specifically building a portable Poly/ML with libgmp? I have never had a problem building Poly/ML on macOS using a MacPorts-installed libgmp:
CFLAGS="-I /opt/local/include -L/opt/local/lib" CXXFLAGS="-I /opt/local/include -L/opt/local/lib" LDFLAGS="-L/opt/local/lib" ./configure make
I don?t know what the scenario is for Homebrew users, but I imagine it would be similar. For a long time I didn?t pay much attention to macOS questions, not having a Mac myself and after ending up with one I just assumed the cryptic flags juggling was common knowledge. Apologies if I was mistaken.
polyml mailing list polyml at inf.ed.ac.uk <mailto:polyml at inf.ed.ac.uk> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml http://lists.inf.ed.ac.uk/mailman/listinfo/polyml