diff options
| author | Robert Hensing <robert@roberthensing.nl> | 2023-02-20 20:27:50 +0100 |
|---|---|---|
| committer | Robert Hensing <robert@roberthensing.nl> | 2023-02-24 09:50:21 +0100 |
| commit | 8648ebc2cc320578c8b00695d35b3f44141c7bbe (patch) | |
| tree | e75e859c8e94af7c510c6fb85074cb53bb36c1c9 /mk/disable-tests.mk | |
| parent | 92611e6e4c1c5c712ca7d5f9a258640662d006df (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/disable-tests.mk')
| -rw-r--r-- | mk/disable-tests.mk | 12 |
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 |