Ticket #9533: 9533.use-Dollar-MAKE.patch

File 9533.use-Dollar-MAKE.patch, 1.3 KB (added by drkirkby, 9 years ago)

Changes 'make' to '$MAKE' to allow faster parallel builds. This has been extensively tested

  • SPKG.txt

    # HG changeset patch
    # User David Kirkby <david.kirkby@onetel.net>
    # Date 1279404129 -3600
    # Node ID f819fef35506274f3c44f1cd7316855b6d38ade0
    # Parent  b28b23d11927ccc64f47489ca115d3f8a1f82351
    #9533 Use $MAKE rather than 'make to allow parallel builds
    
    diff -r b28b23d11927 -r f819fef35506 SPKG.txt
    a b  
    4747   to patch a very updated version of GSL.
    4848 * Remove the compiler options -O2 -g, since GSL defaults to
    4949   those options.
     50 * Used $MAKE for building, as builing in parallel seems
     51   relieable.
    5052 
    5153=== gsl-1.10.p2 (Jaap Spies,  Jan 25th, 2010) ===
    5254 * Made SAGE64=yes work for Open Solaris 64 bit
  • spkg-check

    diff -r b28b23d11927 -r f819fef35506 spkg-check
    a b  
    22
    33cd src
    44
    5 make check
     5$MAKE check
    66
    77if [ $? -ne 0 ]; then
    88    echo "Error: make check for GSL failed"
  • spkg-install

    diff -r b28b23d11927 -r f819fef35506 spkg-install
    a b  
    2525    exit 1
    2626fi
    2727
    28 make
     28$MAKE
    2929
    3030if [ $? -ne 0 ]; then
    3131    echo "Error building GSL"
    3232    exit 1
    3333fi
    3434
    35 make install
     35$MAKE install
    3636
    3737if [ $? -ne 0 ]; then
    3838    echo "Error installing GSL"