From 8992c8a2eff76d02794ba9350433a623b5889fdc Mon Sep 17 00:00:00 2001
From: Dirk Herrmann <dirk@dirk-herrmanns-seiten.de>
Date: Fri, 26 Jan 2001 13:47:53 +0000
Subject: * Forgot to add the file check-guile.in with the latest commit.

---
 check-guile.in | 43 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 check-guile.in

(limited to 'check-guile.in')

diff --git a/check-guile.in b/check-guile.in
new file mode 100644
index 000000000..89410eae0
--- /dev/null
+++ b/check-guile.in
@@ -0,0 +1,43 @@
+#! /bin/sh
+# Usage: check-guile [-i GUILE-INTERPRETER] [GUILE-TEST-ARGS]
+# If `-i GUILE-INTERPRETER' is omitted, use libguile/guile.
+# See test-suite/guile-test for documentation on GUILE-TEST-ARGS.
+#
+# Example invocations:
+# ./check-guile
+# ./check-guile numbers.test
+# ./check-guile -i /usr/local/bin/guile
+# ./check-guile -i /usr/local/bin/guile numbers.test
+#
+# Dependencies: dirname sed
+
+TEST_SUITE_DIR=@test_suite_dir@
+parent=`dirname $TEST_SUITE_DIR`
+
+if [ x"$1" = x-i ] ; then
+    guile=$2
+    shift
+    shift
+else
+    guile=$parent/libguile/guile
+    glp=$parent
+fi
+
+if [ -f "$guile" -a -x "$guile" ] ; then
+    echo Testing $guile ... "$@"
+    if [ x"$glp" = x ] ; then
+        glp=`$guile -c "(for-each write-line %load-path)"`
+        glp=`echo $glp | sed 's/ /:/g'`:$parent
+    fi
+    GUILE_LOAD_PATH=$glp
+    export GUILE_LOAD_PATH
+    echo with GUILE_LOAD_PATH: $GUILE_LOAD_PATH
+else
+    echo ERROR: Cannot execute $guile
+    exit 1
+fi
+
+cd $TEST_SUITE_DIR
+exec $guile -e main -s guile-test --test-suite $TEST_SUITE_DIR/tests "$@"
+
+# check-guile ends here
-- 
cgit v1.2.1