aboutsummaryrefslogtreecommitdiff
path: root/mk
diff options
context:
space:
mode:
authorRobert Hensing <robert@roberthensing.nl>2023-02-20 20:27:50 +0100
committerRobert Hensing <robert@roberthensing.nl>2023-02-24 09:50:21 +0100
commit8648ebc2cc320578c8b00695d35b3f44141c7bbe (patch)
treee75e859c8e94af7c510c6fb85074cb53bb36c1c9 /mk
parent92611e6e4c1c5c712ca7d5f9a258640662d006df (diff)
Add ./configure --disable-tests option
Building without tests is useful for bootstrapping with a smaller footprint or running the tests in a separate derivation. Otherwise, we do compile and run them. This isn't fine grained as to allow picking `check` but not `installcheck` or vice versa, but it's good enough for now. I've tried to use Nixpkgs' `checkInputs`, but those inputs weren't discovered properly by the configure script. We can emulate its behavior very well though.
Diffstat (limited to 'mk')
-rw-r--r--mk/disable-tests.mk12
1 files changed, 12 insertions, 0 deletions
diff --git a/mk/disable-tests.mk b/mk/disable-tests.mk
new file mode 100644
index 000000000..f72f84412
--- /dev/null
+++ b/mk/disable-tests.mk
@@ -0,0 +1,12 @@
+# This file is only active for `./configure --disable-tests`.
+# Running `make check` or `make installcheck` would indicate a mistake in the
+# caller.
+
+installcheck:
+ @echo "Tests are disabled. Configure without '--disable-tests', or avoid calling 'make installcheck'."
+ @exit 1
+
+# This currently has little effect.
+check:
+ @echo "Tests are disabled. Configure without '--disable-tests', or avoid calling 'make check'."
+ @exit 1