# HG changeset patch
# User Chris Cannam
# Date 1405342057 -3600
# Node ID ac47394e65032e69442fbc7ffa7af1866fd15ef8
# Parent  e3a9ff791a5e5ba5d764b319560c8131977f4dca
Initial processing

diff -r e3a9ff791a5e -r ac47394e6503 .hgignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Mon Jul 14 13:47:37 2014 +0100
@@ -0,0 +1,2 @@
+syntax: glob
+*~
diff -r e3a9ff791a5e -r ac47394e6503 process.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/process.sh	Mon Jul 14 13:47:37 2014 +0100
@@ -0,0 +1,44 @@
+#!/bin/bash
+
+## Things to test:
+##   the plugin builds!
+##   plugin loads
+##   passes vamp-plugin-tester tests
+##   does not export any unnecessary symbols
+##   has valid .cat and .n3
+
+platform=linux
+
+configure_maybe() {
+    dir="$1"
+    if [ ! -f "$dir/Makefile" ] ; then
+	if [ -f "$dir/configure" ] ; then
+	    ( cd "$dir" ; ./configure )
+	fi
+    fi
+}
+
+find_makefile() {
+    dir="$1"
+    for f in Makefile Makefile.$platform build/$platform/Makefile build/$platform/Makefile.$platform ; do
+	if [ -f "$dir/$f" ]; then
+	    echo $f
+	    break
+	fi
+    done
+}
+
+for dir in $(cat .hgsub | awk '{ print $1; }') ; do
+    echo
+    echo "Processing: $dir"
+    if configure_maybe "$dir"; then
+	mfile=$(find_makefile "$dir")
+	if [ -n "$mfile" ]; then
+	    make -C "$dir" -f "$mfile"
+	else
+	    echo "Failed to find a Makefile in $dir"
+	fi
+    fi
+done
+
+