From 162423895ec3bc68573f893cd9b5c19911c6ddde Mon Sep 17 00:00:00 2001
From: rocky <rb@dustyfeet.com>
Date: Thu, 21 Oct 2021 02:31:59 -0400
Subject: [PATCH] Administrivia

---
 admin-tools/check-newest-versions.sh | 29 ++++++++++++++++++++++++++++
 admin-tools/pyenv-newest-versions    |  8 ++++++++
 2 files changed, 37 insertions(+)
 create mode 100755 admin-tools/check-newest-versions.sh
 create mode 100644 admin-tools/pyenv-newest-versions

diff --git a/admin-tools/check-newest-versions.sh b/admin-tools/check-newest-versions.sh
new file mode 100755
index 00000000..41ded2f0
--- /dev/null
+++ b/admin-tools/check-newest-versions.sh
@@ -0,0 +1,29 @@
+#!/bin/bash
+function finish {
+  cd $owd
+}
+
+# FIXME put some of the below in a common routine
+owd=$(pwd)
+trap finish EXIT
+
+cd $(dirname ${BASH_SOURCE[0]})
+if ! source ./pyenv-newest-versions ; then
+    exit $?
+fi
+if ! source ./setup-master.sh ; then
+    exit $?
+fi
+cd ..
+for version in $PYVERSIONS; do
+    echo --- $version ---
+    if ! pyenv local $version ; then
+	exit $?
+    fi
+    make clean && pip install -e .
+    if ! make check-short; then
+	exit $?
+    fi
+    echo === $version ===
+done
+make check
diff --git a/admin-tools/pyenv-newest-versions b/admin-tools/pyenv-newest-versions
new file mode 100644
index 00000000..2198b459
--- /dev/null
+++ b/admin-tools/pyenv-newest-versions
@@ -0,0 +1,8 @@
+# -*- shell-script -*-
+# Sets PYVERSIONS to be pyenv versions that
+# we can use in the master branch.
+if [[ $0 == ${BASH_SOURCE[0]} ]] ; then
+    echo "This script should be *sourced* rather than run directly through bash"
+    exit 1
+fi
+export PYVERSIONS='3.6.15 3.7.12 3.8.11'