[PPL-devel] Modified PPL 0.10.2 source distribution for Solaris

[Robert Washburne]

I also have this problem.  I tried with gmp-5.0.0 and then I installed 
gmp-4.3.2.  (Both built from source with --enable-cxx)  No change.

I downloaded the four attachments indicated, but the problem remains.


rowsum% ./configure --without-gnu-ld --with-libgmp-prefix=/usr/local 
--with-libgmpxx-prefix=/usr/local
checking build system type... i386-pc-solaris2.10
...
...
...
checking for shared library run path origin... done
checking how to link with libgmp... /usr/local/lib/libgmp.so -Wl,-rpath 
-Wl,/usr/local/lib
checking how to link with libgmpxx... /usr/local/lib/libgmpxx.so 
/usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib -Wl,-rpath 
-Wl,/usr/local/lib
checking for the GMP library version 4.1.3 or above... no
configure: error: Cannot find GMP version 4.1.3 or higher.
GMP is the GNU Multi-Precision library:
see http://www.swox.com/gmp/ for more information.
When compiling the GMP library, do not forget to enable the C++ interface:
add --enable-cxx to the configuration options.
rowsum%
rowsum%
rowsum% ls -l /usr/local/lib/libgmp*
-rw-r--r--   1 root     root      607618 Feb  9 14:36 
/usr/local/lib/libgmp.a
-rwxr-xr-x   1 root     root         800 Feb  9 14:36 
/usr/local/lib/libgmp.la
lrwxrwxrwx   1 root     root          15 Feb  9 14:36 
/usr/local/lib/libgmp.so -> libgmp.so.3.5.2
lrwxrwxrwx   1 root     root          15 Feb  9 14:36 
/usr/local/lib/libgmp.so.3 -> libgmp.so.3.5.2
-rwxr-xr-x   1 root     root      327352 Feb  9 14:36 
/usr/local/lib/libgmp.so.3.5.2
-rwxr-xr-x   1 root     root      414514 Feb  5 15:29 
/usr/local/lib/libgmp.so.3.6.0
-rwxr-xr-x   1 root     root       28472 Feb  9 14:50 
/usr/local/lib/libgmpxx.a
-rwxr-xr-x   1 root     root        1276 Feb  9 14:50 
/usr/local/lib/libgmpxx.la
-rwxr-xr-x   1 root     root         865 Feb  5 15:42 
/usr/local/lib/libgmpxx.lai
-rwxr-xr-x   1 root     root       21254 Feb  9 14:52 
/usr/local/lib/libgmpxx.so
-rwxr-xr-x   1 root     root       21254 Feb  9 14:52 
/usr/local/lib/libgmpxx.so.4
-rwx------   1 root     root       21254 Feb  9 14:50 
/usr/local/lib/libgmpxx.so.4.1.2
-rwxr-xr-x   1 root     root       21254 Feb  5 15:42 
/usr/local/lib/libgmpxx.so.4.2.0
rowsum%

Help?

Bob Washburne