Dear Roberto (and everyone else), When I try to configure, it says it cannot find GMP version 4.1.3 or higher. However, I downloaded and installed libgmp-4.2.3. Just to make sure, I first removed the older copy of libgmp and reinstalled it.
My /usr/local/lib contains:
libgmp.3.4.3.dylib libgmp.3.dylib libgmp.a libgmp.dylib libgmp.la libgmpxx.4.0.3.dylib libgmpxx.4.dylib libgmpxx.a libgmpxx.dylib libgmpxx.la
The version of gcc I used to compile was (output of "gcc -v"):
"Target: i686-apple-darwin9 Configured with: /var/tmp/gcc/gcc-5484~1/src/configure --disable-checking -enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.0/ --with-gxx-include-dir=/include/c++/4.0.0 --with-slibdir=/usr/lib --build=i686-apple-darwin9 --with-arch=apple --with-tune=generic --host=i686-apple-darwin9 --target=i686-apple-darwin9 Thread model: posix gcc version 4.0.1 (Apple Inc. build 5484)"
What can be behind this?
Thanks in advance, -Swarat
On Sat, Sep 6, 2008 at 2:21 PM, Roberto Bagnara bagnara@cs.unipr.it wrote:
Swarat Chaudhuri wrote:
Hello all, Has anyone here built PPL on Mac OS X? If so, can it be made available for download? I tried to compile PPL on Mac but ran into strange errors involving GMP.
Thanks in advance, Swarat
Dear Swarat,
if you look at the mailing list archives, you will see some messages recently posted from people who use the PPL under Mac OS X. If you can post here more details about the strange errors you ran into, perhaps we can be of help. All the best,
Roberto
-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it