#18198: 4ti2 spkg fails to find gmp
--------------------------------------+-------------------
Reporter: mkoeppe | Owner:
Type: defect | Status: new
Priority: major | Milestone:
Component: packages: optional | Resolution:
Keywords: 4ti2 | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
--------------------------------------+-------------------
Comment (by dimpase):
here are more details; without optional GMP package installed, one still
gets 4ti2gmp built by doing `sage -i 4ti2`; its linkage is as follows:
{{{
$ ldd local/bin/4ti2gmp
linux-vdso.so.1 => (0x00007fffd2179000)
lib4ti2gmp.so.0 =>
/home/dima/software/sage.6.6/sage/local/lib/lib4ti2gmp.so.0
(0x00007f5ff4cc7000)
libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6
(0x00007f5ff49a8000)
libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1
(0x00007f5ff4791000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f5ff43cc000)
libglpk.so.36 =>
/home/dima/software/sage.6.6/sage/local/lib/libglpk.so.36
(0x00007f5ff40f4000)
libgmpxx.so.8 =>
/home/dima/software/sage.6.6/sage/local/lib/libgmpxx.so.8
(0x00007f5ff3eee000)
libgmp.so.16 =>
/home/dima/software/sage.6.6/sage/local/lib/libgmp.so.16
(0x00007f5ff3c7a000)t
libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f5ff3974000)
/lib64/ld-linux-x86-64.so.2 (0x00007f5ff4f4e000)
libz.so.1 => /home/dima/software/sage.6.6/sage/local/lib/libz.so.1
(0x00007f5ff3759000)
}}}
it looks as it is linked against GMP, but this is just a differently named
copy of MPIR.
--
Ticket URL: <http://trac.sagemath.org/ticket/18198#comment:2>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
