X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=bindisttest%2FcheckBinaries.sh;fp=bindisttest%2FcheckBinaries.sh;h=3c621983112751bc7a575d5d9fdd905a653a7879;hp=0000000000000000000000000000000000000000;hb=8224f948f403886d76b98b1c91924485c9318388;hpb=7836349556deef66f1b1d06fe8e9c7c0b841f0d0

diff --git a/bindisttest/checkBinaries.sh b/bindisttest/checkBinaries.sh
new file mode 100644
index 0000000..3c62198
--- /dev/null
+++ b/bindisttest/checkBinaries.sh
@@ -0,0 +1,20 @@
+#!/bin/sh
+
+echo "1 is $1 done"
+EXPECTED_VERSION="$1"
+
+# Our shared libraries are currently executable (is that a bug?), so
+# we exclude anything that looks like a shared library
+for f in `find bindisttest/a/b/c -type f -executable ! -name '*.so' ! -name '*.dynlib' ! -name '*.dll'`
+do
+    if grep -q '("GHC RTS", "YES")' "$f"
+    then
+        # Looks like a GHC executable. Is it for the right version?
+        THIS_VERSION=`./$f +RTS --info | grep '"GHC version"' | sed -e 's/^ ,("GHC version", "//' -e 's/")$//'`
+        if [ "$THIS_VERSION" != "$EXPECTED_VERSION" ]
+        then
+            echo "Bad GHC version '$THIS_VERSION' for '$f'" >&2
+            exit 1
+        fi
+    fi
+done