diff --git a/SPKG.txt b/SPKG.txt
a
|
b
|
|
41 | 41 | |
42 | 42 | == Changelog == |
43 | 43 | |
| 44 | === valgrind-3.8.1 (Jean-Pierre Flori, 24 December 2012) === |
| 45 | * #13060: update Valgrind to version 3.8.1. |
| 46 | |
44 | 47 | === valgrind-3.7.0 (Ivan Andrus, February 16th, 2012) === |
45 | 48 | * update to 3.7.0 |
46 | 49 | * removed call to autoreconf |
diff --git a/spkg-check b/spkg-check
a
|
b
|
|
1 | 1 | #!/usr/bin/env bash |
2 | 2 | |
3 | | if [ "$SAGE_LOCAL" = "" ]; then |
4 | | echo "SAGE_LOCAL undefined ... exiting"; |
5 | | echo "Maybe run 'sage -sh'?" |
6 | | exit 1 |
| 3 | if [ -z "$SAGE_LOCAL" ] ; then |
| 4 | echo >&2 "Error - SAGE_LOCAL undefined ... exiting" |
| 5 | echo >&2 "Maybe run 'sage -sh'?" |
| 6 | exit 1 |
7 | 7 | fi |
8 | 8 | |
9 | 9 | cd src/ |
10 | 10 | |
11 | 11 | $MAKE regtest |
12 | | |
13 | 12 | if [ $? -ne 0 ]; then |
14 | 13 | echo >&2 "Error testing Valgrind" |
15 | 14 | exit 1 |
diff --git a/spkg-install b/spkg-install
a
|
b
|
|
1 | 1 | #!/usr/bin/env bash |
2 | 2 | |
3 | | VALGRIND_VERSION="3.7.0" |
| 3 | VALGRIND_VERSION="3.8.1" |
4 | 4 | |
5 | | if [ "$SAGE_LOCAL" = "" ]; then |
6 | | echo "SAGE_LOCAL undefined ... exiting"; |
7 | | echo "Maybe run 'sage -sh'?" |
8 | | exit 1 |
| 5 | |
| 6 | if [ -z "$SAGE_LOCAL" ] ; then |
| 7 | echo >&2 "Error - SAGE_LOCAL undefined ... exiting" |
| 8 | echo >&2 "Maybe run 'sage -sh'?" |
| 9 | exit 1 |
9 | 10 | fi |
10 | 11 | |
11 | | if [ "`uname`" = "Linux" ]; then |
| 12 | if [ "$UNAME" = "Linux" ]; then |
12 | 13 | echo "Good - Valgrind works on Linux" |
13 | 14 | if [ "`uname -p`" = "ia64" ]; then |
14 | 15 | echo >&2 "But it does not work on Itanium" |
… |
… |
|
17 | 18 | else |
18 | 19 | if [ "$UNAME" = "Darwin" ] && [ -z "`uname -p | grep PPC`" ] && [ `uname -r | grep -Eo '^[0-9]+'` -ge 9 ]; |
19 | 20 | then |
20 | | echo "Good - Valgrind works on x86/Darwin 9.x or 10.x" |
| 21 | echo "Good - Valgrind works on x86 and AMD64 Darwin 9.x or 10.x" |
21 | 22 | else |
22 | 23 | echo >&2 "Sorry, Valgrind only works on x86,AMD64,PPC32,PPC64,ARM Linux" |
23 | 24 | echo >&2 "and x86,AMD64 on Darwin 9.x/10.x"\ |
24 | | "(Mac OS X 10.5.x, 10.6.x, 10.7.x)" |
| 25 | "(Mac OS X 10.5.x or later)" |
25 | 26 | exit 1 |
26 | 27 | fi |
27 | 28 | fi |
… |
… |
|
29 | 30 | cd src/ |
30 | 31 | |
31 | 32 | ./configure --prefix=$SAGE_LOCAL |
32 | | |
33 | 33 | if [ $? -ne 0 ]; then |
34 | 34 | echo >&2 "Error configuring Valgrind $VALGRIND_VERSION" |
35 | 35 | exit 1 |
36 | 36 | fi |
37 | 37 | |
38 | 38 | $MAKE |
39 | | |
40 | 39 | if [ $? -ne 0 ]; then |
41 | 40 | echo >&2 "Error building Valgrind $VALGRIND_VERSION" |
42 | 41 | exit 1 |
43 | 42 | fi |
44 | 43 | |
45 | 44 | $MAKE install |
46 | | |
47 | 45 | if [ $? -ne 0 ]; then |
48 | 46 | echo >&2 "Error installing Valgrind $VALGRIND_VERSION" |
49 | 47 | exit 1 |