From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 6110 invoked by alias); 20 Oct 2015 13:10:04 -0000 Mailing-List: contact zsh-workers-help@zsh.org; run by ezmlm Precedence: bulk X-No-Archive: yes List-Id: Zsh Workers List List-Post: List-Help: X-Seq: 36899 Received: (qmail 10023 invoked from network); 20 Oct 2015 13:10:03 -0000 X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on f.primenet.com.au X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,TO_NO_BRKTS_PCNT autolearn=no autolearn_force=no version=3.4.0 Date: Tue, 20 Oct 2015 15:00:08 +0200 From: Vincent Lefevre To: zsh-workers@zsh.org Subject: Re: configure --with- completion Message-ID: <20151020130008.GA20896@zira.vinc17.org> Mail-Followup-To: zsh-workers@zsh.org References: <20150904084027.GA15509@zira.vinc17.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20150904084027.GA15509@zira.vinc17.org> X-Mailer-Info: https://www.vinc17.net/mutt/ User-Agent: Mutt/1.5.24-6518-vl-r83103 (2015-10-08) [Moved to workers] On 2015-09-04 10:40:27 +0200, Vincent Lefevre wrote: > In MPFR, I can do: > > ./configure --with-gmp=[TAB] > ./configure --with-gmp-include=[TAB] > ./configure --with-gmp-lib=[TAB] > > and complete with directory names, but > > ./configure --with-gmp-build=[TAB] > > doesn't allow me to complete with directory names. > > FYI, "./configure --with-[TAB]" outputs: > > Completing option > --with-gmp -- GMP install directory > --with-gmp-build -- GMP build directory (please read INSTALL file) > --with-gmp-include -- GMP include directory > --with-gmp-lib -- GMP lib directory > --with-gnu-ld -- assume the C compiler uses GNU ld (default=no) > --with-mulhigh-size -- internal threshold table for mulhigh > --with-pic -- try to use only PIC/non-PIC objects (default=use > --with-sysroot -- Search for dependent libraries within DIR > --without-gmp -- GMP install directory > --without-gmp-build -- GMP build directory (please read INSTALL file) > --without-gmp-include -- GMP include directory > --without-gmp-lib -- GMP lib directory > --without-gnu-ld -- assume the C compiler uses GNU ld (default=no) > --without-mulhigh-size -- internal threshold table for mulhigh > --without-pic -- try to use only PIC/non-PIC objects (default=use > --without-sysroot -- Search for dependent libraries within DIR > > and "./configure --help" outputs: > > [...] > --with-gmp-include=DIR GMP include directory > --with-gmp-lib=DIR GMP lib directory > --with-gmp=DIR GMP install directory > --with-gmp-build=DIR GMP build directory (please read INSTALL file) > [...] > > Is there something missing in zsh completion? The problem seems to come to the fact that --with-gmp-build=DIR GMP build directory (please read INSTALL file) is listed after --with-gmp=DIR GMP install directory by "./configure --help". If I switch these lines, everything works as expected. There's no reason to depend on the order of the options listed by "./configure --help". So, this seems to be a bug somewhere in the zsh completion system. -- Vincent Lefèvre - Web: 100% accessible validated (X)HTML - Blog: Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)