diff options
Diffstat (limited to 'ci/compile-tests/004-dependency-cycle')
| -rw-r--r-- | ci/compile-tests/004-dependency-cycle/Makefile | 4 | ||||
| -rw-r--r-- | ci/compile-tests/004-dependency-cycle/runtest.el (renamed from ci/compile-tests/004-dependency-cycle/test.el) | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/ci/compile-tests/004-dependency-cycle/Makefile b/ci/compile-tests/004-dependency-cycle/Makefile index 4ae0a433..95f05017 100644 --- a/ci/compile-tests/004-dependency-cycle/Makefile +++ b/ci/compile-tests/004-dependency-cycle/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/004-dependency-cycle/test.el b/ci/compile-tests/004-dependency-cycle/runtest.el index 5f9f63f3..97d60fb5 100644 --- a/ci/compile-tests/004-dependency-cycle/test.el +++ b/ci/compile-tests/004-dependency-cycle/runtest.el @@ -25,6 +25,9 @@ ;; where a1 and a2 are the 2 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) |