diff options
| author | Hendrik Tews | 2020-12-15 21:54:53 +0100 |
|---|---|---|
| committer | hendriktews | 2020-12-19 16:43:49 +0100 |
| commit | 12be85a9032ebed02d9b65da7848ab173081f41a (patch) | |
| tree | fa10cd50dccf09de5dad10aea64c40b1e58bc8c4 /ci/compile-tests/003-require-error | |
| parent | 8bca3fbcf3e2aa51e1035ec0349dc52b652bb9ad (diff) | |
include compile tests in CI elisp compilation
Diffstat (limited to 'ci/compile-tests/003-require-error')
| -rw-r--r-- | ci/compile-tests/003-require-error/Makefile | 4 | ||||
| -rw-r--r-- | ci/compile-tests/003-require-error/runtest.el (renamed from ci/compile-tests/003-require-error/test.el) | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/ci/compile-tests/003-require-error/Makefile b/ci/compile-tests/003-require-error/Makefile index 4ae0a433..95f05017 100644 --- a/ci/compile-tests/003-require-error/Makefile +++ b/ci/compile-tests/003-require-error/Makefile @@ -11,8 +11,8 @@ .PHONY: test test: $(MAKE) clean - emacs -batch -l ert -l ../../../generic/proof-site.el -l ../cct-lib.el \ - -l test.el -f ert-run-tests-batch-and-exit + emacs -batch -l ../../../generic/proof-site.el -l ../cct-lib.el \ + -l runtest.el -f ert-run-tests-batch-and-exit .PHONY: clean clean: diff --git a/ci/compile-tests/003-require-error/test.el b/ci/compile-tests/003-require-error/runtest.el index 0a0dd3d4..c5e2a713 100644 --- a/ci/compile-tests/003-require-error/test.el +++ b/ci/compile-tests/003-require-error/runtest.el @@ -25,6 +25,9 @@ ;; and where a1, a2 and a3 are the 3 require commands in file a.v +;; require cct-lib for the elisp compilation, otherwise this is present already +(require 'cct-lib) + ;;; set configuration (cct-configure-proof-general) |