Ticket #8112: flint-1.5.0.p4.patch

File flint-1.5.0.p4.patch, 1.4 KB (added by jsp, 3 years ago)

  • SPKG.txt 

    # HG changeset patch
# User Jaap Spies <jaapspies@gmail.com>
# Date 1266940845 -3600
# Node ID 978594d57a2ae404b1297f89b136ce35341ef365
# Parent  e019937ac3e16a0578ed7722f0e5fe9459026d76
#8112 Pass CFLAG64 to FLINT_TUNE and export CXXFLAG64 if SAGE64=yes

diff -r e019937ac3e1 -r 978594d57a2a SPKG.txt
    a b  
    3232 
    3333== Changelog == 
    3434 
     35=== flint-1.5.0.p4 (Jaap Spies, Feb 23th, 2010) === 
     36 * #8112 Pass CFLAG64 to FLINT_TUNE if set for a 64 bit build. 
     37 
    3538=== flint-1.5.0.p3 (David Kirkby, January  2nd, 2010) === 
    3639 * #7815 Changed makes and spkg-install so that the flag -m64 got  
    3740   added with a 64-bit build.  
     41 
    3842=== flint-1.5.0.p1 (William Stein, September 25th, 2009) === 
    3943 * Included a cygwin fix that involves naming the library .dll instead of .so. 
    4044 

  • spkg-install 

    diff -r e019937ac3e1 -r 978594d57a2a spkg-install
    a b  
    4444   FLINT_TUNE=" -fPIC -funroll-loops  " 
    4545fi 
    4646 
    47 if [ "$SAGE64" = "yes" ]; then 
    48    FLINT_TUNE=" -fPIC -m64 -funroll-loops" 
    49    export CFLAGS 
    50    export CFLAG64 
     47if [ -z "$CFLAG64" ] ; then 
     48    CFLAG64=-m64 
     49fi  
     50 
     51if [ -z "$CXXFLAG64" ] ; then 
     52    CXXFLAG64=-m64 
     53fi 
     54 
     55 
     56if [ "x$SAGE64" = xyes ]; then 
     57   FLINT_TUNE=" -fPIC $CFLAG64 -funroll-loops" 
    5158   export CXXFLAG64 
    5259fi 
    5360