Reinstate check-3.11-versions.sh

Author: rocky

admin-tools/check-3.11-versions.sh

@@ -0,0 +1,28 @@
+#!/bin/bash
+function finish {
+  cd $trepan3k_owd
+}
+
+# FIXME put some of the below in a common routine
+trepan3k_owd=$(pwd)
+# trap finish EXIT
+
+cd $(dirname ${BASH_SOURCE[0]})
+if ! source ./pyenv-3.11-versions ; then
+    exit $?
+fi
+
+. ./setup-python-3.11.sh
+
+cd ..
+for version in $PYVERSIONS; do
+    if ! pyenv local $version ; then
+	exit $?
+    fi
+    python --version
+    make clean && pip install -e .
+    if ! make check; then
+	exit $?
+    fi
+    echo === $version ===
+done