changeset 13:fb75075c8238

Toward win32 cross-compile

--- a/SCRIPTS/process.sh	Mon Aug 04 17:16:49 2014 +0100
+++ b/SCRIPTS/process.sh	Mon Aug 04 18:03:21 2014 +0100
@@ -9,8 +9,12 @@
 ##   does not export any unnecessary symbols
 ##   has valid .cat and .n3
 
-platform=linux
-bits=64
+#platform=linux
+#bits=64
+
+platform=mingw
+bits=32
+toolprefix=i686-w64-mingw32- 
 
 plugindirs="$@"
 if [ -z "$plugindirs" ]; then
@@ -33,23 +37,17 @@
     fi
 }
 
-configure_maybe() {
-    dir="$1"
-    if [ ! -f "$dir/Makefile" ] ; then
-	configure "$dir"
-    fi
-}
-
 find_makefile() {
     dir="$1"
-
     for f in \
-	Makefile \
+	build/$platform/Makefile.$platform$bits \
+	build/$platform/Makefile.$platform \
+	build/$platform/Makefile \
+	build/Makefile.$platform$bits \
+	build/Makefile.$platform \
+	Makefile.$platform$bits \
 	Makefile.$platform \
-	Makefile.$platform$bits \
-	build/$platform/Makefile \
-	build/$platform/Makefile.$platform \
-	build/$platform/Makefile.$platform$bits; do
+	Makefile ; do
 	if [ -f "$dir/$f" ]; then
 	    echo $f
 	    break
@@ -57,12 +55,20 @@
     done
 }
 
+configure_maybe() {
+    dir="$1"
+    mfile=$(find_makefile "$dir")
+    if [ -z "$mfile" ]; then
+	configure "$dir"
+    fi
+}
+
 build() {
     dir="$1"
     if configure_maybe "$dir"; then
 	mfile=$(find_makefile "$dir")
 	if [ -n "$mfile" ]; then
-	    make -C "$dir" -f "$mfile" 2>&1 | tee "$reportdir/$dir.build.txt"
+	    make -C "$dir" -f "$mfile" TOOLPREFIX="$toolprefix" 2>&1 | tee "$reportdir/$dir.build.txt"
 	    return ${PIPESTATUS[0]}
 	else
 	    echo "Failed to find a Makefile in $dir"
@@ -73,11 +79,11 @@
 
 rebuild() {
     dir="$1"
-    if configure "$dir"; then
+    if configure_maybe "$dir"; then
 	mfile=$(find_makefile "$dir")
 	if [ -n "$mfile" ]; then
 	    make -C "$dir" -f "$mfile" clean
-	    make -C "$dir" -f "$mfile" 2>&1 | tee "$reportdir/$dir.build.txt"
+	    make -C "$dir" -f "$mfile" TOOLPREFIX="$toolprefix" 2>&1 | tee "$reportdir/$dir.build.txt"
 	    return ${PIPESTATUS[0]}
 	else
 	    echo "Failed to find a Makefile in $dir"
@@ -136,12 +142,12 @@
     done
 }
 
-if ! build "vamp-plugin-sdk"; then 
+if ! rebuild "vamp-plugin-sdk"; then 
     echo "Failed to build Vamp plugin SDK!"
     exit 1
 fi
 
-if ! build "vamp-plugin-tester"; then 
+if ! rebuild "vamp-plugin-tester"; then 
     echo "Failed to build Vamp plugin tester!"
     exit 1
 fi