8648ebc2cc
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.
13 lines
428 B
Makefile
13 lines
428 B
Makefile
# 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
|