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 /Makefile.config.in | |
| 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 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index 1c5405c6d..a6c84f2ad 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -45,3 +45,4 @@ sandbox_shell = @sandbox_shell@ storedir = @storedir@ sysconfdir = @sysconfdir@ system = @system@ +tests = @tests@ |