diff SCRIPTS/process.sh @ 31:090303b184d8

Build tweaks
author Chris Cannam
date Wed, 06 Aug 2014 12:45:06 +0100
parents edb8f67e06d2
children 6fc0d89020f2
line wrap: on
line diff
--- a/SCRIPTS/process.sh	Wed Aug 06 11:01:56 2014 +0100
+++ b/SCRIPTS/process.sh	Wed Aug 06 12:45:06 2014 +0100
@@ -18,18 +18,31 @@
     echo 
     echo "Usage: $0 <platform> [-c] [<dir> ...]"
     echo 
-    echo " <platform>  one of linux32, linux64, mingw32, mingw64, osx32, osx64"
+    echo " <platform>  one of native, linux32, linux64, mingw32, mingw64, osx32, osx64"
     echo " -c          build from clean"
     echo " <dir>       directory to build (default is all of them)"
     echo
     echo "Platform usually should match the platform you are running this"
     echo "script on, unless you have a cross-compile toolset installed and"
-    echo "this script knows how to run it."
+    echo "this script knows how to run it. The special platform 'native'"
+    echo "tries to guess the currently running platform."
     echo
     exit 2
 }
 
-case "$1" in
+platform_arg="$1"
+
+if [ "$platform_arg" = "native" ]; then
+    case `uname -a` in
+	Linux*x86_64*) platform_arg=linux64;;
+	Linux*) platform_arg=linux32;;
+	Darwin*) platform_arg=osx64;;
+	CYG*) platform_arg=mingw32;;
+	MINGW*) platform_arg=mingw32;;
+    esac
+fi
+
+case "$platform_arg" in
     linux32)
 	platform=linux
 	bits=32
@@ -309,9 +322,13 @@
 fi
 
 for dir in $plugindirs ; do
+    dir=${dir%/*}
     echo
     echo "Processing: $dir"
-    if build_or_rebuild "$dir"; then
+    if [ ! -d "$dir" ]; then
+	echo "Directory $dir not found!"
+	echo "$dir" >> "$notbuilt"
+    elif build_or_rebuild "$dir"; then
 	if have_plugin "$dir" ; then
 	    echo "$dir" >> "$built"
 	    run_tester "$dir"