From e23d443a3a64b30a77e8ea92f347f933a865bb99 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 29 Dec 2018 16:41:25 -0500 Subject: Disable tests which require `-coqlib` to be set A number of tests (mostly for coq_makefile) assume that Coq is installed when the test runs. This isn't true in an sbuild environment, though, so disable those tests. --- debian/rules | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'debian/rules') diff --git a/debian/rules b/debian/rules index c12c540d..8c97cf17 100755 --- a/debian/rules +++ b/debian/rules @@ -79,7 +79,8 @@ endif .PHONY: override_dh_auto_test override_dh_auto_test: - $(MAKE) test-suite COMPLEXITY= + CAML_LD_LIBRARY_PATH=$PWD/kernel/byterun COQLIB=$PWD \ + $(MAKE) test-suite COMPLEXITY= .PHONY: override_dh_auto_install override_dh_auto_install: -- cgit v1.2.3