Robert Hensing 8648ebc2cc 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-24 09:50:21 +01:00
..
clean.mk
common-test.sh
debug-test.sh
disable-tests.mk	Add ./configure --disable-tests option	2023-02-24 09:50:21 +01:00
functions.mk
install.mk
lib.mk
libraries.mk	Fix static build	2023-02-14 15:54:19 +01:00
patterns.mk
precompiled-headers.mk
programs.mk	Fix static build	2023-02-14 15:54:19 +01:00
run-test.sh
templates.mk
tests.mk
tracing.mk