Admnistrivia

Author: rocky

.gitignore

@@ -1,5 +1,3 @@
-
-
 *.c
 *.cpp
 *.egg
@@ -14,6 +12,7 @@
 .pydevproject
 .settings
 .vscode
+/.cache
 /.python-version
 /Mathics3.egg-info
 ChangeLog

admin-tools/.gitignore

@@ -0,0 +1 @@
+/.python-version

admin-tools/check-versions.sh

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