From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-9.8 required=3.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,INCLUDES_PATCH, MAILING_LIST_MULTI,SIGNED_OFF_BY,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 66FD2C43464 for ; Mon, 21 Sep 2020 10:55:28 +0000 (UTC) Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id 9DB5820719 for ; Mon, 21 Sep 2020 10:55:27 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=linaro.org header.i=@linaro.org header.b="fDzRAZRf" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 9DB5820719 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=linaro.org Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=qemu-devel-bounces+qemu-devel=archiver.kernel.org@nongnu.org Received: from localhost ([::1]:47212 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kKJTi-0003Hz-GM for qemu-devel@archiver.kernel.org; Mon, 21 Sep 2020 06:55:26 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:33566) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kKJSl-0002Yo-8T for qemu-devel@nongnu.org; Mon, 21 Sep 2020 06:54:27 -0400 Received: from mail-wr1-x444.google.com ([2a00:1450:4864:20::444]:44649) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kKJSi-0004ab-OH for qemu-devel@nongnu.org; Mon, 21 Sep 2020 06:54:26 -0400 Received: by mail-wr1-x444.google.com with SMTP id s12so12215640wrw.11 for ; Mon, 21 Sep 2020 03:54:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version:content-transfer-encoding; bh=I6Rp97E/QcYp0nDigq8dBBD3XqmoSh8t5UVNtY3qWXk=; b=fDzRAZRfIMtq1BoDhsy8yFVBekMexDcyJ74Gq3MkclPyQqwMqh9ah0tksxIsv/lnMV qnrTXPdeaxUsubXGzS1xd3Pf6qBtCOLRt8tFXFRd+0i/IFeLjnqn27Ssdf1qlZx1TyMA A8TwsKsbBWZrTgCH8yFeVy0ZTNuC2lyGrr4Yx8Ak03gRUV7j7RcQbfzrkTUZPxj4WIJg 2jBpq6HnRTw4iDy3RYlq8bdLhj9ahys7CefD4rwSeNZMTve2qB2NZwm9bm8E2tvxhbiR kWAhwdbMSLzJYax3VG7nBaxpPId2Rrt/kIUwxGOrZorFlULb1NAk+yEawxYSn8sHU2/b ePzA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version:content-transfer-encoding; bh=I6Rp97E/QcYp0nDigq8dBBD3XqmoSh8t5UVNtY3qWXk=; b=TpbOP+vN+hwYKlaXNByLIKPicn0ogacLgZVwQ8xL4NelVcGerAee4pZZvf5+osn/zY /b+HYYIFLmvdjRBuLLeuHyITN1NLZcPiGGviThZf/503//zFvM+3MWlWq1F0dgf/iQUU 8vaM+UVYyu6RM3L4v4XORqY5mB6sihlNZOXuxlysfKJNGtxARtBe/yKctfcpO1FD7Rf+ lJFt4Sygu/sTvjiPE8IFIFU7t2ax7m+mABvQhJIM0h2vRJM5ZLKZVd6K/wrnsugNe2kM g0WWvGe6NBhQgWxnN+JZNwOdEA6517kMdvDd3bBLxgNH8ns4zNpaxaCLAt0+edOAbswA g7Mw== X-Gm-Message-State: AOAM533/6P8nwvOP4oUTWlBf0JTL503OCaH7SUF7+iAavq72Byci9PKx cDUJ50iKOQHd2e5TVennmtoxug== X-Google-Smtp-Source: ABdhPJyY11HOCn/i9E4XzsUAFqioyYW0ueLx0fOVcZhD+oKJNp4a4QywsDmDLlDKmTu5FBYLqXLkPg== X-Received: by 2002:a5d:4081:: with SMTP id o1mr53437821wrp.338.1600685662550; Mon, 21 Sep 2020 03:54:22 -0700 (PDT) Received: from zen.linaroharston ([51.148.130.216]) by smtp.gmail.com with ESMTPSA id 97sm20622776wrm.15.2020.09.21.03.54.21 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 21 Sep 2020 03:54:21 -0700 (PDT) Received: from zen (localhost [127.0.0.1]) by zen.linaroharston (Postfix) with ESMTP id DE7D41FF7E; Mon, 21 Sep 2020 11:54:20 +0100 (BST) References: <20200917235720.2685978-1-richard.henderson@linaro.org> <20200917235720.2685978-2-richard.henderson@linaro.org> User-agent: mu4e 1.5.5; emacs 28.0.50 From: Alex =?utf-8?Q?Benn=C3=A9e?= To: Richard Henderson Subject: Re: [PATCH v3 01/10] capstone: Convert Makefile bits to meson bits In-reply-to: <20200917235720.2685978-2-richard.henderson@linaro.org> Date: Mon, 21 Sep 2020 11:54:20 +0100 Message-ID: <87wo0no0wz.fsf@linaro.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::444; envelope-from=alex.bennee@linaro.org; helo=mail-wr1-x444.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Paolo Bonzini , qemu-devel@nongnu.org Errors-To: qemu-devel-bounces+qemu-devel=archiver.kernel.org@nongnu.org Sender: "Qemu-devel" Richard Henderson writes: > There are better ways to do this, e.g. meson cmake subproject, > but that requires cmake 3.7 and some of our CI environments > only provide cmake 3.5. > > Nor can we add a meson.build file to capstone/, because the git > submodule would then always report "untracked files". Fixing that > would require creating our own branch on the qemu git mirror, at > which point we could just as easily create a native meson subproject. > > Instead, build the library via the main meson.build. > > This improves the current state of affairs in that we will re-link > the qemu executables against a changed libcapstone.a, which we wouldn't > do before-hand. In addition, the use of the configuration header file > instead of command-line -DEFINES means that we will rebuild the > capstone objects with changes to meson.build. Something is breaking when switching to a branch with this on from current master: Linking target qemu-hppa /usr/bin/ld: libcommon.fa.p/disas_alpha.c.o: in function `print_insn_alph= a': /home/alex/lsrc/qemu.git/builds/all/../../disas/alpha.c:1818: undefined r= eference to `bfd_getl32' collect2: error: ld returned 1 exit status make: *** [Makefile.ninja:5965: qemu-alpha] Error 1 make: *** Waiting for unfinished jobs.... /usr/bin/ld: libcommon.fa.p/disas_hppa.c.o: in function `print_insn_hppa': /home/alex/lsrc/qemu.git/builds/all/../../disas/hppa.c:1969: undefined re= ference to `bfd_getb32' collect2: error: ld returned 1 exit status make: *** [Makefile.ninja:6259: qemu-hppa] Error 1 Aggressively wiping out the submodule and doing a fresh configure in a empty build directory and I still see a failure: ../../disas/capstone.c:25:1: error: expected =E2=80=98=3D=E2=80=99, =E2= =80=98,=E2=80=99, =E2=80=98;=E2=80=99, =E2=80=98asm=E2=80=99 or =E2=80=98__= attribute__=E2=80=99 before =E2=80=98cap_skipdata_s390x_cb=E2=80=99 cap_skipdata_s390x_cb(const uint8_t *code, size_t code_size, ^~~~~~~~~~~~~~~~~~~~~ ../../disas/capstone.c:49:17: error: =E2=80=98cap_skipdata_s390x_cb=E2=80= =99 undeclared here (not in a function); did you mean =E2=80=98cap_skipdata= _s390x=E2=80=99? .callback =3D cap_skipdata_s390x_cb ^~~~~~~~~~~~~~~~~~~~~ cap_skipdata_s390x Makefile.ninja:1424: recipe for target 'libcommon.fa.p/disas_capstone.c.o= ' failed make: *** [libcommon.fa.p/disas_capstone.c.o] Error 1 make: *** Waiting for unfinished jobs.... > > Signed-off-by: Richard Henderson > --- > Cc: Paolo Bonzini > v2: Further reduce probing in configure (paolo), > Drop state 'internal' and use 'git' even when it isn't git. > Move CONFIG_CAPSTONE to config_host_data. > v3: Add Submodules separator; fix default in meson_options.txt. > --- > configure | 61 +++---------------------- > Makefile | 16 ------- > meson.build | 111 +++++++++++++++++++++++++++++++++++++++++++--- > meson_options.txt | 4 ++ > 4 files changed, 115 insertions(+), 77 deletions(-) > > diff --git a/configure b/configure > index 7564479008..76636c430d 100755 > --- a/configure > +++ b/configure > @@ -478,7 +478,7 @@ opengl=3D"" > opengl_dmabuf=3D"no" > cpuid_h=3D"no" > avx2_opt=3D"" > -capstone=3D"" > +capstone=3D"auto" > lzo=3D"" > snappy=3D"" > bzip2=3D"" > @@ -1580,7 +1580,7 @@ for opt do > ;; > --enable-capstone) capstone=3D"yes" > ;; > - --enable-capstone=3Dgit) capstone=3D"git" > + --enable-capstone=3Dgit) capstone=3D"internal" > ;; > --enable-capstone=3Dsystem) capstone=3D"system" > ;; > @@ -5128,51 +5128,11 @@ fi > # capstone >=20=20 > case "$capstone" in > - "" | yes) > - if $pkg_config capstone; then > - capstone=3Dsystem > - elif test -e "${source_path}/.git" && test $git_update =3D 'yes' ; t= hen > - capstone=3Dgit > - elif test -e "${source_path}/capstone/Makefile" ; then > - capstone=3Dinternal > - elif test -z "$capstone" ; then > - capstone=3Dno > - else > - feature_not_found "capstone" "Install capstone devel or git submod= ule" > - fi > - ;; > - > - system) > - if ! $pkg_config capstone; then > - feature_not_found "capstone" "Install capstone devel" > - fi > - ;; > -esac > - > -case "$capstone" in > - git | internal) > - if test "$capstone" =3D git; then > + auto | yes | internal) > + # Simpler to always update submodule, even if not needed. > + if test -e "${source_path}/.git" && test $git_update =3D 'yes' ; then > git_submodules=3D"${git_submodules} capstone" > fi > - mkdir -p capstone > - if test "$mingw32" =3D "yes"; then > - LIBCAPSTONE=3Dcapstone.lib > - else > - LIBCAPSTONE=3Dlibcapstone.a > - fi > - capstone_libs=3D"-Lcapstone -lcapstone" > - capstone_cflags=3D"-I${source_path}/capstone/include" > - ;; > - > - system) > - capstone_libs=3D"$($pkg_config --libs capstone)" > - capstone_cflags=3D"$($pkg_config --cflags capstone)" > - ;; > - > - no) > - ;; > - *) > - error_exit "Unknown state for capstone: $capstone" > ;; > esac >=20=20 > @@ -7292,11 +7252,6 @@ fi > if test "$ivshmem" =3D "yes" ; then > echo "CONFIG_IVSHMEM=3Dy" >> $config_host_mak > fi > -if test "$capstone" !=3D "no" ; then > - echo "CONFIG_CAPSTONE=3Dy" >> $config_host_mak > - echo "CAPSTONE_CFLAGS=3D$capstone_cflags" >> $config_host_mak > - echo "CAPSTONE_LIBS=3D$capstone_libs" >> $config_host_mak > -fi > if test "$debug_mutex" =3D "yes" ; then > echo "CONFIG_DEBUG_MUTEX=3Dy" >> $config_host_mak > fi > @@ -7819,9 +7774,6 @@ done # for target in $targets > if [ "$fdt" =3D "git" ]; then > subdirs=3D"$subdirs dtc" > fi > -if [ "$capstone" =3D "git" -o "$capstone" =3D "internal" ]; then > - subdirs=3D"$subdirs capstone" > -fi > echo "SUBDIRS=3D$subdirs" >> $config_host_mak > if test -n "$LIBCAPSTONE"; then > echo "LIBCAPSTONE=3D$LIBCAPSTONE" >> $config_host_mak > @@ -8008,7 +7960,8 @@ NINJA=3D${ninja:-$PWD/ninjatool} $meson setup \ > -Db_coverage=3D$(if test "$gcov" =3D yes; then echo true; else e= cho false; fi) \ > -Dsdl=3D$sdl -Dsdl_image=3D$sdl_image \ > -Dvnc=3D$vnc -Dvnc_sasl=3D$vnc_sasl -Dvnc_jpeg=3D$vnc_jpeg -Dvnc_png=3D= $vnc_png \ > - -Dgettext=3D$gettext -Dxkbcommon=3D$xkbcommon -Du2f=3D$u2f\ > + -Dgettext=3D$gettext -Dxkbcommon=3D$xkbcommon -Du2f=3D$u2f \ > + -Dcapstone=3D$capstone \ > $cross_arg \ > "$PWD" "$source_path" >=20=20 > diff --git a/Makefile b/Makefile > index 7c60b9dcb8..f3da1760ad 100644 > --- a/Makefile > +++ b/Makefile > @@ -156,22 +156,6 @@ dtc/all: .git-submodule-status dtc/libfdt > dtc/%: .git-submodule-status > @mkdir -p $@ >=20=20 > -# Overriding CFLAGS causes us to lose defines added in the sub-makefile. > -# Not overriding CFLAGS leads to mis-matches between compilation modes. > -# Therefore we replicate some of the logic in the sub-makefile. > -# Remove all the extra -Warning flags that QEMU uses that Capstone doesn= 't; > -# no need to annoy QEMU developers with such things. > -CAP_CFLAGS =3D $(patsubst -W%,,$(CFLAGS) $(QEMU_CFLAGS)) $(CAPSTONE_CFLA= GS) > -CAP_CFLAGS +=3D -DCAPSTONE_USE_SYS_DYN_MEM > -CAP_CFLAGS +=3D -DCAPSTONE_HAS_ARM > -CAP_CFLAGS +=3D -DCAPSTONE_HAS_ARM64 > -CAP_CFLAGS +=3D -DCAPSTONE_HAS_POWERPC > -CAP_CFLAGS +=3D -DCAPSTONE_HAS_X86 > - > -.PHONY: capstone/all > -capstone/all: .git-submodule-status > - $(call quiet-command,$(MAKE) -C $(SRC_PATH)/capstone CAPSTONE_SHARED=3D= no BUILDDIR=3D"$(BUILD_DIR)/capstone" CC=3D"$(CC)" AR=3D"$(AR)" LD=3D"$(LD)= " RANLIB=3D"$(RANLIB)" CFLAGS=3D"$(CAP_CFLAGS)" $(SUBDIR_MAKEFLAGS) $(BUILD= _DIR)/capstone/$(LIBCAPSTONE)) > - > .PHONY: slirp/all > slirp/all: .git-submodule-status > $(call quiet-command,$(MAKE) -C $(SRC_PATH)/slirp \ > diff --git a/meson.build b/meson.build > index f4d1ab1096..f23273693d 100644 > --- a/meson.build > +++ b/meson.build > @@ -10,6 +10,7 @@ else > keyval =3D import('unstable-keyval') > endif > ss =3D import('sourceset') > +fs =3D import('fs') >=20=20 > sh =3D find_program('sh') > cc =3D meson.get_compiler('c') > @@ -409,11 +410,6 @@ if 'CONFIG_USB_LIBUSB' in config_host > libusb =3D declare_dependency(compile_args: config_host['LIBUSB_CFLAGS= '].split(), > link_args: config_host['LIBUSB_LIBS'].spli= t()) > endif > -capstone =3D not_found > -if 'CONFIG_CAPSTONE' in config_host > - capstone =3D declare_dependency(compile_args: config_host['CAPSTONE_CF= LAGS'].split(), > - link_args: config_host['CAPSTONE_LIBS'].= split()) > -endif > libpmem =3D not_found > if 'CONFIG_LIBPMEM' in config_host > libpmem =3D declare_dependency(compile_args: config_host['LIBPMEM_CFLA= GS'].split(), > @@ -470,7 +466,6 @@ foreach k, v: config_host > config_host_data.set(k, v =3D=3D 'y' ? 1 : v) > endif > endforeach > -genh +=3D configure_file(output: 'config-host.h', configuration: config_= host_data) >=20=20 > minikconf =3D find_program('scripts/minikconf.py') > config_all_devices =3D {} > @@ -610,6 +605,108 @@ config_all +=3D { > 'CONFIG_ALL': true, > } >=20=20 > +# Submodules > + > +capstone =3D not_found > +capstone_opt =3D get_option('capstone') > +if capstone_opt =3D=3D 'no' > + capstone_opt =3D false > +elif capstone_opt in ['yes', 'auto', 'system'] > + have_internal =3D fs.exists('capstone/Makefile') > + capstone =3D dependency('capstone', static: enable_static, > + required: capstone_opt =3D=3D 'system' or > + capstone_opt =3D=3D 'yes' and not have= _internal) > + if capstone.found() > + capstone_opt =3D 'system' > + elif have_internal > + capstone_opt =3D 'internal' > + else > + capstone_opt =3D false > + endif > +endif > +if capstone_opt =3D=3D 'internal' > + capstone_data =3D configuration_data() > + capstone_data.set('CAPSTONE_USE_SYS_DYN_MEM', '1') > + > + capstone_files =3D files( > + 'capstone/cs.c', > + 'capstone/MCInst.c', > + 'capstone/MCInstrDesc.c', > + 'capstone/MCRegisterInfo.c', > + 'capstone/SStream.c', > + 'capstone/utils.c' > + ) > + > + if 'CONFIG_ARM_DIS' in config_all_disas > + capstone_data.set('CAPSTONE_HAS_ARM', '1') > + capstone_files +=3D files( > + 'capstone/arch/ARM/ARMDisassembler.c', > + 'capstone/arch/ARM/ARMInstPrinter.c', > + 'capstone/arch/ARM/ARMMapping.c', > + 'capstone/arch/ARM/ARMModule.c' > + ) > + endif > + > + # FIXME: This config entry currently depends on a c++ compiler. > + # Which is needed for building libvixl, but not for capstone. > + if 'CONFIG_ARM_A64_DIS' in config_all_disas > + capstone_data.set('CAPSTONE_HAS_ARM64', '1') > + capstone_files +=3D files( > + 'capstone/arch/AArch64/AArch64BaseInfo.c', > + 'capstone/arch/AArch64/AArch64Disassembler.c', > + 'capstone/arch/AArch64/AArch64InstPrinter.c', > + 'capstone/arch/AArch64/AArch64Mapping.c', > + 'capstone/arch/AArch64/AArch64Module.c' > + ) > + endif > + > + if 'CONFIG_PPC_DIS' in config_all_disas > + capstone_data.set('CAPSTONE_HAS_POWERPC', '1') > + capstone_files +=3D files( > + 'capstone/arch/PowerPC/PPCDisassembler.c', > + 'capstone/arch/PowerPC/PPCInstPrinter.c', > + 'capstone/arch/PowerPC/PPCMapping.c', > + 'capstone/arch/PowerPC/PPCModule.c' > + ) > + endif > + > + if 'CONFIG_I386_DIS' in config_all_disas > + capstone_data.set('CAPSTONE_HAS_X86', 1) > + capstone_files +=3D files( > + 'capstone/arch/X86/X86Disassembler.c', > + 'capstone/arch/X86/X86DisassemblerDecoder.c', > + 'capstone/arch/X86/X86ATTInstPrinter.c', > + 'capstone/arch/X86/X86IntelInstPrinter.c', > + 'capstone/arch/X86/X86Mapping.c', > + 'capstone/arch/X86/X86Module.c' > + ) > + endif > + > + configure_file(output: 'capstone-defs.h', configuration: capstone_data) > + > + capstone_cargs =3D [ > + # FIXME: There does not seem to be a way to completely replace the c= _args > + # that come from add_project_arguments() -- we can only add to them. > + # So: disable all warnings with a big hammer. > + '-Wno-error', '-w', > + > + # Include all configuration defines via a header file, which will wi= nd up > + # as a dependency on the object file, and thus changes here will res= ult > + # in a rebuild. > + '-include', 'capstone-defs.h' > + ] > + > + libcapstone =3D static_library('capstone', > + sources: capstone_files, > + c_args: capstone_cargs, > + include_directories: 'capstone/include') > + capstone =3D declare_dependency(link_with: libcapstone, > + include_directories: 'capstone/include') > +endif > +config_host_data.set('CONFIG_CAPSTONE', capstone.found()) > + > +genh +=3D configure_file(output: 'config-host.h', configuration: config_= host_data) > + > # Generators >=20=20 > hxtool =3D find_program('scripts/hxtool') > @@ -1512,7 +1609,7 @@ summary_info +=3D {'vvfat support': config_host= .has_key('CONFIG_VVFAT')} > summary_info +=3D {'qed support': config_host.has_key('CONFIG_QED'= )} > summary_info +=3D {'parallels support': config_host.has_key('CONFIG_PARA= LLELS')} > summary_info +=3D {'sheepdog support': config_host.has_key('CONFIG_SHEE= PDOG')} > -summary_info +=3D {'capstone': config_host.has_key('CONFIG_CAPS= TONE')} > +summary_info +=3D {'capstone': capstone_opt} > summary_info +=3D {'libpmem support': config_host.has_key('CONFIG_LIBP= MEM')} > summary_info +=3D {'libdaxctl support': config_host.has_key('CONFIG_LIBD= AXCTL')} > summary_info +=3D {'libudev': config_host.has_key('CONFIG_LIBU= DEV')} > diff --git a/meson_options.txt b/meson_options.txt > index 543cf70043..e650a937e7 100644 > --- a/meson_options.txt > +++ b/meson_options.txt > @@ -22,3 +22,7 @@ option('vnc_sasl', type : 'feature', value : 'auto', > description: 'SASL authentication for VNC server') > option('xkbcommon', type : 'feature', value : 'auto', > description: 'xkbcommon support') > + > +option('capstone', type: 'combo', value: 'auto', > + choices: ['no', 'yes', 'auto', 'system', 'internal'], > + description: 'Whether and how to find the capstone library') --=20 Alex Benn=C3=A9e