#15871: Improve cddlib build system (especially split out non-upstream stuff).
--------------------------------------+------------------------
       Reporter:  jpflori             |        Owner:
           Type:  enhancement         |       Status:  new
       Priority:  major               |    Milestone:  sage-6.3
      Component:  packages: standard  |   Resolution:
       Keywords:                      |    Merged in:
        Authors:                      |    Reviewers:
Report Upstream:  N/A                 |  Work issues:
         Branch:                      |       Commit:
   Dependencies:                      |     Stopgaps:
--------------------------------------+------------------------

Comment (by leif):

 Dan Drake just reported on sage-devel that building cddlib 094g fails on
 his system because apparently some (32-bit) `libgmp.so` from
 `/usr/local/lib` gets picked up, too(!):

 {{{
 /bin/bash ../libtool --tag=CC   --mode=link gcc  -g -O2 -L/usr/local/lib
 -L/var/tmp/ddrake/sage/local/lib  -o scdd_gmp simplecdd.o ../lib-src-
 gmp/libcddgmp.la -lgmp
 libtool: link: gcc -g -O2 -o .libs/scdd_gmp simplecdd.o -L/usr/local/lib
 -L/var/tmp/ddrake/sage/local/lib ../lib-src-gmp/.libs/libcddgmp.so
 /var/tmp/ddrake/sage/local/lib/libgmp.so /usr/local/lib/libgmp.so
 -Wl,-rpath -Wl,/var/tmp/ddrake/sage/local/lib
 /usr/local/lib/libgmp.so: could not read symbols: File in wrong format
 }}}

 (Apparently only `libsrc` is affected, not `src`.)

 We may have to reintegrate Volker's `--with-gmp` patch...

--
Ticket URL: <http://trac.sagemath.org/ticket/15871#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.

Reply via email to