From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,3bff6309ef5ab3f X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!newsfeed.straub-nv.de!news.musoftware.de!wum.musoftware.de!news.weisnix.org!newsfeed.ision.net!newsfeed2.easynews.net!ision!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Fri, 07 May 2010 13:43:08 +0200 From: Georg Bauhaus User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US; rv:1.9.1.9) Gecko/20100317 Thunderbird/3.0.4 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: How to fix 'Could not locate executable on path: gnatmake' References: <87vdb0yrbf.fsf@ludovic-brenta.org> In-Reply-To: <87vdb0yrbf.fsf@ludovic-brenta.org> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Message-ID: <4be3fccc$0$6978$9b4e6d93@newsspool4.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 07 May 2010 13:43:08 CEST NNTP-Posting-Host: 6e996676.newsspool4.arcor-online.net X-Trace: DXC=?PWP>9a=Fa8i6K;>iZ]7634IUKJX:g[>08nc\616M64>:Lh>_cHTX3j=Y`kP=[<\E>> X-Complaints-To: usenet-abuse@arcor.de Xref: g2news2.google.com comp.lang.ada:11363 Date: 2010-05-07T13:43:08+02:00 List-Id: On 07.05.10 11:49, Ludovic Brenta wrote: > For GPS to see your $PATH, two conditions must be met: > > * your ~/.bashrc exports PATH (not just sets it) > * you must start GPS from bash, i.e. from a command line. > > Or, simply upgrade to Debian :) This, or find the proper initialization file for your shell. Or start gps from the command line that has the PATH set for GNAT. >From the BASH manual, "When bash is invoked as an interactive login shell, or as a non-interactive shell with the --login option, it first reads and executes commands from the file /etc/profile, if that file exists. After reading that file, it looks for ~/.bash_profile, ~/.bash_login, and ~/.profile, in that order, and reads and executes commands from the first one that exists and is readable. The --noprofile option may be used when the shell is started to inhibit this behavior."