branch: elpa/proof-general
commit 063d066cb77dc2ec628c42f2d8e35fc24be341e4
Author: Stefan Monnier <monn...@iro.umontreal.ca>
Commit: Stefan Monnier <monn...@iro.umontreal.ca>
* ci/compile-tests/*/runtest.el: Use lexical-binding and find `cct-lib`
This removes the presumption that `ci/compile-tests` has somehow been added
to `load-path` which is not always justified.
---
ci/compile-tests/001-mini-project/runtest.el | 4 ++--
ci/compile-tests/002-require-no-dependencies/runtest.el | 4 ++--
ci/compile-tests/003-require-error/runtest.el | 4 ++--
ci/compile-tests/004-dependency-cycle/runtest.el | 4 ++--
ci/compile-tests/005-change-recompile/runtest.el | 6 +++---
ci/compile-tests/006-ready-dependee/runtest.el | 6 +++---
ci/compile-tests/007-slow-require/runtest.el | 6 +++---
ci/compile-tests/008-default-dir/runtest.el | 6 +++---
ci/compile-tests/009-failure-processing/runtest.el | 6 +++---
9 files changed, 23 insertions(+), 23 deletions(-)
diff --git a/ci/compile-tests/001-mini-project/runtest.el
b/ci/compile-tests/001-mini-project/runtest.el
index 71858d8..2048684 100644
--- a/ci/compile-tests/001-mini-project/runtest.el
+++ b/ci/compile-tests/001-mini-project/runtest.el
@@ -1,4 +1,4 @@
-;; This file is part of Proof General.
+;; This file is part of Proof General. -*- lexical-binding: t; -*-
;;
;; © Copyright 2020 Hendrik Tews
;;
@@ -26,7 +26,7 @@
;; require cct-lib for the elisp compilation, otherwise this is present already
-(require 'cct-lib)
+(require 'cct-lib "ci/compile-tests/cct-lib")
;;; set configuration
(cct-configure-proof-general)
diff --git a/ci/compile-tests/002-require-no-dependencies/runtest.el
b/ci/compile-tests/002-require-no-dependencies/runtest.el
index f2feefa..07115d6 100644
--- a/ci/compile-tests/002-require-no-dependencies/runtest.el
+++ b/ci/compile-tests/002-require-no-dependencies/runtest.el
@@ -1,4 +1,4 @@
-;; This file is part of Proof General.
+;; This file is part of Proof General. -*- lexical-binding: t; -*-
;;
;; © Copyright 2020 Hendrik Tews
;;
@@ -23,7 +23,7 @@
;; require cct-lib for the elisp compilation, otherwise this is present already
-(require 'cct-lib)
+(require 'cct-lib "ci/compile-tests/cct-lib")
;;; set configuration
(cct-configure-proof-general)
diff --git a/ci/compile-tests/003-require-error/runtest.el
b/ci/compile-tests/003-require-error/runtest.el
index c5e2a71..a843f6b 100644
--- a/ci/compile-tests/003-require-error/runtest.el
+++ b/ci/compile-tests/003-require-error/runtest.el
@@ -1,4 +1,4 @@
-;; This file is part of Proof General.
+;; This file is part of Proof General. -*- lexical-binding: t; -*-
;;
;; © Copyright 2020 Hendrik Tews
;;
@@ -26,7 +26,7 @@
;; require cct-lib for the elisp compilation, otherwise this is present already
-(require 'cct-lib)
+(require 'cct-lib "ci/compile-tests/cct-lib")
;;; set configuration
(cct-configure-proof-general)
diff --git a/ci/compile-tests/004-dependency-cycle/runtest.el
b/ci/compile-tests/004-dependency-cycle/runtest.el
index 97d60fb..f2005bf 100644
--- a/ci/compile-tests/004-dependency-cycle/runtest.el
+++ b/ci/compile-tests/004-dependency-cycle/runtest.el
@@ -1,4 +1,4 @@
-;; This file is part of Proof General.
+;; This file is part of Proof General. -*- lexical-binding: t; -*-
;;
;; © Copyright 2020 Hendrik Tews
;;
@@ -26,7 +26,7 @@
;; require cct-lib for the elisp compilation, otherwise this is present already
-(require 'cct-lib)
+(require 'cct-lib "ci/compile-tests/cct-lib")
;;; set configuration
(cct-configure-proof-general)
diff --git a/ci/compile-tests/005-change-recompile/runtest.el
b/ci/compile-tests/005-change-recompile/runtest.el
index 825ad83..e8bc6f7 100644
--- a/ci/compile-tests/005-change-recompile/runtest.el
+++ b/ci/compile-tests/005-change-recompile/runtest.el
@@ -1,4 +1,4 @@
-;; This file is part of Proof General.
+;; This file is part of Proof General. -*- lexical-binding: t; -*-
;;
;; © Copyright 2020 Hendrik Tews
;;
@@ -36,7 +36,7 @@
;;
;; require cct-lib for the elisp compilation, otherwise this is present already
-(require 'cct-lib)
+(require 'cct-lib "ci/compile-tests/cct-lib")
;;; set configuration
(cct-configure-proof-general)
@@ -53,7 +53,7 @@
"All ancestors.")
(defconst all-compiled-ancestors
- (mapcar 'cct-library-vo-of-v-file all-ancestors)
+ (mapcar #'cct-library-vo-of-v-file all-ancestors)
"All vo ancestors files.")
diff --git a/ci/compile-tests/006-ready-dependee/runtest.el
b/ci/compile-tests/006-ready-dependee/runtest.el
index 9f4a2ce..f64a0f4 100644
--- a/ci/compile-tests/006-ready-dependee/runtest.el
+++ b/ci/compile-tests/006-ready-dependee/runtest.el
@@ -1,4 +1,4 @@
-;; This file is part of Proof General.
+;; This file is part of Proof General. -*- lexical-binding: t; -*-
;;
;; © Copyright 2020 Hendrik Tews
;;
@@ -35,7 +35,7 @@
;; require cct-lib for the elisp compilation, otherwise this is present already
-(require 'cct-lib)
+(require 'cct-lib "ci/compile-tests/cct-lib")
;;; set configuration
(cct-configure-proof-general)
@@ -53,7 +53,7 @@
"All ancestors.")
(defconst all-compiled-ancestors
- (mapcar 'cct-library-vo-of-v-file all-ancestors)
+ (mapcar #'cct-library-vo-of-v-file all-ancestors)
"All vo ancestors files.")
(defun cct-replace-last-word (line word)
diff --git a/ci/compile-tests/007-slow-require/runtest.el
b/ci/compile-tests/007-slow-require/runtest.el
index df9dbc3..686fbf1 100644
--- a/ci/compile-tests/007-slow-require/runtest.el
+++ b/ci/compile-tests/007-slow-require/runtest.el
@@ -1,4 +1,4 @@
-;; This file is part of Proof General.
+;; This file is part of Proof General. -*- lexical-binding: t; -*-
;;
;; © Copyright 2021 Hendrik Tews
;;
@@ -54,7 +54,7 @@
;; state enqueued-coqc.
;; require cct-lib for the elisp compilation, otherwise this is present already
-(require 'cct-lib)
+(require 'cct-lib "ci/compile-tests/cct-lib")
;;; set configuration
(cct-configure-proof-general)
@@ -83,7 +83,7 @@
(defun all-compiled-ancestors (n)
"All vo ancestor files for part N."
- (mapcar 'cct-library-vo-of-v-file (all-ancestors n)))
+ (mapcar #'cct-library-vo-of-v-file (all-ancestors n)))
(defun check-main-buffer (n vo-times new-sum recompiled-files
other-locked-files)
diff --git a/ci/compile-tests/008-default-dir/runtest.el
b/ci/compile-tests/008-default-dir/runtest.el
index 7b9c9f8..0a56f09 100644
--- a/ci/compile-tests/008-default-dir/runtest.el
+++ b/ci/compile-tests/008-default-dir/runtest.el
@@ -1,4 +1,4 @@
-;; This file is part of Proof General.
+;; This file is part of Proof General. -*- lexical-binding: t; -*-
;;
;; © Copyright 2021 Hendrik Tews
;;
@@ -26,7 +26,7 @@
;; require cct-lib for the elisp compilation, otherwise this is present already
-(require 'cct-lib)
+(require 'cct-lib "ci/compile-tests/cct-lib")
;;; set configuration
(cct-configure-proof-general)
@@ -36,7 +36,7 @@
"All ancestors.")
(defconst all-compiled-ancestors
- (mapcar 'cct-library-vo-of-v-file all-ancestors)
+ (mapcar #'cct-library-vo-of-v-file all-ancestors)
"All vo ancestors files.")
(defun check-main-buffer (vo-times new-sum recompiled-files
diff --git a/ci/compile-tests/009-failure-processing/runtest.el
b/ci/compile-tests/009-failure-processing/runtest.el
index f20ae12..28e04c2 100644
--- a/ci/compile-tests/009-failure-processing/runtest.el
+++ b/ci/compile-tests/009-failure-processing/runtest.el
@@ -1,4 +1,4 @@
-;; This file is part of Proof General.
+;; This file is part of Proof General. -*- lexical-binding: t; -*-
;;
;; © Copyright 2021 Hendrik Tews
;;
@@ -61,7 +61,7 @@
;; require cct-lib for the elisp compilation, otherwise this is present already
-(require 'cct-lib)
+(require 'cct-lib "ci/compile-tests/cct-lib")
;;; set configuration
(cct-configure-proof-general)
@@ -95,7 +95,7 @@ create a ``.X'' file, whose absense is checked in the test."
(defun all-compiled-vo (n)
"All vo files for part N."
- (mapcar 'cct-library-vo-of-v-file (all-compiled n)))
+ (mapcar #'cct-library-vo-of-v-file (all-compiled n)))
(defun not-compiled (n)
"Files that should not be compiled for part N, see `pre-not-compiled'."
