From 96b25641ba989adfdbbea244691866bea0a11556 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20Fischer?= Date: Tue, 31 Oct 2023 18:20:54 +0100 Subject: [PATCH] examples target requires boost --- configure.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/configure.py b/configure.py index 4bda0c91b7d..3af0bd1e6e2 100755 --- a/configure.py +++ b/configure.py @@ -3186,6 +3186,9 @@ def validate_options(options, info_os, info_cc, available_module_policies): if options.os == 'windows' and options.build_static_lib is True and options.build_shared_lib is True: raise UserError('On Windows only one of static lib and DLL can be selected') + if 'examples' in options.build_targets and 'boost' not in options.enabled_modules: + raise UserError('Target examples requires --with-boost') + if options.with_documentation is False: if options.with_doxygen: raise UserError('Using --with-doxygen plus --without-documentation makes no sense')