nix-super/mk/disable-tests.mk

# 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
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. 2023-02-20 21:27:50 +02:00			# 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`