diff options
| author | John Snow <jsnow@redhat.com> | 2023-05-10 23:54:28 -0400 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2023-05-18 08:53:51 +0200 |
| commit | 6b0cedcdc7c52feda1a6b5d6c6f30356290af0ec (patch) | |
| tree | 4b358b148d1228a5717d8ca31c6c81a28818285d | |
| parent | 9c6692db550f739a84fe4b677428df09d9fafdc3 (diff) | |
| download | focaccia-qemu-6b0cedcdc7c52feda1a6b5d6c6f30356290af0ec.tar.gz focaccia-qemu-6b0cedcdc7c52feda1a6b5d6c6f30356290af0ec.zip | |
configure: move --enable-docs and --disable-docs back to configure
Move this option back from meson into configure for the purposes of using the configuration value to bootstrap Sphinx in different ways based on this value. Signed-off-by: John Snow <jsnow@redhat.com> Message-Id: <20230511035435.734312-21-jsnow@redhat.com> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
| -rwxr-xr-x | configure | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/configure b/configure index 4519c4d412..f8308926bb 100755 --- a/configure +++ b/configure @@ -279,6 +279,7 @@ debug_tcg="no" sanitizers="no" tsan="no" fortify_source="yes" +docs="auto" EXESUF="" modules="no" prefix="/usr/local" @@ -750,6 +751,10 @@ for opt do ;; --disable-debug-info) meson_option_add -Ddebug=false ;; + --enable-docs) docs=enabled + ;; + --disable-docs) docs=disabled + ;; --enable-modules) modules="yes" ;; @@ -2615,6 +2620,7 @@ if test "$skip_meson" = no; then # QEMU options test "$cfi" != false && meson_option_add "-Dcfi=$cfi" + test "$docs" != auto && meson_option_add "-Ddocs=$docs" test "$fdt" != auto && meson_option_add "-Dfdt=$fdt" test -n "${LIB_FUZZING_ENGINE+xxx}" && meson_option_add "-Dfuzzing_engine=$LIB_FUZZING_ENGINE" test "$qemu_suffix" != qemu && meson_option_add "-Dqemu_suffix=$qemu_suffix" |