njn | 107bc57 | 2009-02-16 00:42:10 +0000 | [diff] [blame] | 1 | #! /bin/sh |
| 2 | |
| 3 | # This script determines which platforms that this Valgrind installation |
| 4 | # supports. |
| 5 | # We return: |
| 6 | # - 0 if the machine matches the asked-for platform |
| 7 | # - 1 if it didn't match, but did match the name of another platform |
| 8 | # - 2 otherwise |
| 9 | |
| 10 | # Nb: When updating this file for a new platform, add the name to |
| 11 | # 'all_platforms'. |
| 12 | |
| 13 | all_platforms= |
| 14 | all_platforms="$all_platforms x86-linux amd64-linux ppc32-linux ppc64-linux" |
sewardj | f08adb6 | 2010-01-04 10:31:41 +0000 | [diff] [blame] | 15 | all_platforms="$all_platforms arm-linux" |
florian | 0de7471 | 2011-11-06 22:43:33 +0000 | [diff] [blame] | 16 | all_platforms="$all_platforms s390x-linux" |
njn | f76d27a | 2009-05-28 01:53:07 +0000 | [diff] [blame] | 17 | all_platforms="$all_platforms x86-darwin amd64-darwin" |
njn | 107bc57 | 2009-02-16 00:42:10 +0000 | [diff] [blame] | 18 | |
| 19 | if [ $# -ne 2 ] ; then |
| 20 | echo "usage: platform_test <arch-type> <OS-type>" |
| 21 | exit 2; |
| 22 | fi |
| 23 | |
| 24 | # Get the directory holding the arch_test and os_test, which will be the same |
| 25 | # as the one holding this script. |
| 26 | dir=`dirname $0` |
| 27 | |
njn | 61485ab | 2009-03-04 04:15:16 +0000 | [diff] [blame] | 28 | if $dir/arch_test $1 && $dir/os_test $2 ; then |
njn | 107bc57 | 2009-02-16 00:42:10 +0000 | [diff] [blame] | 29 | exit 0; # Matches this platform. |
| 30 | fi |
| 31 | |
| 32 | for p in $all_platforms ; do |
| 33 | if [ $1-$2 = $p ] ; then |
| 34 | exit 1; # Matches another Valgrind-supported platform. |
| 35 | fi |
| 36 | done |
| 37 | |
| 38 | exit 2; # Doesn't match any Valgrind-supported platform. |