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: 103376,29ae1e3233992947 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Received: by 10.205.122.65 with SMTP id gf1mr814804bkc.2.1336142065810; Fri, 04 May 2012 07:34:25 -0700 (PDT) Path: h15ni198084bkw.0!nntp.google.com!news2.google.com!news1.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail From: =?UTF-8?B?w4FsZXggUi4=?= Mosteo Newsgroups: comp.lang.ada Subject: Re: Integration issues with GNAT GPS in Ubuntu Date: Fri, 04 May 2012 16:34:23 +0200 Organization: A noiseless patient Spider Message-ID: References: Mime-Version: 1.0 Injection-Date: Fri, 4 May 2012 14:34:25 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="YXC8h+1P5Y/tuTR/lsIKfg"; logging-data="9331"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/G9u6WcEkWCOodWUsjsYmn" User-Agent: KNode/4.8.3 Cancel-Lock: sha1:Umkpt6h2LZnxemjDvZfS6m4PlQE= Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8Bit Date: 2012-05-04T16:34:23+02:00 List-Id: Yannick Duchêne (Hibou57) wrote: > Le Wed, 11 Apr 2012 18:31:14 +0200, Yannick Duchêne (Hibou57) > a écrit: > >> Hi, >> >> Just installed GPS in Ubuntu, late, as I usually use something else. >> >> I encountered an integration issue, and seems the bug > > A more severe bug seems to be with the outline view. Whatever I click on > the outline view, GPS crashes and I get this on the terminal (need to > start GPS from a terminal to get the message): > > raised STORAGE_ERROR : s-intman.adb:139 explicit raise > > Do you get the same? That's for Ubuntu Maverick. Not tested on Windows. > I have seen this in the past, In some of my installations it happened and in others not. Which meant that somehow it could be fixed, but I didn't narrow it down. Sorry to be of so little help. IIRC that in these cases I settled on using the packaged gnat-gps.