1 files changed, 38 insertions, 0 deletions
diff --git a/ci/test.sh b/ci/test.sh
new file mode 100755
index 00000000..e9e0b472
--- /dev/null
+++ b/ci/test.sh
@@ -0,0 +1,38 @@
+#!/bin/bash
+
+# Print $1 in green
+green () {
+    echo -e "\e[32m$1\e[0m"
+}
+
+# Print $1 in red
+red () {
+    echo -e "\e[31m$1\e[0m"
+}
+
+assert () {
+    if [ $# -lt 1 ]; then
+        red "ERROR, assert expects some args (the code to run)"
+        exit 1
+    fi
+    /bin/bash -exc '"$@"' bash "$@"
+    ret=$?
+    if [ "$ret" -ne 0 ]; then
+        red "FAILURE, this shell command returned exit status $ret:
+\$ $(printf "'%s' " "$@")\n"
+        exit $ret
+    fi
+    echo
+}
+
+###############################################################################
+
+assert emacs --version
+
+srcdir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && cd .. && pwd )
+rootdir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )
+
+# form="(message \"OK\")"
+form="(progn (add-to-list 'load-path \"$rootdir\") (add-to-list 'load-path \"$srcdir\"))"
+
+assert emacs --batch -l ert -l init-tests.el --eval "$form" -l proof-general.el -f ert-run-tests-batch-and-exit