. "$GRIMOIRE"/CMAKE_CONFIGURE &&
config_query_option LEDGER_OPTS \
		    'Build without any internal consistency checks' n \
		    -DDISABLE_ASSERTS={ON,OFF} &&
config_query_option LEDGER_OPTS \
		    'Build support for runtime debugging' n \
		    -DBUILD_DEBUG={ON,OFF} &&
config_query_option LEDGER_OPTS \
		    'Precompile system.hh' n \
		    -DPRECOMPILE_SYSTEM_HH={ON,OFF} &&
config_query_option LEDGER_OPTS \
		    'Build and install Ledger as a library' y \
		    -DBUILD_LIBRARY={ON,OFF} &&
config_query_option LEDGER_OPTS \
		    'Build and install documentation' n \
		    -DBUILD_DOCS={ON,OFF} &&
config_query_option LEDGER_OPTS \
		    'Build version of documentation suitable for viewing online' n \
		    -DBUILD_WEB_DOCS={ON,OFF}
