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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,d13bf824aeeb7e2b X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.50.140.6 with SMTP id rc6mr4724328igb.3.1330527112146; Wed, 29 Feb 2012 06:51:52 -0800 (PST) Path: h9ni23209pbe.0!nntp.google.com!news2.google.com!news1.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Wed, 29 Feb 2012 08:51:51 -0600 Date: Wed, 29 Feb 2012 09:51:51 -0500 From: "Peter C. Chapin" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Question about GNAT project files. References: In-Reply-To: Message-ID: X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-5DLM704m2/vJEKTN+ktuk9FHGAhyZDUDFZGVOZabyv0ZJdaLD5QdMdcJgMca7zQSt5eaLaWv3GBA6Qb!xfBG8SygBE2Ey/mGMowreQQrZREcVsvt8kbJScONltU6HFQhS8Tk+LU7RHK60fU= X-Complaints-To: abuse@giganews.com X-DMCA-Notifications: http://www.giganews.com/info/dmca.html X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 2814 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Date: 2012-02-29T09:51:51-05:00 List-Id: On 2012-02-29 04:18, Phil Thornley wrote: > So create a spark.sw file in the various working directories > (presumably the same ones as the GPS project files) with at least the > index_file option specified appropriately and do not specify the index > file in the GPS project file. Alas this doesn't work for me either. My problem is that I want to support both Linux and Windows development. It turns out I can use forward slashes on the Examiner command line as a path delimiter for either system. Thus spark -index_file=src/spark.idx Works as desired on both Windows and Linux platforms. However, when I put the following into my spark.sw file -index_file=src/spark.idx It works fine under Linux but on Windows I'm told "spark.idx is an invalid command line option." Apparently the parsing of these options is not identical between the spark.sw file and the actual command line. I can use -index_file=src\spark.idx on Windows but, of course, that won't work on Linux. Furthermore I have to use the same spark.sw file on both systems (right?). I tried enclosing the value of the switch in quotation marks -index_file="src/spark.idx" but this produced the same result. I have a feeling that the right answer is for GPS to change to the subproject's home directory when issuing the SPARK commands for that project. Maybe this is a "bug" in the SPARK/GPS plugin. Peter