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 /doc/manual | |
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 'doc/manual')
0 files changed, 0 insertions, 0 deletions