diff options
Diffstat (limited to 'ci/compile-tests/001-mini-project')
| -rw-r--r-- | ci/compile-tests/001-mini-project/Makefile | 4 | ||||
| -rw-r--r-- | ci/compile-tests/001-mini-project/runtest.el (renamed from ci/compile-tests/001-mini-project/test.el) | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/ci/compile-tests/001-mini-project/Makefile b/ci/compile-tests/001-mini-project/Makefile index 4ae0a433..95f05017 100644 --- a/ci/compile-tests/001-mini-project/Makefile +++ b/ci/compile-tests/001-mini-project/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/001-mini-project/test.el b/ci/compile-tests/001-mini-project/runtest.el index 49cc91f7..9edbcbd5 100644 --- a/ci/compile-tests/001-mini-project/test.el +++ b/ci/compile-tests/001-mini-project/runtest.el @@ -25,6 +25,9 @@ ;; d e f +;; require cct-lib for the elisp compilation, otherwise this is present already +(require 'cct-lib) + ;;; set configuration (cct-configure-proof-general) |