It does indeed. I just tried again with the 5.7.1 release.
Larry
> On 12 Feb 2018, at 17:01, Bernard Berthomieu
> 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 pol
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'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 change
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=3
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
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
Bern
Hello.
I build PolyML with libgmp on FreeBSD by help
env CFLAGS=-I/usr/local/include LDFLAGS=-L/usr/local/lib ./configure
--with-gmp && make
If my c compiler is clang, I remove AC_CHECK_LIB(stdc++, main) from
configure.ac and run autoreconf -fi before configure
2018-02-10 0:06 GMT+02:00 Makarius
Dear Poly/ML enthusiasts and experts of the gcc toolchain on macOS,
building Poly/ML with libgmp has always been a challenge, but I have now
managed as follows for x86_64-darwin.
The approach works as follows:
(1) Build libgmp from sources.
(2) Build Poly/ML --with-gmp using that homemade ve
