From 94c6da5c8c9db07f406cd28ca9d6532d09b9df15 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Wed, 29 Apr 2020 01:19:52 +0200
Subject: fix: coq-tests.el and related files

* The "./test1.v" relative filename triggered an issue
  => use (coq-test-full-path "test1.v")

* The (coq-test-cmd "...") was not optimal for coq-test-print
  => use (progn
     (coq-test-goto-before "(*some-unique-identifier*)")
     (proof-goto-point)
     (proof-shell-wait))

* The (string-trim "...") function was not defined in batch mode
  => use (require 'subr-x)

& Remove forgotten "(setq temp" snippet.
---
 ci/test.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'ci/test.sh')

diff --git a/ci/test.sh b/ci/test.sh
index 3d9b4a72..50d07579 100755
--- a/ci/test.sh
+++ b/ci/test.sh
@@ -32,7 +32,8 @@ assert emacs --version
 rootdir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && cd .. && pwd )
 srcdir=$( 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\"))"
+form="(progn (add-to-list 'load-path \"$rootdir\")
+(add-to-list 'load-path \"$srcdir\")
+(setq coq-test-dir \"$srcdir/\"))"  # we need a trailing slash here
 
 assert emacs --batch -l ert --eval "$form" -l init-tests.el -l proof-general.el -l coq-tests.el -f ert-run-tests-batch-and-exit
-- 
cgit v1.2.3