It does indeed. I just tried again with the 5.7.1 release. Larry > On 12 Feb 2018, at 17:01, Bernard Berthomieu <bernard.berthom...@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.fernan...@gmail.com >>> <mailto:matthew.fernan...@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@inf.ed.ac.uk <mailto:polyml@inf.ed.ac.uk> >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >> <http://lists.inf.ed.ac.uk/mailman/listinfo/polyml>
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml