Ticket #13060: valgrind-3.8.1.diff

SPKG.txt

@@ -41 +41 @@
 
 == Changelog ==
 
+=== valgrind-3.8.1 (Jean-Pierre Flori, 24 December 2012) ===
+ * #13060: update Valgrind to version 3.8.1.
+
 === valgrind-3.7.0 (Ivan Andrus, February 16th, 2012)  ===
  * update to 3.7.0
  * removed call to autoreconf

spkg-check

@@ -1 +1 @@
 #!/usr/bin/env bash
 
-if [ "$SAGE_LOCAL" = "" ]; then
-   echo "SAGE_LOCAL undefined ... exiting";
-   echo "Maybe run 'sage -sh'?"
-   exit 1
+if [ -z "$SAGE_LOCAL" ] ; then
+    echo >&2 "Error - SAGE_LOCAL undefined ... exiting"
+    echo >&2 "Maybe run 'sage -sh'?"
+    exit 1
 fi
 
 cd src/
 
 $MAKE regtest
-
 if [ $? -ne 0 ]; then
     echo >&2 "Error testing Valgrind"
     exit 1

spkg-install

@@ -1 +1 @@
 #!/usr/bin/env bash
 
-VALGRIND_VERSION="3.7.0"
+VALGRIND_VERSION="3.8.1"
 
-if [ "$SAGE_LOCAL" = "" ]; then
-   echo "SAGE_LOCAL undefined ... exiting";
-   echo "Maybe run 'sage -sh'?"
-   exit 1
+
+if [ -z "$SAGE_LOCAL" ] ; then
+    echo >&2 "Error - SAGE_LOCAL undefined ... exiting"
+    echo >&2 "Maybe run 'sage -sh'?"
+    exit 1
 fi
 
-if [ "`uname`" = "Linux" ]; then
+if [ "$UNAME" = "Linux" ]; then
     echo "Good - Valgrind works on Linux"
     if [ "`uname -p`" = "ia64" ]; then
         echo >&2 "But it does not work on Itanium"
@@ -17 +18 @@
 else
     if [ "$UNAME" = "Darwin" ] && [ -z "`uname -p | grep PPC`" ] && [ `uname -r | grep -Eo '^[0-9]+'` -ge 9 ];
     then
-        echo "Good - Valgrind works on x86/Darwin 9.x or 10.x"
+        echo "Good - Valgrind works on x86 and AMD64 Darwin 9.x or 10.x"
     else
         echo >&2 "Sorry, Valgrind only works on x86,AMD64,PPC32,PPC64,ARM Linux"
         echo >&2 "and x86,AMD64 on Darwin 9.x/10.x"\
-            "(Mac OS X 10.5.x, 10.6.x, 10.7.x)"
+            "(Mac OS X 10.5.x or later)"
         exit 1
     fi
 fi
@@ -29 +30 @@
 cd src/
 
 ./configure --prefix=$SAGE_LOCAL
-
 if [ $? -ne 0 ]; then
     echo >&2 "Error configuring Valgrind $VALGRIND_VERSION"
     exit 1
 fi
 
 $MAKE
-
 if [ $? -ne 0 ]; then
     echo >&2 "Error building Valgrind $VALGRIND_VERSION"
     exit 1
 fi
 
 $MAKE install
-
 if [ $? -ne 0 ]; then
     echo >&2 "Error installing Valgrind $VALGRIND_VERSION"
     exit 1