Administrivia + Get ready for release 1.2.5

Author: rocky

admin-tools/check-versions.sh admin-tools/check-newer-versions.shadmin-tools/check-versions.sh renamed to admin-tools/check-newer-versions.sh

@@ -8,7 +8,7 @@ owd=$(pwd)
 trap finish EXIT
 
 cd $(dirname ${BASH_SOURCE[0]})
-if ! source ./pyenv-versions ; then
+if ! source ./pyenv-newer-versions ; then
     exit $?
 fi
 

admin-tools/check-older-versions.sh

@@ -0,0 +1,24 @@
+#!/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-older-versions ; then
+    exit $?
+fi
+
+cd ..
+for version in $PYVERSIONS; do
+    if ! pyenv local $version ; then
+	exit $?
+    fi
+    make clean && pip install -e .
+    if ! make check; then
+	exit $?
+    fi
+done

admin-tools/pyenv-versions admin-tools/pyenv-newer-versionsadmin-tools/pyenv-versions renamed to admin-tools/pyenv-newer-versions

@@ -7,4 +7,4 @@ if [[ $0 == ${BASH_SOURCE[0]} ]] ; then
     exit 1
 fi
 
-export PYVERSIONS='3.5.10 3.6.13 3.3.7 3.4.10 3.2.6 3.7.10 3.8.10'
+export PYVERSIONS='3.6.13 3.7.10 3.8.10 3.9.5'

admin-tools/pyenv-older-versions

@@ -0,0 +1,10 @@
+# -*- shell-script -*-
+# Sets PYVERSIONS to be pyenv versions that
+# we can use in the master
+
+if [[ $0 == ${BASH_SOURCE[0]} ]] ; then
+    echo "This script should be *sourced* rather than run directly through bash"
+    exit 1
+fi
+
+export PYVERSIONS='3.5.10 3.3.7 3.4.10 3.2.6'

trepan/version.py

@@ -4,4 +4,4 @@
 # This file should define a variable __version__ which we use as the
 # debugger version number.
 
-__version__="1.2.5.dev0"  # noqa
+__version__="1.2.5"  # noqa